Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1795.95 | 1796.44 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb |
MD5SUM | 321349c7a7114538010c83c600c72ae9 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 33.2019 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 8281 |
Total number of constraints | 826 |
Number of constraints which are clauses | 364 |
Number of constraints which are cardinality constraints (but not clauses) | 462 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 91 |
Maximum length of a constraint | 169 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 171 |
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.09/0.15 c SCIP version 1.1.0.7 0.09/0.15 c LP-Solver SoPlex 1.4.1 0.09/0.15 c user parameter file <scip.set> not found - using default parameters 0.09/0.15 c read problem <HOME/instance-1867978-1245113450.opb> 0.09/0.15 c original problem has 8281 variables (8281 bin, 0 int, 0 impl, 0 cont) and 826 constraints 0.19/0.25 c No objective function, only one solution is needed. 0.19/0.25 c start presolving problem 0.19/0.25 c presolving: 0.59/0.61 c (round 1) 0 del vars, 364 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 98 upgd conss, 0 impls, 364 clqs 0.79/0.81 c (round 2) 0 del vars, 364 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 462 upgd conss, 0 impls, 364 clqs 0.79/0.86 c presolving (3 rounds): 0.79/0.86 c 0 deleted vars, 364 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.79/0.86 c 0 implications, 364 cliques 0.79/0.86 c presolved problem has 8281 variables (8281 bin, 0 int, 0 impl, 0 cont) and 462 constraints 0.79/0.86 c 98 constraints of type <knapsack> 0.79/0.86 c 364 constraints of type <setppc> 0.79/0.86 c transformed objective value is always integral (scale: 1) 0.79/0.86 c Presolving Time: 0.64 0.79/0.86 c SATUNSAT-LIN 0.79/0.86 c ----------------------------------------------------------------------------------------------- 0.79/0.86 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 0] 0.79/0.86 c separating/flowcover/freq = c -1 0.79/0.86 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 0] 0.79/0.86 c separating/cmir/freq = c -1 0.79/0.86 c # additional number of allowed LP iterations 0.79/0.86 c # [type: int, range: [0,2147483647], default: 1000] 0.79/0.86 c heuristics/veclendiving/maxlpiterofs = c 1500 0.79/0.86 c # maximal fraction of diving LP iterations compared to node LP iterations 0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.79/0.86 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.79/0.86 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 10] 0.79/0.86 c heuristics/veclendiving/freq = c -1 0.79/0.86 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 1] 0.79/0.86 c heuristics/simplerounding/freq = c -1 0.79/0.86 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 10] 0.79/0.86 c heuristics/shifting/freq = c -1 0.79/0.86 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 1] 0.79/0.86 c heuristics/rounding/freq = c -1 0.79/0.86 c # additional number of allowed LP iterations 0.79/0.86 c # [type: int, range: [0,2147483647], default: 1000] 0.79/0.86 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.79/0.86 c # maximal fraction of diving LP iterations compared to node LP iterations 0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.79/0.86 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.79/0.86 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 20] 0.79/0.86 c heuristics/rootsoldiving/freq = c -1 0.79/0.86 c # number of nodes added to the contingent of the total nodes 0.79/0.86 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.79/0.86 c heuristics/rens/nodesofs = c 2000 0.79/0.86 c # minimum percentage of integer variables that have to be fixable 0.79/0.86 c # [type: real, range: [0,1], default: 0.5] 0.79/0.86 c heuristics/rens/minfixingrate = c 0.3 0.79/0.86 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 0] 0.79/0.86 c heuristics/rens/freq = c -1 0.79/0.86 c # additional number of allowed LP iterations 0.79/0.86 c # [type: int, range: [0,2147483647], default: 1000] 0.79/0.86 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.79/0.86 c # maximal fraction of diving LP iterations compared to node LP iterations 0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.79/0.86 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.79/0.86 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 10] 0.79/0.86 c heuristics/pscostdiving/freq = c -1 0.79/0.86 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 1] 0.79/0.86 c heuristics/oneopt/freq = c -1 0.79/0.86 c # additional number of allowed LP iterations 0.79/0.86 c # [type: int, range: [0,2147483647], default: 1000] 0.79/0.86 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.79/0.86 c # maximal fraction of diving LP iterations compared to total iteration number 0.79/0.86 c # [type: real, range: [0,1], default: 0.01] 0.79/0.86 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.79/0.86 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 20] 0.79/0.86 c heuristics/objpscostdiving/freq = c -1 0.79/0.86 c # additional number of allowed LP iterations 0.79/0.86 c # [type: int, range: [0,2147483647], default: 1000] 0.79/0.86 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.79/0.86 c # maximal fraction of diving LP iterations compared to node LP iterations 0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.79/0.86 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.79/0.86 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 10] 0.79/0.86 c heuristics/linesearchdiving/freq = c -1 0.79/0.86 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 10] 0.79/0.86 c heuristics/intshifting/freq = c -1 0.79/0.86 c # maximal fraction of diving LP iterations compared to node LP iterations 0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.79/0.86 c heuristics/intdiving/maxlpiterquot = c 0.075 0.79/0.86 c # additional number of allowed LP iterations 0.79/0.86 c # [type: int, range: [0,2147483647], default: 1000] 0.79/0.86 c heuristics/guideddiving/maxlpiterofs = c 1500 0.79/0.86 c # maximal fraction of diving LP iterations compared to node LP iterations 0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.79/0.86 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.79/0.86 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 10] 0.79/0.86 c heuristics/guideddiving/freq = c -1 0.79/0.86 c # additional number of allowed LP iterations 0.79/0.86 c # [type: int, range: [0,2147483647], default: 1000] 0.79/0.86 c heuristics/fracdiving/maxlpiterofs = c 1500 0.79/0.86 c # maximal fraction of diving LP iterations compared to node LP iterations 0.79/0.86 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.79/0.86 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.79/0.86 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 10] 0.79/0.86 c heuristics/fracdiving/freq = c -1 0.79/0.86 c # additional number of allowed LP iterations 0.79/0.86 c # [type: int, range: [0,2147483647], default: 1000] 0.79/0.86 c heuristics/feaspump/maxlpiterofs = c 2000 0.79/0.86 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.79/0.86 c # [type: int, range: [-1,2147483647], default: 20] 0.79/0.86 c heuristics/feaspump/freq = c -1 0.79/0.86 c # minimum percentage of integer variables that have to be fixed 0.79/0.86 c # [type: real, range: [0,1], default: 0.666] 0.79/0.87 c heuristics/crossover/minfixingrate = c 0.5 0.79/0.87 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.79/0.87 c # [type: real, range: [0,1], default: 0.1] 0.79/0.87 c heuristics/crossover/nodesquot = c 0.15 0.79/0.87 c # number of nodes without incumbent change that heuristic should wait 0.79/0.87 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.79/0.87 c heuristics/crossover/nwaitingnodes = c 100 0.79/0.87 c # number of nodes added to the contingent of the total nodes 0.79/0.87 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.79/0.87 c heuristics/crossover/nodesofs = c 750 0.79/0.87 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.79/0.87 c # [type: int, range: [-1,2147483647], default: 30] 0.79/0.87 c heuristics/crossover/freq = c -1 0.79/0.87 c # additional number of allowed LP iterations 0.79/0.87 c # [type: int, range: [0,2147483647], default: 1000] 0.79/0.87 c heuristics/coefdiving/maxlpiterofs = c 1500 0.79/0.87 c # maximal fraction of diving LP iterations compared to node LP iterations 0.79/0.87 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.79/0.87 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.79/0.87 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.79/0.87 c # [type: int, range: [-1,2147483647], default: 10] 0.79/0.87 c heuristics/coefdiving/freq = c -1 0.79/0.87 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.79/0.87 c # [type: int, range: [-1,2147483647], default: -1] 0.79/0.87 c presolving/probing/maxrounds = c 0 0.79/0.87 c # should presolving try to simplify knapsacks 0.79/0.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.79/0.87 c constraints/knapsack/simplifyinequalities = c TRUE 0.79/0.87 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.79/0.87 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.79/0.87 c constraints/knapsack/disaggregation = c FALSE 0.79/0.87 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.79/0.87 c # [type: int, range: [-1,2147483647], default: -1] 0.79/0.87 c constraints/knapsack/maxnumcardlift = c 0 0.79/0.87 c # should presolving try to simplify inequalities 0.79/0.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.79/0.87 c constraints/linear/simplifyinequalities = c TRUE 0.79/0.87 c # maximal number of separation rounds in the root node (-1: unlimited) 0.79/0.87 c # [type: int, range: [-1,2147483647], default: -1] 0.79/0.87 c separating/maxroundsroot = c 5 0.79/0.87 c # maximal number of separation rounds per node (-1: unlimited) 0.79/0.87 c # [type: int, range: [-1,2147483647], default: 5] 0.79/0.87 c separating/maxrounds = c 1 0.79/0.87 c # solving stops, if the given number of solutions were found (-1: no limit) 0.79/0.87 c # [type: int, range: [-1,2147483647], default: -1] 0.79/0.87 c limits/solutions = c 1 0.79/0.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.79/0.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.79/0.87 c limits/memory = c 1620 0.79/0.87 c # maximal time in seconds to run 0.79/0.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.79/0.87 c limits/time = c 1791 0.79/0.87 c # frequency for displaying node information lines 0.79/0.87 c # [type: int, range: [-1,2147483647], default: 100] 0.79/0.87 c display/freq = c 10000 0.79/0.87 c ----------------------------------------------------------------------------------------------- 0.79/0.87 c start solving problem 0.79/0.87 c 4.29/4.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.29/4.40 c 4.2s| 1 | 0 | 3630 | 23M| 0 | 371 |8281 | 462 | 462 |8281 | 462 | 0 | 0 | 0 | 9.100000e+01 | -- | Inf 5.19/5.28 c 5.1s| 1 | 0 | 4192 | 23M| 0 | 397 |8281 | 462 | 462 |8281 | 469 | 7 | 0 | 0 | 9.100000e+01 | -- | Inf 5.99/6.09 c 5.9s| 1 | 0 | 4679 | 23M| 0 | 415 |8281 | 462 | 462 |8281 | 479 | 17 | 0 | 0 | 9.100000e+01 | -- | Inf 6.29/6.35 c 6.2s| 1 | 0 | 4750 | 23M| 0 | 432 |8281 | 462 | 462 |8281 | 487 | 25 | 0 | 0 | 9.100000e+01 | -- | Inf 6.59/6.69 c 6.5s| 1 | 0 | 4858 | 23M| 0 | 438 |8281 | 462 | 462 |8281 | 493 | 31 | 0 | 0 | 9.100000e+01 | -- | Inf 6.99/7.04 c 6.8s| 1 | 0 | 4951 | 23M| 0 | 447 |8281 | 462 | 462 |8281 | 503 | 41 | 0 | 0 | 9.100000e+01 | -- | Inf 36.68/36.77 c 36.5s| 1 | 2 | 4951 | 23M| 0 | 447 |8281 | 462 | 462 |8281 | 503 | 41 | 0 | 33 | 9.100000e+01 | -- | Inf 478.55/478.71 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 960.03/960.39 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 979.51/979.82 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 979.51/979.82 c [src/scip/lpi_spx.cpp:1854] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4 979.51/979.82 c (node 1213) error in strong branching call for variable <t_x2492> with solution 0.5141 1522.46/1522.94 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 1522.46/1522.94 c [src/scip/lpi_spx.cpp:1854] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4 1522.46/1522.94 c (node 2409) error in strong branching call for variable <t_x697> with solution 0.491373 1526.97/1527.44 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 1526.97/1527.44 c [src/scip/lpi_spx.cpp:1854] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4 1526.97/1527.44 c (node 2415) error in strong branching call for variable <t_x754> with solution 0.464953 1697.32/1697.87 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 1728.72/1729.23 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 1795.80/1796.32 c 1795.80/1796.32 c SCIP Status : solving was interrupted [time limit reached] 1795.80/1796.32 c Solving Time (sec) : 1791.03 1795.80/1796.32 c Solving Nodes : 3140 1795.80/1796.32 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1795.80/1796.32 c Dual Bound : +9.10000000000002e+01 1795.80/1796.32 c Gap : infinite 1795.80/1796.32 c NODE 3140 1795.80/1796.32 c DUAL BOUND 91 1795.80/1796.32 c PRIMAL BOUND 1e+20 1795.80/1796.32 c GAP 1e+20 1795.80/1796.32 s UNKNOWN 1795.80/1796.32 c SCIP Status : solving was interrupted [time limit reached] 1795.80/1796.32 c Solving Time : 1791.03 1795.80/1796.32 c Original Problem : 1795.80/1796.32 c Problem name : HOME/instance-1867978-1245113450.opb 1795.80/1796.32 c Variables : 8281 (8281 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.80/1796.32 c Constraints : 826 initial, 826 maximal 1795.80/1796.32 c Presolved Problem : 1795.80/1796.32 c Problem name : t_HOME/instance-1867978-1245113450.opb 1795.80/1796.32 c Variables : 8281 (8281 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.80/1796.32 c Constraints : 462 initial, 887 maximal 1795.80/1796.32 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1795.80/1796.32 c trivial : 0.00 0 0 0 0 0 0 0 0 1795.80/1796.32 c dualfix : 0.00 0 0 0 0 0 0 0 0 1795.80/1796.32 c boundshift : 0.00 0 0 0 0 0 0 0 0 1795.80/1796.32 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1795.80/1796.32 c implics : 0.01 0 0 0 0 0 0 0 0 1795.80/1796.32 c probing : 0.00 0 0 0 0 0 0 0 0 1795.80/1796.32 c knapsack : 0.14 0 0 0 0 0 0 0 0 1795.80/1796.32 c setppc : 0.04 0 0 0 0 0 0 0 0 1795.80/1796.32 c linear : 0.36 0 0 0 0 0 364 0 0 1795.80/1796.32 c logicor : 0.00 0 0 0 0 0 0 0 0 1795.80/1796.32 c root node : - 0 - - 0 - - - - 1795.80/1796.32 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1795.80/1796.32 c integral : 0 0 0 1961 0 32 175 0 0 3770 1795.80/1796.32 c knapsack : 98 5 6522 0 1 1 47127 0 0 0 1795.80/1796.32 c setppc : 364 5 6521 0 1 32 158961 0 0 0 1795.80/1796.32 c logicor : 0+ 0 1257 0 0 3 216 0 0 0 1795.80/1796.32 c countsols : 0 0 0 0 1 0 0 0 0 0 1795.80/1796.32 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1795.80/1796.32 c integral : 733.54 0.00 0.00 733.54 0.00 1795.80/1796.32 c knapsack : 0.18 0.01 0.17 0.00 0.00 1795.80/1796.32 c setppc : 0.65 0.00 0.65 0.00 0.00 1795.80/1796.32 c logicor : 0.00 0.00 0.00 0.00 0.00 1795.80/1796.32 c countsols : 0.00 0.00 0.00 0.00 0.00 1795.80/1796.32 c Propagators : Time Calls Cutoffs DomReds 1795.80/1796.32 c rootredcost : 0.01 0 0 0 1795.80/1796.32 c pseudoobj : 8.89 6523 0 0 1795.80/1796.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1795.80/1796.32 c propagation : 0.13 36 36 762 212.7 5 111.4 - 1795.80/1796.32 c infeasible LP : 38.29 1186 33 1299 892.7 3 90.0 0 1795.80/1796.32 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1795.80/1796.32 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1795.80/1796.32 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1795.80/1796.32 c applied globally : - - - 448 218.2 - - - 1795.80/1796.32 c applied locally : - - - 0 0.0 - - - 1795.80/1796.32 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1795.80/1796.32 c cut pool : 0.00 4 - - 0 - (maximal pool size: 43) 1795.80/1796.32 c redcost : 2.26 1939 0 0 0 0 1795.80/1796.32 c impliedbounds : 0.00 5 0 0 0 0 1795.80/1796.32 c intobj : 0.00 0 0 0 0 0 1795.80/1796.32 c gomory : 0.14 5 0 0 0 0 1795.80/1796.32 c strongcg : 0.15 5 0 0 0 0 1795.80/1796.32 c cmir : 0.00 0 0 0 0 0 1795.80/1796.32 c flowcover : 0.00 0 0 0 0 0 1795.80/1796.32 c clique : 0.11 5 0 0 44 0 1795.80/1796.32 c zerohalf : 0.00 0 0 0 0 0 1795.80/1796.32 c mcf : 0.01 1 0 0 0 0 1795.80/1796.32 c Pricers : Time Calls Vars 1795.80/1796.32 c problem variables: 0.00 0 0 1795.80/1796.32 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1795.80/1796.32 c relpscost : 733.53 1961 32 175 0 0 3770 1795.80/1796.32 c pscost : 0.00 0 0 0 0 0 0 1795.80/1796.32 c inference : 0.00 1 0 0 0 0 2 1795.80/1796.32 c mostinf : 0.00 0 0 0 0 0 0 1795.80/1796.32 c leastinf : 0.00 0 0 0 0 0 0 1795.80/1796.32 c fullstrong : 0.00 0 0 0 0 0 0 1795.80/1796.32 c allfullstrong : 0.00 0 0 0 0 0 0 1795.80/1796.32 c random : 0.00 0 0 0 0 0 0 1795.80/1796.32 c Primal Heuristics : Time Calls Found 1795.80/1796.32 c LP solutions : 0.00 - 0 1795.80/1796.32 c pseudo solutions : 0.00 - 0 1795.80/1796.32 c simplerounding : 0.00 0 0 1795.80/1796.32 c rounding : 0.00 0 0 1795.80/1796.32 c shifting : 0.00 0 0 1795.80/1796.32 c intshifting : 0.00 0 0 1795.80/1796.32 c oneopt : 0.00 0 0 1795.80/1796.32 c fixandinfer : 0.00 0 0 1795.80/1796.32 c feaspump : 0.00 0 0 1795.80/1796.32 c coefdiving : 0.00 0 0 1795.80/1796.32 c pscostdiving : 0.00 0 0 1795.80/1796.32 c fracdiving : 0.00 0 0 1795.80/1796.32 c veclendiving : 0.00 0 0 1795.80/1796.32 c intdiving : 0.00 0 0 1795.80/1796.32 c actconsdiving : 0.00 0 0 1795.80/1796.32 c objpscostdiving : 0.00 0 0 1795.80/1796.32 c rootsoldiving : 0.00 0 0 1795.80/1796.32 c linesearchdiving : 0.00 0 0 1795.80/1796.32 c guideddiving : 0.00 0 0 1795.80/1796.32 c octane : 0.00 0 0 1795.80/1796.32 c rens : 0.00 0 0 1795.80/1796.32 c rins : 0.00 0 0 1795.80/1796.32 c localbranching : 0.00 0 0 1795.80/1796.32 c mutation : 0.00 0 0 1795.80/1796.32 c crossover : 0.00 0 0 1795.80/1796.32 c dins : 0.00 0 0 1795.80/1796.32 c LP : Time Calls Iterations Iter/call Iter/sec 1795.80/1796.32 c primal LP : 0.02 0 0 0.00 0.00 1795.80/1796.32 c dual LP : 996.76 3154 976589 309.64 979.76 1795.80/1796.32 c barrier LP : 0.00 0 0 0.00 - 1795.80/1796.32 c diving/probing LP: 0.00 0 0 0.00 - 1795.80/1796.32 c strong branching : 733.08 1029 607035 589.93 828.06 1795.80/1796.32 c (at root node) : - 33 15222 461.27 - 1795.80/1796.32 c conflict analysis: 0.00 0 0 0.00 - 1795.80/1796.32 c B&B Tree : 1795.80/1796.32 c number of runs : 1 1795.80/1796.32 c nodes : 3140 1795.80/1796.32 c nodes (total) : 3140 1795.80/1796.32 c nodes left : 632 1795.80/1796.32 c max depth : 89 1795.80/1796.32 c max depth (total): 89 1795.80/1796.32 c backtracks : 306 (9.7%) 1795.80/1796.32 c delayed cutoffs : 1 1795.80/1796.32 c repropagations : 280 (291 domain reductions, 0 cutoffs) 1795.80/1796.32 c avg switch length: 3.39 1795.80/1796.32 c switching time : 1.46 1795.80/1796.32 c Solution : 1795.80/1796.32 c Solutions found : 0 (0 improvements) 1795.80/1796.32 c Primal Bound : - 1795.80/1796.32 c Dual Bound : +9.10000000000002e+01 1795.80/1796.32 c Gap : infinite 1795.80/1796.32 c Root Dual Bound : +9.10000000000001e+01 1795.90/1796.43 c Time complete: 1795.93.
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-1867978-1245113450/watcher-1867978-1245113450 -o /tmp/evaluation-result-1867978-1245113450/solver-1867978-1245113450 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1867978-1245113450.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.73 0.89 1.41 3/65 1962 /proc/meminfo: memFree=1086120/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=4328 CPUtime=0 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 484 0 0 0 0 0 0 0 18 0 1 0 178944444 4431872 468 1992294400 4194304 7823515 548682068736 18446744073709551615 5868704 0 0 4096 0 0 0 0 17 1 0 0 /proc/1962/statm: 1162 478 311 886 0 272 0 [startup+0.0816361 s] /proc/loadavg: 0.73 0.89 1.41 3/65 1962 /proc/meminfo: memFree=1086120/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=16316 CPUtime=0.07 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 3409 0 0 0 6 1 0 0 18 0 1 0 178944444 16707584 3391 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/1962/statm: 4079 3391 351 886 0 3189 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 16316 [startup+0.101637 s] /proc/loadavg: 0.73 0.89 1.41 3/65 1962 /proc/meminfo: memFree=1086120/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=17048 CPUtime=0.09 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 3592 0 0 0 8 1 0 0 18 0 1 0 178944444 17457152 3574 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/1962/statm: 4262 3574 351 886 0 3372 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17048 [startup+0.301661 s] /proc/loadavg: 0.73 0.89 1.41 3/65 1962 /proc/meminfo: memFree=1086120/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=37492 CPUtime=0.29 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 8767 0 0 0 26 3 0 0 19 0 1 0 178944444 38391808 8395 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 9373 8395 414 886 0 8483 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37492 [startup+0.701705 s] /proc/loadavg: 0.73 0.89 1.41 3/65 1962 /proc/meminfo: memFree=1086120/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=40828 CPUtime=0.69 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 9676 0 0 0 66 3 0 0 22 0 1 0 178944444 41807872 9304 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 10207 9304 428 886 0 9317 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40828 [startup+1.5018 s] /proc/loadavg: 0.73 0.89 1.41 2/66 1963 /proc/meminfo: memFree=1040992/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=51512 CPUtime=1.49 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 12894 0 0 0 145 4 0 0 21 0 1 0 178944444 52748288 11896 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 12878 11896 509 886 0 11988 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51512 [startup+3.10198 s] /proc/loadavg: 0.73 0.89 1.41 2/66 1963 /proc/meminfo: memFree=1039520/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=52120 CPUtime=3.09 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 13087 0 0 0 304 5 0 0 25 0 1 0 178944444 53370880 12089 1992294400 4194304 7823515 548682068736 18446744073709551615 6180650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 13030 12089 509 886 0 12140 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 52120 [startup+6.30134 s] /proc/loadavg: 0.75 0.89 1.41 2/66 1963 /proc/meminfo: memFree=1038560/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=53876 CPUtime=6.29 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 13526 0 0 0 622 7 0 0 25 0 1 0 178944444 55169024 12528 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 13469 12528 537 886 0 12579 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53876 [startup+12.7011 s] /proc/loadavg: 0.77 0.89 1.40 2/66 1963 /proc/meminfo: memFree=1037280/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=54424 CPUtime=12.69 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 13668 0 0 0 1261 8 0 0 25 0 1 0 178944444 55730176 12670 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 13606 12670 542 886 0 12716 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54424 [startup+25.5015 s] /proc/loadavg: 0.82 0.89 1.40 2/66 1963 /proc/meminfo: memFree=1037344/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=54424 CPUtime=25.49 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 13668 0 0 0 2539 10 0 0 25 0 1 0 178944444 55730176 12670 1992294400 4194304 7823515 548682068736 18446744073709551615 6254149 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 13606 12670 542 886 0 12716 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54424 [startup+51.1014 s] /proc/loadavg: 0.88 0.90 1.38 2/66 1963 /proc/meminfo: memFree=1037280/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=54424 CPUtime=51.07 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 13676 0 0 0 5092 15 0 0 25 0 1 0 178944444 55730176 12678 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 13606 12678 545 886 0 12716 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 54424 [startup+102.305 s] /proc/loadavg: 0.95 0.91 1.36 2/66 1965 /proc/meminfo: memFree=1037024/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=54608 CPUtime=102.26 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 13698 0 0 0 10203 23 0 0 25 0 1 0 178944444 55918592 12700 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 13652 12700 545 886 0 12762 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 54608 [startup+162.301 s] /proc/loadavg: 0.98 0.93 1.34 2/66 1965 /proc/meminfo: memFree=1037152/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=54608 CPUtime=162.23 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 13726 0 0 0 16191 32 0 0 25 0 1 0 178944444 55918592 12728 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 13652 12728 545 886 0 12762 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 54608 [startup+222.302 s] /proc/loadavg: 0.99 0.94 1.31 2/66 1965 /proc/meminfo: memFree=1036704/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=55144 CPUtime=222.23 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 13845 0 0 0 22179 44 0 0 25 0 1 0 178944444 56467456 12847 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 13786 12847 545 886 0 12896 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 55144 [startup+282.302 s] /proc/loadavg: 0.99 0.95 1.29 2/66 1965 /proc/meminfo: memFree=1035296/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=56456 CPUtime=282.2 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 14197 0 0 0 28164 56 0 0 25 0 1 0 178944444 57810944 13199 1992294400 4194304 7823515 548682068736 18446744073709551615 6255881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 14114 13199 545 886 0 13224 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 56456 [startup+342.301 s] /proc/loadavg: 0.99 0.95 1.27 2/66 1965 /proc/meminfo: memFree=1033120/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=58620 CPUtime=342.19 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 14732 0 0 0 34150 69 0 0 25 0 1 0 178944444 60026880 13734 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 14655 13734 545 886 0 13765 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 58620 [startup+402.301 s] /proc/loadavg: 0.99 0.96 1.25 2/66 1965 /proc/meminfo: memFree=1031776/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=60056 CPUtime=402.17 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 15089 0 0 0 40137 80 0 0 25 0 1 0 178944444 61497344 14087 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 15014 14087 545 886 0 14124 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 60056 [startup+462.301 s] /proc/loadavg: 0.99 0.96 1.23 2/66 1965 /proc/meminfo: memFree=1030304/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=61476 CPUtime=462.16 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 15460 0 0 0 46124 92 0 0 25 0 1 0 178944444 62951424 14458 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 15369 14458 545 886 0 14479 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 61476 [startup+522.302 s] /proc/loadavg: 0.99 0.97 1.22 2/66 1965 /proc/meminfo: memFree=1029984/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=62068 CPUtime=522.14 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 15631 0 0 0 52104 110 0 0 25 0 1 0 178944444 63557632 14629 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 15517 14629 639 886 0 14627 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 62068 [startup+582.302 s] /proc/loadavg: 0.99 0.97 1.20 2/66 1965 /proc/meminfo: memFree=1028896/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=62844 CPUtime=582.13 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 15915 0 0 0 58089 124 0 0 25 0 1 0 178944444 64352256 14913 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 15711 14913 639 886 0 14821 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 62844 [startup+642.302 s] /proc/loadavg: 0.99 0.97 1.18 2/66 1971 /proc/meminfo: memFree=1027672/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=64224 CPUtime=642.11 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 16193 0 0 0 64069 142 0 0 25 0 1 0 178944444 65765376 15191 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 16056 15191 639 886 0 15166 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 64224 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1023456/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=68256 CPUtime=1121.97 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 17232 0 0 0 111930 267 0 0 25 0 1 0 178944444 69894144 16229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 17064 16229 639 886 0 16174 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 68256 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 1.08 2/66 1971 /proc/meminfo: memFree=1023008/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=68824 CPUtime=1181.96 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 17338 0 0 0 117913 283 0 0 25 0 1 0 178944444 70475776 16335 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 17206 16335 639 886 0 16316 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 68824 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 1.08 2/66 1971 /proc/meminfo: memFree=1022752/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=68964 CPUtime=1241.95 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 17403 0 0 0 123894 301 0 0 25 0 1 0 178944444 70619136 16400 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 17241 16400 639 886 0 16351 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 68964 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 1.07 2/66 1971 /proc/meminfo: memFree=1022496/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=69104 CPUtime=1301.93 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 17455 0 0 0 129875 318 0 0 25 0 1 0 178944444 70762496 16452 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 17276 16452 639 886 0 16386 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 69104 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 1.07 2/66 1971 /proc/meminfo: memFree=1022432/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=69104 CPUtime=1361.91 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 17470 0 0 0 135852 339 0 0 25 0 1 0 178944444 70762496 16467 1992294400 4194304 7823515 548682068736 18446744073709551615 6019568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 17276 16467 639 886 0 16386 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 69104 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 1.06 2/66 1971 /proc/meminfo: memFree=1022432/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=69104 CPUtime=1421.9 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 17471 0 0 0 141835 355 0 0 25 0 1 0 178944444 70762496 16468 1992294400 4194304 7823515 548682068736 18446744073709551615 6263358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 17276 16468 639 886 0 16386 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 69104 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 1.05 2/66 1971 /proc/meminfo: memFree=1021408/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=70204 CPUtime=1481.88 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 17732 0 0 0 147816 372 0 0 25 0 1 0 178944444 71888896 16729 1992294400 4194304 7823515 548682068736 18446744073709551615 6180646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 17551 16729 639 886 0 16661 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 70204 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 1.05 2/66 1971 /proc/meminfo: memFree=1020064/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=71784 CPUtime=1541.87 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18089 0 0 0 153796 391 0 0 25 0 1 0 178944444 73506816 17086 1992294400 4194304 7823515 548682068736 18446744073709551615 6205852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 17946 17086 639 886 0 17056 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 71784 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 1.04 2/66 1971 /proc/meminfo: memFree=1019040/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=72676 CPUtime=1601.85 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18339 0 0 0 159776 409 0 0 25 0 1 0 178944444 74420224 17336 1992294400 4194304 7823515 548682068736 18446744073709551615 6019607 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 18169 17336 639 886 0 17279 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 72676 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 1.04 2/66 1971 /proc/meminfo: memFree=1017696/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=74120 CPUtime=1661.83 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18683 0 0 0 165756 427 0 0 25 0 1 0 178944444 75898880 17680 1992294400 4194304 7823515 548682068736 18446744073709551615 6180642 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 18530 17680 639 886 0 17640 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 74120 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 1.03 2/66 1971 /proc/meminfo: memFree=1017248/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=74532 CPUtime=1721.82 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18789 0 0 0 171738 444 0 0 25 0 1 0 178944444 76320768 17786 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 18633 17786 639 886 0 17743 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 74532 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 1.02 2/66 1971 /proc/meminfo: memFree=1016864/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=74992 CPUtime=1781.8 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18887 0 0 0 177719 461 0 0 25 0 1 0 178944444 76791808 17884 1992294400 4194304 7823515 548682068736 18446744073709551615 6180650 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 18748 17884 639 886 0 17858 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 74992 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 0.99 0.97 1.02 2/66 1971 /proc/meminfo: memFree=1016864/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=74992 CPUtime=1785 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18887 0 0 0 178038 462 0 0 25 0 1 0 178944444 76791808 17884 1992294400 4194304 7823515 548682068736 18446744073709551615 5432873 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 18748 17884 639 886 0 17858 0 Current children cumulated CPU time (s) 1785 Current children cumulated vsize (KiB) 74992 [startup+1791.91 s] /proc/loadavg: 0.99 0.97 1.02 2/66 1971 /proc/meminfo: memFree=1016864/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=74992 CPUtime=1791.41 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18887 0 0 0 178676 465 0 0 25 0 1 0 178944444 76791808 17884 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 18748 17884 639 886 0 17858 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 74992 [startup+1793.5 s] /proc/loadavg: 0.99 0.97 1.02 2/66 1971 /proc/meminfo: memFree=1016864/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=74992 CPUtime=1793 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18888 0 0 0 178835 465 0 0 25 0 1 0 178944444 76791808 17885 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 18748 17885 639 886 0 17858 0 Current children cumulated CPU time (s) 1793 Current children cumulated vsize (KiB) 74992 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 1.02 2/66 1971 /proc/meminfo: memFree=1016864/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=74992 CPUtime=1794.6 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18888 0 0 0 178995 465 0 0 25 0 1 0 178944444 76791808 17885 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 18748 17885 639 886 0 17858 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 74992 [startup+1795.9 s] /proc/loadavg: 0.99 0.97 1.02 2/66 1971 /proc/meminfo: memFree=1016864/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=74992 CPUtime=1795.4 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18889 0 0 0 179074 466 0 0 25 0 1 0 178944444 76791808 17886 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 18748 17886 639 886 0 17858 0 Current children cumulated CPU time (s) 1795.4 Current children cumulated vsize (KiB) 74992 [startup+1796.31 s] /proc/loadavg: 0.99 0.97 1.02 2/66 1971 /proc/meminfo: memFree=1016864/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=74992 CPUtime=1795.8 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18889 0 0 0 179114 466 0 0 25 0 1 0 178944444 76791808 17886 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1962/statm: 18748 17886 639 886 0 17858 0 Current children cumulated CPU time (s) 1795.8 Current children cumulated vsize (KiB) 74992 [startup+1796.4 s] /proc/loadavg: 0.99 0.97 1.02 2/66 1971 /proc/meminfo: memFree=1016864/2055920 swapFree=4191900/4192956 [pid=1962] ppid=1960 vsize=74992 CPUtime=1795.9 /proc/1962/stat : 1962 (pbscip.linux.x8) R 1960 1962 1864 0 -1 4194304 18894 0 0 0 179124 466 0 0 25 0 1 0 178944444 76791808 17891 1992294400 4194304 7823515 548682068736 18446744073709551615 5875888 0 0 4096 0 0 0 0 17 1 0 0 /proc/1962/statm: 18748 17891 644 886 0 17858 0 Current children cumulated CPU time (s) 1795.9 Current children cumulated vsize (KiB) 74992 Child status: 0 Real time (s): 1796.44 CPU time (s): 1795.95 CPU user time (s): 1791.27 CPU system time (s): 4.67529 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 74992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.27 system time used= 4.67529 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18898 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 1477 runsolver used 2.0027 second user time and 4.04439 second system time The end
Begin job on node32 at 2009-06-16 02:50:50 IDJOB=1867978 IDBENCH=1156 IDSOLVER=683 FILE ID=node32/1867978-1245113450 PBS_JOBID= 9363635 Free space on /tmp= 66340 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1867978-1245113450/watcher-1867978-1245113450 -o /tmp/evaluation-result-1867978-1245113450/solver-1867978-1245113450 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1867978-1245113450.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9 RANDOM SEED=1205274472 node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1086600 kB Buffers: 77804 kB Cached: 794036 kB SwapCached: 260 kB Active: 72896 kB Inactive: 813324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1086600 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 10556 kB Writeback: 0 kB Mapped: 23776 kB Slab: 68848 kB Committed_AS: 137024 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66332 MiB End job on node32 at 2009-06-16 03:20:47