Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.15 | 1802.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12052_5-unsat.opb |
MD5SUM | 2ff183c8695f0992ee4ac0210b2026e7 |
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 | 588.535 |
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 | 37752 |
Total number of constraints | 131628 |
Number of constraints which are clauses | 131008 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 620 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 96 |
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 | 21 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 531 |
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.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE] 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-2685038-1278438872.opb> 2.29/2.37 c original problem has 37752 variables (37752 bin, 0 int, 0 impl, 0 cont) and 131628 constraints 2.29/2.37 c problem read 2.29/2.38 c No objective function, only one solution is needed. 2.29/2.38 c presolving settings loaded 2.29/2.38 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 2.99/3.05 c presolving: 9.09/9.16 c (round 1) 8460 del vars, 24741 del conss, 6689 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7310010 impls, 0 clqs 12.99/13.06 c (round 2) 15745 del vars, 56925 del conss, 13491 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7355180 impls, 0 clqs 13.59/13.66 c (round 3) 18444 del vars, 70134 del conss, 15082 chg bounds, 67 chg sides, 53 chg coeffs, 0 upgd conss, 7378752 impls, 0 clqs 13.99/14.09 c (round 4) 19858 del vars, 75616 del conss, 16132 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7395915 impls, 0 clqs 14.39/14.43 c (round 5) 21002 del vars, 79911 del conss, 16985 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7414865 impls, 0 clqs 14.68/14.77 c (round 6) 22147 del vars, 83887 del conss, 17869 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7426788 impls, 0 clqs 14.88/14.98 c (round 7) 23099 del vars, 87509 del conss, 18516 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7435195 impls, 0 clqs 15.08/15.12 c (round 8) 23469 del vars, 89039 del conss, 18732 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7439118 impls, 0 clqs 15.19/15.22 c (round 9) 23644 del vars, 89736 del conss, 18815 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7441011 impls, 0 clqs 15.29/15.31 c (round 10) 23755 del vars, 90151 del conss, 18875 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7442529 impls, 0 clqs 15.29/15.39 c (round 11) 23819 del vars, 90396 del conss, 18899 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7443301 impls, 0 clqs 15.40/15.46 c (round 12) 23847 del vars, 90523 del conss, 18909 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7443625 impls, 0 clqs 15.48/15.52 c (round 13) 23855 del vars, 90562 del conss, 18910 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7443743 impls, 0 clqs 15.48/15.58 c (round 14) 23856 del vars, 90571 del conss, 18910 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7443761 impls, 0 clqs 15.99/16.02 c (round 15) 23856 del vars, 90572 del conss, 18910 chg bounds, 75 chg sides, 61 chg coeffs, 41056 upgd conss, 7443761 impls, 0 clqs 16.49/16.58 c (round 16) 23856 del vars, 90572 del conss, 18910 chg bounds, 100 chg sides, 270 chg coeffs, 41056 upgd conss, 7444147 impls, 161 clqs 16.89/16.94 c presolving (17 rounds): 16.89/16.94 c 23856 deleted vars, 90572 deleted constraints, 18910 tightened bounds, 0 added holes, 100 changed sides, 305 changed coefficients 16.89/16.94 c 7444147 implications, 164 cliques 16.89/16.94 c presolved problem has 13896 variables (13896 bin, 0 int, 0 impl, 0 cont) and 41056 constraints 16.89/16.94 c 573 constraints of type <knapsack> 16.89/16.94 c 40483 constraints of type <logicor> 16.89/16.94 c transformed objective value is always integral (scale: 1) 16.89/16.94 c Presolving Time: 13.27 16.89/16.94 c - non default parameters ---------------------------------------------------------------------- 16.89/16.94 c # SCIP version 1.2.1.2 16.89/16.94 c 16.89/16.94 c # frequency for displaying node information lines 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 100] 16.89/16.94 c display/freq = 10000 16.89/16.94 c 16.89/16.94 c # maximal time in seconds to run 16.89/16.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 16.89/16.94 c limits/time = 1797.63 16.89/16.94 c 16.89/16.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 16.89/16.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 16.89/16.94 c limits/memory = 1620 16.89/16.94 c 16.89/16.94 c # solving stops, if the given number of solutions were found (-1: no limit) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: -1] 16.89/16.94 c limits/solutions = 1 16.89/16.94 c 16.89/16.94 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 1] 16.89/16.94 c lp/solvefreq = -1 16.89/16.94 c 16.89/16.94 c # maximal number of separation rounds per node (-1: unlimited) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 5] 16.89/16.94 c separating/maxrounds = 1 16.89/16.94 c 16.89/16.94 c # maximal number of separation rounds in the root node (-1: unlimited) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: -1] 16.89/16.94 c separating/maxroundsroot = 5 16.89/16.94 c 16.89/16.94 c # should presolving try to simplify inequalities 16.89/16.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 16.89/16.94 c constraints/linear/simplifyinequalities = TRUE 16.89/16.94 c 16.89/16.94 c # should disaggregation of knapsack constraints be allowed in preprocessing? 16.89/16.94 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 16.89/16.94 c constraints/knapsack/disaggregation = FALSE 16.89/16.94 c 16.89/16.94 c # should presolving try to simplify knapsacks 16.89/16.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 16.89/16.94 c constraints/knapsack/simplifyinequalities = TRUE 16.89/16.94 c 16.89/16.94 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: -1] 16.89/16.94 c presolving/probing/maxrounds = 0 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 10] 16.89/16.94 c heuristics/coefdiving/freq = -1 16.89/16.94 c 16.89/16.94 c # maximal fraction of diving LP iterations compared to node LP iterations 16.89/16.94 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 16.89/16.94 c heuristics/coefdiving/maxlpiterquot = 0.075 16.89/16.94 c 16.89/16.94 c # additional number of allowed LP iterations 16.89/16.94 c # [type: int, range: [0,2147483647], default: 1000] 16.89/16.94 c heuristics/coefdiving/maxlpiterofs = 1500 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 30] 16.89/16.94 c heuristics/crossover/freq = -1 16.89/16.94 c 16.89/16.94 c # number of nodes added to the contingent of the total nodes 16.89/16.94 c # [type: longint, range: [0,9223372036854775807], default: 500] 16.89/16.94 c heuristics/crossover/nodesofs = 750 16.89/16.94 c 16.89/16.94 c # number of nodes without incumbent change that heuristic should wait 16.89/16.94 c # [type: longint, range: [0,9223372036854775807], default: 200] 16.89/16.94 c heuristics/crossover/nwaitingnodes = 100 16.89/16.94 c 16.89/16.94 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 16.89/16.94 c # [type: real, range: [0,1], default: 0.1] 16.89/16.94 c heuristics/crossover/nodesquot = 0.15 16.89/16.94 c 16.89/16.94 c # minimum percentage of integer variables that have to be fixed 16.89/16.94 c # [type: real, range: [0,1], default: 0.666] 16.89/16.94 c heuristics/crossover/minfixingrate = 0.5 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 20] 16.89/16.94 c heuristics/feaspump/freq = -1 16.89/16.94 c 16.89/16.94 c # additional number of allowed LP iterations 16.89/16.94 c # [type: int, range: [0,2147483647], default: 1000] 16.89/16.94 c heuristics/feaspump/maxlpiterofs = 2000 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 10] 16.89/16.94 c heuristics/fracdiving/freq = -1 16.89/16.94 c 16.89/16.94 c # maximal fraction of diving LP iterations compared to node LP iterations 16.89/16.94 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 16.89/16.94 c heuristics/fracdiving/maxlpiterquot = 0.075 16.89/16.94 c 16.89/16.94 c # additional number of allowed LP iterations 16.89/16.94 c # [type: int, range: [0,2147483647], default: 1000] 16.89/16.94 c heuristics/fracdiving/maxlpiterofs = 1500 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 10] 16.89/16.94 c heuristics/guideddiving/freq = -1 16.89/16.94 c 16.89/16.94 c # maximal fraction of diving LP iterations compared to node LP iterations 16.89/16.94 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 16.89/16.94 c heuristics/guideddiving/maxlpiterquot = 0.075 16.89/16.94 c 16.89/16.94 c # additional number of allowed LP iterations 16.89/16.94 c # [type: int, range: [0,2147483647], default: 1000] 16.89/16.94 c heuristics/guideddiving/maxlpiterofs = 1500 16.89/16.94 c 16.89/16.94 c # maximal fraction of diving LP iterations compared to node LP iterations 16.89/16.94 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 16.89/16.94 c heuristics/intdiving/maxlpiterquot = 0.075 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 10] 16.89/16.94 c heuristics/intshifting/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 10] 16.89/16.94 c heuristics/linesearchdiving/freq = -1 16.89/16.94 c 16.89/16.94 c # maximal fraction of diving LP iterations compared to node LP iterations 16.89/16.94 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 16.89/16.94 c heuristics/linesearchdiving/maxlpiterquot = 0.075 16.89/16.94 c 16.89/16.94 c # additional number of allowed LP iterations 16.89/16.94 c # [type: int, range: [0,2147483647], default: 1000] 16.89/16.94 c heuristics/linesearchdiving/maxlpiterofs = 1500 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 1] 16.89/16.94 c heuristics/nlp/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 20] 16.89/16.94 c heuristics/objpscostdiving/freq = -1 16.89/16.94 c 16.89/16.94 c # maximal fraction of diving LP iterations compared to total iteration number 16.89/16.94 c # [type: real, range: [0,1], default: 0.01] 16.89/16.94 c heuristics/objpscostdiving/maxlpiterquot = 0.015 16.89/16.94 c 16.89/16.94 c # additional number of allowed LP iterations 16.89/16.94 c # [type: int, range: [0,2147483647], default: 1000] 16.89/16.94 c heuristics/objpscostdiving/maxlpiterofs = 1500 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 1] 16.89/16.94 c heuristics/oneopt/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 10] 16.89/16.94 c heuristics/pscostdiving/freq = -1 16.89/16.94 c 16.89/16.94 c # maximal fraction of diving LP iterations compared to node LP iterations 16.89/16.94 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 16.89/16.94 c heuristics/pscostdiving/maxlpiterquot = 0.075 16.89/16.94 c 16.89/16.94 c # additional number of allowed LP iterations 16.89/16.94 c # [type: int, range: [0,2147483647], default: 1000] 16.89/16.94 c heuristics/pscostdiving/maxlpiterofs = 1500 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 0] 16.89/16.94 c heuristics/rens/freq = -1 16.89/16.94 c 16.89/16.94 c # minimum percentage of integer variables that have to be fixable 16.89/16.94 c # [type: real, range: [0,1], default: 0.5] 16.89/16.94 c heuristics/rens/minfixingrate = 0.3 16.89/16.94 c 16.89/16.94 c # number of nodes added to the contingent of the total nodes 16.89/16.94 c # [type: longint, range: [0,9223372036854775807], default: 500] 16.89/16.94 c heuristics/rens/nodesofs = 2000 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 20] 16.89/16.94 c heuristics/rootsoldiving/freq = -1 16.89/16.94 c 16.89/16.94 c # maximal fraction of diving LP iterations compared to node LP iterations 16.89/16.94 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 16.89/16.94 c heuristics/rootsoldiving/maxlpiterquot = 0.015 16.89/16.94 c 16.89/16.94 c # additional number of allowed LP iterations 16.89/16.94 c # [type: int, range: [0,2147483647], default: 1000] 16.89/16.94 c heuristics/rootsoldiving/maxlpiterofs = 1500 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 1] 16.89/16.94 c heuristics/rounding/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 10] 16.89/16.94 c heuristics/shifting/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 1] 16.89/16.94 c heuristics/simplerounding/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 0] 16.89/16.94 c heuristics/trivial/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 1] 16.89/16.94 c heuristics/trysol/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 10] 16.89/16.94 c heuristics/veclendiving/freq = -1 16.89/16.94 c 16.89/16.94 c # maximal fraction of diving LP iterations compared to node LP iterations 16.89/16.94 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 16.89/16.94 c heuristics/veclendiving/maxlpiterquot = 0.075 16.89/16.94 c 16.89/16.94 c # additional number of allowed LP iterations 16.89/16.94 c # [type: int, range: [0,2147483647], default: 1000] 16.89/16.94 c heuristics/veclendiving/maxlpiterofs = 1500 16.89/16.94 c 16.89/16.94 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 1] 16.89/16.94 c heuristics/zirounding/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 0] 16.89/16.94 c separating/cmir/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: 0] 16.89/16.94 c separating/flowcover/freq = -1 16.89/16.94 c 16.89/16.94 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 16.89/16.94 c # [type: int, range: [-1,2147483647], default: -1] 16.89/16.94 c separating/rapidlearning/freq = 0 16.89/16.94 c 16.89/16.94 c ----------------------------------------------------------------------------------------------- 16.89/16.94 c start solving 16.89/16.95 c 16.98/17.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 16.98/17.03 c 13.7s| 1 | 2 | 0 | - | 205M| 0 | - | 13k| 41k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 286.91/287.04 c 282s| 10000 | 6055 | 0 | 0.0 | 290M| 250 | - | 13k| 43k| 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf 544.74/544.95 c 539s| 20000 | 12447 | 0 | 0.0 | 378M| 250 | - | 13k| 44k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf 811.07/811.36 c 804s| 30000 | 17785 | 0 | 0.0 | 456M| 250 | - | 13k| 43k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf 1090.30/1090.64 c 1082s| 40000 | 24183 | 0 | 0.0 | 564M| 250 | - | 13k| 43k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf 1369.73/1370.13 c 1360s| 50000 | 29959 | 0 | 0.0 | 674M| 250 | - | 13k| 45k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf 1642.96/1643.45 c 1632s| 60000 | 35317 | 0 | 0.0 | 781M| 250 | - | 13k| 47k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf 1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1801.52/1802.07 c 1801.52/1802.07 c SCIP Status : solving was interrupted [user interrupt] 1801.52/1802.07 c Solving Time (sec) : 1789.67 1801.52/1802.07 c Solving Nodes : 65970 1801.52/1802.07 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1801.52/1802.07 c Dual Bound : +0.00000000000000e+00 1801.52/1802.07 c Gap : infinite 1801.52/1802.07 s UNKNOWN 1801.52/1802.07 c SCIP Status : solving was interrupted [user interrupt] 1801.52/1802.07 c Solving Time : 1789.67 1801.52/1802.07 c Original Problem : 1801.52/1802.07 c Problem name : HOME/instance-2685038-1278438872.opb 1801.52/1802.07 c Variables : 37752 (37752 binary, 0 integer, 0 implicit integer, 0 continuous) 1801.52/1802.07 c Constraints : 131628 initial, 131628 maximal 1801.52/1802.07 c Presolved Problem : 1801.52/1802.07 c Problem name : t_HOME/instance-2685038-1278438872.opb 1801.52/1802.07 c Variables : 13896 (13896 binary, 0 integer, 0 implicit integer, 0 continuous) 1801.52/1802.07 c Constraints : 41056 initial, 47415 maximal 1801.52/1802.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1801.52/1802.07 c trivial : 0.06 876 0 0 0 0 0 0 0 1801.52/1802.07 c dualfix : 0.12 112 0 0 0 0 0 0 0 1801.52/1802.07 c boundshift : 0.00 0 0 0 0 0 0 0 0 1801.52/1802.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1801.52/1802.07 c implics : 0.33 0 0 0 0 0 0 0 0 1801.52/1802.07 c probing : 0.00 0 0 0 0 0 0 0 0 1801.52/1802.07 c knapsack : 0.63 0 0 0 0 0 0 25 244 1801.52/1802.07 c linear : 11.51 18047 4821 0 18910 0 90572 75 61 1801.52/1802.07 c logicor : 0.19 0 0 0 0 0 0 0 0 1801.52/1802.07 c root node : - 84 - - 84 - - - - 1801.52/1802.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1801.52/1802.07 c integral : 0 0 0 0 0 0 0 0 0 0 1801.52/1802.07 c knapsack : 573 0 1099170 0 54717 2064 3019637 0 0 0 1801.52/1802.07 c logicor : 40483+ 0 1068551 0 54717 12731 17561103 0 0 0 1801.52/1802.07 c countsols : 0 0 0 0 54571 0 0 0 0 0 1801.52/1802.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1801.52/1802.07 c integral : 0.00 0.00 0.00 0.00 0.00 1801.52/1802.07 c knapsack : 307.26 0.00 153.27 0.00 153.99 1801.52/1802.07 c logicor : 1034.84 0.00 165.35 0.00 869.49 1801.52/1802.07 c countsols : 0.05 0.00 0.00 0.00 0.05 1801.52/1802.07 c Propagators : Time Calls Cutoffs DomReds 1801.52/1802.07 c vbounds : 0.59 1 0 0 1801.52/1802.07 c rootredcost : 0.48 0 0 0 1801.52/1802.07 c pseudoobj : 0.52 0 0 0 1801.52/1802.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1801.52/1802.07 c propagation : 12.59 14795 14795 218968 43.5 2972 14.0 - 1801.52/1802.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1801.52/1802.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1801.52/1802.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1801.52/1802.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1801.52/1802.07 c applied globally : - - - 105541 33.3 - - - 1801.52/1802.07 c applied locally : - - - 0 0.0 - - - 1801.52/1802.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1801.52/1802.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1801.52/1802.07 c redcost : 0.00 0 0 0 0 0 1801.52/1802.07 c impliedbounds : 0.00 0 0 0 0 0 1801.52/1802.07 c intobj : 0.00 0 0 0 0 0 1801.52/1802.07 c cgmip : 0.00 0 0 0 0 0 1801.52/1802.07 c gomory : 0.00 0 0 0 0 0 1801.52/1802.07 c strongcg : 0.00 0 0 0 0 0 1801.52/1802.07 c cmir : 0.00 0 0 0 0 0 1801.52/1802.07 c flowcover : 0.00 0 0 0 0 0 1801.52/1802.07 c clique : 0.00 0 0 0 0 0 1801.52/1802.07 c zerohalf : 0.00 0 0 0 0 0 1801.52/1802.07 c mcf : 0.00 0 0 0 0 0 1801.52/1802.07 c rapidlearning : 0.00 0 0 0 0 0 1801.52/1802.07 c Pricers : Time Calls Vars 1801.52/1802.07 c problem variables: 0.00 0 0 1801.52/1802.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1801.52/1802.07 c relpscost : 0.00 0 0 0 0 0 0 1801.52/1802.07 c pscost : 0.00 0 0 0 0 0 0 1801.52/1802.07 c inference : 226.51 54571 0 0 0 0 109142 1801.52/1802.07 c mostinf : 0.00 0 0 0 0 0 0 1801.52/1802.07 c leastinf : 0.00 0 0 0 0 0 0 1801.52/1802.07 c fullstrong : 0.00 0 0 0 0 0 0 1801.52/1802.07 c allfullstrong : 0.00 0 0 0 0 0 0 1801.52/1802.07 c random : 0.00 0 0 0 0 0 0 1801.52/1802.07 c Primal Heuristics : Time Calls Found 1801.52/1802.07 c LP solutions : 0.00 - 0 1801.52/1802.07 c pseudo solutions : 0.00 - 0 1801.52/1802.07 c trivial : 0.07 1 0 1801.52/1802.07 c simplerounding : 0.00 0 0 1801.52/1802.07 c zirounding : 0.00 0 0 1801.52/1802.07 c rounding : 0.00 0 0 1801.52/1802.07 c shifting : 0.00 0 0 1801.52/1802.07 c intshifting : 0.00 0 0 1801.52/1802.07 c oneopt : 0.00 0 0 1801.52/1802.07 c twoopt : 0.00 0 0 1801.52/1802.07 c fixandinfer : 0.00 0 0 1801.52/1802.07 c feaspump : 0.00 0 0 1801.52/1802.07 c coefdiving : 0.00 0 0 1801.52/1802.07 c pscostdiving : 0.00 0 0 1801.52/1802.07 c fracdiving : 0.00 0 0 1801.52/1802.07 c veclendiving : 0.00 0 0 1801.52/1802.07 c intdiving : 0.00 0 0 1801.52/1802.07 c actconsdiving : 0.00 0 0 1801.52/1802.07 c objpscostdiving : 0.00 0 0 1801.52/1802.07 c rootsoldiving : 0.00 0 0 1801.52/1802.07 c linesearchdiving : 0.00 0 0 1801.52/1802.07 c guideddiving : 0.00 0 0 1801.52/1802.07 c octane : 0.00 0 0 1801.52/1802.07 c rens : 0.00 0 0 1801.52/1802.07 c rins : 0.00 0 0 1801.52/1802.07 c localbranching : 0.00 0 0 1801.52/1802.07 c mutation : 0.00 0 0 1801.52/1802.07 c crossover : 0.00 0 0 1801.52/1802.07 c dins : 0.00 0 0 1801.52/1802.07 c undercover : 0.00 0 0 1801.52/1802.07 c nlp : 0.00 0 0 1801.52/1802.07 c trysol : 0.00 0 0 1801.52/1802.07 c LP : Time Calls Iterations Iter/call Iter/sec 1801.52/1802.07 c primal LP : 0.00 0 0 0.00 - 1801.52/1802.07 c dual LP : 0.00 0 0 0.00 - 1801.52/1802.07 c lex dual LP : 0.00 0 0 0.00 - 1801.52/1802.07 c barrier LP : 0.00 0 0 0.00 - 1801.52/1802.07 c diving/probing LP: 0.00 0 0 0.00 - 1801.52/1802.07 c strong branching : 0.00 0 0 0.00 - 1801.52/1802.07 c (at root node) : - 0 0 0.00 - 1801.52/1802.07 c conflict analysis: 0.00 0 0 0.00 - 1801.52/1802.07 c B&B Tree : 1801.52/1802.07 c number of runs : 1 1801.52/1802.07 c nodes : 65970 1801.52/1802.07 c nodes (total) : 65970 1801.52/1802.07 c nodes left : 38444 1801.52/1802.07 c max depth : 250 1801.52/1802.07 c max depth (total): 250 1801.52/1802.07 c backtracks : 3880 (5.9%) 1801.52/1802.07 c delayed cutoffs : 4729 1801.52/1802.07 c repropagations : 38520 (3310306 domain reductions, 3396 cutoffs) 1801.52/1802.07 c avg switch length: 4.10 1801.52/1802.07 c switching time : 163.49 1801.52/1802.07 c Solution : 1801.52/1802.07 c Solutions found : 0 (0 improvements) 1801.52/1802.07 c Primal Bound : - 1801.52/1802.07 c Dual Bound : +0.00000000000000e+00 1801.52/1802.07 c Gap : infinite 1801.52/1802.07 c Root Dual Bound : +0.00000000000000e+00 1801.52/1802.07 c Root Iterations : 0
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-2685038-1278438872/watcher-2685038-1278438872 -o /tmp/evaluation-result-2685038-1278438872/solver-2685038-1278438872 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2685038-1278438872.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.01 1.09 1.03 3/106 21319 /proc/meminfo: memFree=1461900/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=6584 CPUtime=0 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 1000 0 0 0 0 0 0 0 18 0 1 0 12095045 6742016 923 1992294400 4194304 7136930 140737001481360 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21319/statm: 1646 932 254 719 0 925 0 [startup+0.059744 s] /proc/loadavg: 1.01 1.09 1.03 3/106 21319 /proc/meminfo: memFree=1461900/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=12240 CPUtime=0.05 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 2516 0 0 0 5 0 0 0 20 0 1 0 12095045 12533760 2438 1992294400 4194304 7136930 140737001481360 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21319/statm: 3060 2451 268 719 0 2339 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12240 [startup+0.100748 s] /proc/loadavg: 1.01 1.09 1.03 3/106 21319 /proc/meminfo: memFree=1461900/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=14908 CPUtime=0.09 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 3205 0 0 0 8 1 0 0 20 0 1 0 12095045 15265792 3127 1992294400 4194304 7136930 140737001481360 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21319/statm: 3727 3127 268 719 0 3006 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14908 [startup+0.300767 s] /proc/loadavg: 1.01 1.09 1.03 3/106 21319 /proc/meminfo: memFree=1461900/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=26868 CPUtime=0.29 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 6223 0 0 0 27 2 0 0 20 0 1 0 12095045 27512832 6136 1992294400 4194304 7136930 140737001481360 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21319/statm: 6717 6136 268 719 0 5996 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26868 [startup+0.700808 s] /proc/loadavg: 1.01 1.09 1.03 3/106 21319 /proc/meminfo: memFree=1461900/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=36760 CPUtime=0.69 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 8685 0 0 0 66 3 0 0 21 0 1 0 12095045 37642240 8598 1992294400 4194304 7136930 140737001481360 18446744073709551615 4240595 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21319/statm: 9190 8598 268 719 0 8469 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36760 [startup+1.50089 s] /proc/loadavg: 1.01 1.09 1.03 2/107 21320 /proc/meminfo: memFree=1421964/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=55536 CPUtime=1.49 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 13378 0 0 0 145 4 0 0 23 0 1 0 12095045 56868864 13291 1992294400 4194304 7136930 140737001481360 18446744073709551615 6176976 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21319/statm: 13884 13291 268 719 0 13163 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 55536 [startup+3.10104 s] /proc/loadavg: 1.01 1.09 1.03 2/107 21320 /proc/meminfo: memFree=1389352/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=200432 CPUtime=3.09 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 49303 0 0 0 291 18 0 0 25 0 1 0 12095045 205242368 48745 1992294400 4194304 7136930 140737001481360 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 50108 48748 341 719 0 49387 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 200432 [startup+6.30036 s] /proc/loadavg: 1.01 1.09 1.03 2/107 21320 /proc/meminfo: memFree=1155612/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=341716 CPUtime=6.29 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 84431 0 0 0 594 35 0 0 25 0 1 0 12095045 349917184 83873 1992294400 4194304 7136930 140737001481360 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 85429 83873 341 719 0 84708 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 341716 [startup+12.701 s] /proc/loadavg: 1.01 1.08 1.03 2/107 21321 /proc/meminfo: memFree=1072780/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=399256 CPUtime=12.69 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 98013 0 0 0 1213 56 0 0 25 0 1 0 12095045 408838144 97198 1992294400 4194304 7136930 140737001481360 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 99814 97198 346 719 0 99093 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 399256 [startup+25.5012 s] /proc/loadavg: 1.01 1.08 1.03 2/107 21321 /proc/meminfo: memFree=1062984/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=410096 CPUtime=25.48 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 114255 0 0 0 2443 105 0 0 25 0 1 0 12095045 419938304 99874 1992294400 4194304 7136930 140737001481360 18446744073709551615 4854955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 102524 99874 393 719 0 101803 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 410096 [startup+51.1008 s] /proc/loadavg: 1.00 1.07 1.02 2/107 21321 /proc/meminfo: memFree=1046616/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=426768 CPUtime=51.06 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 118233 0 0 0 4991 115 0 0 25 0 1 0 12095045 437010432 103852 1992294400 4194304 7136930 140737001481360 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 106692 103852 393 719 0 105971 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 426768 [startup+102.309 s] /proc/loadavg: 1.00 1.06 1.02 2/107 21323 /proc/meminfo: memFree=1020576/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=455396 CPUtime=102.26 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 124740 0 0 0 10089 137 0 0 25 0 1 0 12095045 466325504 110359 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 113849 110359 393 719 0 113128 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 455396 [startup+162.301 s] /proc/loadavg: 1.00 1.05 1.01 2/107 21325 /proc/meminfo: memFree=994040/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=486000 CPUtime=162.24 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 131382 0 0 0 16058 166 0 0 25 0 1 0 12095045 497664000 117001 1992294400 4194304 7136930 140737001481360 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 121500 117001 393 719 0 120779 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 486000 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.01 2/107 21326 /proc/meminfo: memFree=972712/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=511052 CPUtime=222.23 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 136651 0 0 0 22028 195 0 0 25 0 1 0 12095045 523317248 122270 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 127763 122270 393 719 0 127042 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 511052 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 21327 /proc/meminfo: memFree=951508/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=537028 CPUtime=282.2 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 141952 0 0 0 27993 227 0 0 25 0 1 0 12095045 549916672 127571 1992294400 4194304 7136930 140737001481360 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 134257 127571 393 719 0 133536 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 537028 [startup+342.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 21329 /proc/meminfo: memFree=928692/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=563880 CPUtime=342.19 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 147661 0 0 0 33963 256 0 0 25 0 1 0 12095045 577413120 133280 1992294400 4194304 7136930 140737001481360 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 140970 133280 393 719 0 140249 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 563880 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21340 /proc/meminfo: memFree=904636/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=594404 CPUtime=402.17 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 153540 0 0 0 39927 290 0 0 25 0 1 0 12095045 608669696 139159 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 148601 139159 393 719 0 147880 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 594404 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21342 /proc/meminfo: memFree=878472/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=626756 CPUtime=462.16 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 160043 0 0 0 45895 321 0 0 25 0 1 0 12095045 641798144 145662 1992294400 4194304 7136930 140737001481360 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 156689 145662 393 719 0 155968 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 626756 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21343 /proc/meminfo: memFree=850820/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=661480 CPUtime=522.14 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 166998 0 0 0 51864 350 0 0 25 0 1 0 12095045 677355520 152617 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 165370 152617 393 719 0 164649 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 661480 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21344 /proc/meminfo: memFree=826020/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=690860 CPUtime=582.13 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 173091 0 0 0 57836 377 0 0 25 0 1 0 12095045 707440640 158710 1992294400 4194304 7136930 140737001481360 18446744073709551615 5901129 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 172715 158710 393 719 0 171994 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 690860 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21346 /proc/meminfo: memFree=804940/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=718048 CPUtime=642.11 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 178327 0 0 0 63809 402 0 0 25 0 1 0 12095045 735281152 163946 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 179512 163946 393 719 0 178791 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 718048 [startup+702.301 s] ################ # More data... # ################ /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 211638 0 0 0 99625 578 0 0 25 0 1 0 12095045 916238336 197257 1992294400 4194304 7136930 140737001481360 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 223691 197257 393 719 0 222970 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 894764 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21358 /proc/meminfo: memFree=645352/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=926952 CPUtime=1062 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 218154 0 0 0 105590 610 0 0 25 0 1 0 12095045 949198848 203773 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 231738 203773 393 719 0 231017 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 926952 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21359 /proc/meminfo: memFree=616832/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=963396 CPUtime=1122 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 225240 0 0 0 111560 640 0 0 25 0 1 0 12095045 986517504 210859 1992294400 4194304 7136930 140737001481360 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 240849 210859 393 719 0 240128 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 963396 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21360 /proc/meminfo: memFree=591412/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=992828 CPUtime=1181.98 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 231617 0 0 0 117529 669 0 0 25 0 1 0 12095045 1016655872 217236 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 248207 217236 393 719 0 247486 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 992828 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21362 /proc/meminfo: memFree=563264/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1032560 CPUtime=1241.96 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 238607 0 0 0 123499 697 0 0 25 0 1 0 12095045 1057341440 224226 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 258140 224226 393 719 0 257419 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1032560 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21364 /proc/meminfo: memFree=535488/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1069868 CPUtime=1301.96 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 245469 0 0 0 129467 729 0 0 25 0 1 0 12095045 1095544832 231088 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 267467 231088 393 719 0 266746 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1069868 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21366 /proc/meminfo: memFree=508828/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1103676 CPUtime=1361.93 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 252140 0 0 0 135437 756 0 0 25 0 1 0 12095045 1130164224 237759 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 275919 237759 393 719 0 275198 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1103676 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21367 /proc/meminfo: memFree=482416/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1136088 CPUtime=1421.92 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 258684 0 0 0 141407 785 0 0 25 0 1 0 12095045 1163354112 244303 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 284022 244303 393 719 0 283301 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1136088 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21368 /proc/meminfo: memFree=454888/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1167956 CPUtime=1481.9 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 265652 0 0 0 147374 816 0 0 25 0 1 0 12095045 1195986944 251271 1992294400 4194304 7136930 140737001481360 18446744073709551615 5956715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 291989 251271 393 719 0 291268 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1167956 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21373 /proc/meminfo: memFree=427856/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1199884 CPUtime=1541.88 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 272233 0 0 0 153345 843 0 0 25 0 1 0 12095045 1228681216 257852 1992294400 4194304 7136930 140737001481360 18446744073709551615 5005160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 299971 257852 393 719 0 299250 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1199884 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21375 /proc/meminfo: memFree=398964/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1238452 CPUtime=1601.87 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 279618 0 0 0 159316 871 0 0 25 0 1 0 12095045 1268174848 265237 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 309613 265237 393 719 0 308892 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1238452 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21377 /proc/meminfo: memFree=374660/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1270868 CPUtime=1661.85 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 285592 0 0 0 165286 899 0 0 25 0 1 0 12095045 1301368832 271211 1992294400 4194304 7136930 140737001481360 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 317717 271211 393 719 0 316996 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1270868 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21378 /proc/meminfo: memFree=349116/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1308172 CPUtime=1721.84 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 291959 0 0 0 171259 925 0 0 25 0 1 0 12095045 1339568128 277578 1992294400 4194304 7136930 140737001481360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 327043 277578 393 719 0 326322 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1308172 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21379 /proc/meminfo: memFree=322456/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1343632 CPUtime=1781.82 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 298580 0 0 0 177229 953 0 0 25 0 1 0 12095045 1375879168 284199 1992294400 4194304 7136930 140737001481360 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 335908 284199 393 719 0 335187 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1343632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21380 /proc/meminfo: memFree=314148/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1356052 CPUtime=1800.03 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 300620 0 0 0 179041 962 0 0 25 0 1 0 12095045 1388597248 286239 1992294400 4194304 7136930 140737001481360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 339013 286239 393 719 0 338292 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1356052 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -21319 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21381 /proc/meminfo: memFree=314140/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1356052 CPUtime=1800.92 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 300620 0 0 0 179130 962 0 0 25 0 1 0 12095045 1388597248 286239 1992294400 4194304 7136930 140737001481360 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21319/statm: 339013 286239 393 719 0 338292 0 Current children cumulated CPU time (s) 1800.92 Current children cumulated vsize (KiB) 1356052 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21381 /proc/meminfo: memFree=314140/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=1356124 CPUtime=1801.72 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4202496 300631 0 0 0 179210 962 0 0 25 0 1 0 12095045 1388670976 286250 1992294400 4194304 7136930 140737001481360 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21319/statm: 339031 286250 399 719 0 338310 0 Current children cumulated CPU time (s) 1801.72 Current children cumulated vsize (KiB) 1356124 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 21381 /proc/meminfo: memFree=314140/2059040 swapFree=4192956/4192956 [pid=21319] ppid=21317 vsize=0 CPUtime=1802.12 /proc/21319/stat : 21319 (pbscip.linux.x8) R 21317 21319 20976 0 -1 4203524 300631 0 0 0 179241 971 0 0 25 0 1 0 12095045 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/21319/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.62 CPU time (s): 1802.15 CPU user time (s): 1792.41 CPU system time (s): 9.73652 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1356124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.41 system time used= 9.73652 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 300631 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= 3 involuntary context switches= 21495 runsolver used 2.90556 second user time and 8.5837 second system time The end
Begin job on node036 at 2010-07-06 19:54:32 IDJOB=2685038 IDBENCH=74340 IDSOLVER=1167 FILE ID=node036/2685038-1278438872 PBS_JOBID= 11233474 Free space on /tmp= 62500 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12052_5-unsat.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685038-1278438872/watcher-2685038-1278438872 -o /tmp/evaluation-result-2685038-1278438872/solver-2685038-1278438872 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2685038-1278438872.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2ff183c8695f0992ee4ac0210b2026e7 RANDOM SEED=1077383841 node036.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.244 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.48 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.244 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1462304 kB Buffers: 109548 kB Cached: 354520 kB SwapCached: 0 kB Active: 182072 kB Inactive: 342248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1462304 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7376 kB Writeback: 0 kB AnonPages: 60248 kB Mapped: 14368 kB Slab: 50356 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179080 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= 62496 MiB End job on node036 at 2010-07-06 20:24:35