Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1796.37 | 1796.92 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb |
MD5SUM | 6671ed3c9b389a2223dba62c8a435d2e |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
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 | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31444 |
Sum of products size (including duplicates) | 62888 |
Number of different products | 15722 |
Sum of products size | 31444 |
0.09/0.19 c SCIP version 1.1.0.7 0.09/0.19 c LP-Solver SoPlex 1.4.1 0.09/0.19 c user parameter file <scip.set> not found - using default parameters 0.09/0.19 c read problem <HOME/instance-1870702-1245216061.opb> 0.09/0.19 c original problem has 16722 variables (16722 bin, 0 int, 0 impl, 0 cont) and 17224 constraints 0.29/0.36 c No objective function, only one solution is needed. 0.29/0.36 c start presolving problem 0.29/0.36 c presolving: 0.79/0.85 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 126776 impls, 1000 clqs 1.10/1.18 c presolving (2 rounds): 1.10/1.18 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1.10/1.18 c 126776 implications, 1000 cliques 1.10/1.18 c presolved problem has 16722 variables (16722 bin, 0 int, 0 impl, 0 cont) and 17224 constraints 1.10/1.18 c 1 constraints of type <knapsack> 1.10/1.18 c 1000 constraints of type <setppc> 1.10/1.18 c 15722 constraints of type <and> 1.10/1.18 c 1 constraints of type <linear> 1.10/1.18 c 500 constraints of type <logicor> 1.10/1.18 c transformed objective value is always integral (scale: 1) 1.10/1.18 c Presolving Time: 0.69 1.10/1.18 c SATUNSAT-NLC 1.10/1.18 c ----------------------------------------------------------------------------------------------- 1.10/1.18 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.18 c separating/flowcover/freq = c -1 1.10/1.18 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.18 c separating/cmir/freq = c -1 1.10/1.18 c # additional number of allowed LP iterations 1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.18 c heuristics/veclendiving/maxlpiterofs = c 1500 1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.18 c heuristics/veclendiving/maxlpiterquot = c 0.075 1.10/1.18 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.18 c heuristics/veclendiving/freq = c -1 1.10/1.18 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.18 c heuristics/simplerounding/freq = c -1 1.10/1.18 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.18 c heuristics/shifting/freq = c -1 1.10/1.18 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.18 c heuristics/rounding/freq = c -1 1.10/1.18 c # additional number of allowed LP iterations 1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.18 c heuristics/rootsoldiving/maxlpiterofs = c 1500 1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.10/1.18 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 1.10/1.18 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.18 c heuristics/rootsoldiving/freq = c -1 1.10/1.18 c # number of nodes added to the contingent of the total nodes 1.10/1.18 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.10/1.18 c heuristics/rens/nodesofs = c 2000 1.10/1.18 c # minimum percentage of integer variables that have to be fixable 1.10/1.18 c # [type: real, range: [0,1], default: 0.5] 1.10/1.18 c heuristics/rens/minfixingrate = c 0.3 1.10/1.18 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0] 1.10/1.18 c heuristics/rens/freq = c -1 1.10/1.18 c # additional number of allowed LP iterations 1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.18 c heuristics/pscostdiving/maxlpiterofs = c 1500 1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.18 c heuristics/pscostdiving/maxlpiterquot = c 0.075 1.10/1.18 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.18 c heuristics/pscostdiving/freq = c -1 1.10/1.18 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1] 1.10/1.18 c heuristics/oneopt/freq = c -1 1.10/1.18 c # additional number of allowed LP iterations 1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.18 c heuristics/objpscostdiving/maxlpiterofs = c 1500 1.10/1.18 c # maximal fraction of diving LP iterations compared to total iteration number 1.10/1.18 c # [type: real, range: [0,1], default: 0.01] 1.10/1.18 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 1.10/1.18 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.18 c heuristics/objpscostdiving/freq = c -1 1.10/1.18 c # additional number of allowed LP iterations 1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.18 c heuristics/linesearchdiving/maxlpiterofs = c 1500 1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.18 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 1.10/1.18 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.18 c heuristics/linesearchdiving/freq = c -1 1.10/1.18 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.18 c heuristics/intshifting/freq = c -1 1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.18 c heuristics/intdiving/maxlpiterquot = c 0.075 1.10/1.18 c # additional number of allowed LP iterations 1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.18 c heuristics/guideddiving/maxlpiterofs = c 1500 1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.18 c heuristics/guideddiving/maxlpiterquot = c 0.075 1.10/1.18 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.18 c heuristics/guideddiving/freq = c -1 1.10/1.18 c # additional number of allowed LP iterations 1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.18 c heuristics/fracdiving/maxlpiterofs = c 1500 1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.18 c heuristics/fracdiving/maxlpiterquot = c 0.075 1.10/1.18 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.18 c heuristics/fracdiving/freq = c -1 1.10/1.18 c # additional number of allowed LP iterations 1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.18 c heuristics/feaspump/maxlpiterofs = c 2000 1.10/1.18 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 20] 1.10/1.18 c heuristics/feaspump/freq = c -1 1.10/1.18 c # minimum percentage of integer variables that have to be fixed 1.10/1.18 c # [type: real, range: [0,1], default: 0.666] 1.10/1.18 c heuristics/crossover/minfixingrate = c 0.5 1.10/1.18 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.10/1.18 c # [type: real, range: [0,1], default: 0.1] 1.10/1.18 c heuristics/crossover/nodesquot = c 0.15 1.10/1.18 c # number of nodes without incumbent change that heuristic should wait 1.10/1.18 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.10/1.18 c heuristics/crossover/nwaitingnodes = c 100 1.10/1.18 c # number of nodes added to the contingent of the total nodes 1.10/1.18 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.10/1.18 c heuristics/crossover/nodesofs = c 750 1.10/1.18 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 30] 1.10/1.18 c heuristics/crossover/freq = c -1 1.10/1.18 c # additional number of allowed LP iterations 1.10/1.18 c # [type: int, range: [0,2147483647], default: 1000] 1.10/1.18 c heuristics/coefdiving/maxlpiterofs = c 1500 1.10/1.18 c # maximal fraction of diving LP iterations compared to node LP iterations 1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.10/1.18 c heuristics/coefdiving/maxlpiterquot = c 0.075 1.10/1.18 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: 10] 1.10/1.18 c heuristics/coefdiving/freq = c -1 1.10/1.18 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.18 c presolving/probing/maxrounds = c 0 1.10/1.18 c # should presolving try to simplify knapsacks 1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.10/1.18 c constraints/knapsack/simplifyinequalities = c TRUE 1.10/1.18 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.10/1.18 c constraints/knapsack/disaggregation = c FALSE 1.10/1.18 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 1.10/1.18 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.18 c constraints/knapsack/maxnumcardlift = c 0 1.10/1.18 c # should presolving try to simplify inequalities 1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.10/1.19 c constraints/linear/simplifyinequalities = c TRUE 1.10/1.19 c # maximal number of separation rounds in the root node (-1: unlimited) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.19 c separating/maxroundsroot = c 5 1.10/1.19 c # maximal number of separation rounds per node (-1: unlimited) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 5] 1.10/1.19 c separating/maxrounds = c 1 1.10/1.19 c # solving stops, if the given number of solutions were found (-1: no limit) 1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1] 1.10/1.19 c limits/solutions = c 1 1.10/1.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.10/1.19 c limits/memory = c 1620 1.10/1.19 c # maximal time in seconds to run 1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.10/1.19 c limits/time = c 1791 1.10/1.19 c # frequency for displaying node information lines 1.10/1.19 c # [type: int, range: [-1,2147483647], default: 100] 1.10/1.19 c display/freq = c 10000 1.10/1.19 c ----------------------------------------------------------------------------------------------- 1.10/1.19 c start solving problem 1.10/1.19 c 2.59/2.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.59/2.68 c 2.2s| 1 | 0 | 770 | 74M| 0 | 320 | 16k| 17k| 17k| 16k| 32k| 0 | 0 | 0 | 1.600000e+02 | -- | Inf 6.09/6.19 c 5.7s| 1 | 0 | 923 | 74M| 0 | 322 | 16k| 17k| 17k| 16k| 32k| 2 | 0 | 0 | 1.600000e+02 | -- | Inf 49.58/49.69 c 49.0s| 1 | 0 | 1094 | 74M| 0 | 321 | 16k| 17k| 17k| 16k| 32k| 3 | 0 | 0 | 1.600000e+02 | -- | Inf 121.25/121.30 c 121s| 1 | 0 | 1279 | 74M| 0 | 323 | 16k| 17k| 17k| 16k| 32k| 4 | 0 | 0 | 1.600000e+02 | -- | Inf 199.23/199.35 c 198s| 1 | 0 | 1418 | 75M| 0 | 322 | 16k| 17k| 17k| 16k| 32k| 5 | 0 | 0 | 1.600000e+02 | -- | Inf 203.53/203.60 c 203s| 1 | 0 | 1688 | 75M| 0 | 323 | 16k| 17k| 17k| 16k| 32k| 7 | 0 | 0 | 1.600000e+02 | -- | Inf 305.00/305.13 c 304s| 1 | 2 | 1688 | 75M| 0 | 323 | 16k| 17k| 17k| 16k| 32k| 7 | 0 | 33 | 1.600000e+02 | -- | Inf 768.25/768.51 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 825.34/825.70 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XFORE02 The loaded matrix is singular 825.44/825.71 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09) 849.63/849.91 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 1755.06/1755.61 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09) 1795.84/1796.45 c 1795.84/1796.45 c SCIP Status : solving was interrupted [time limit reached] 1795.84/1796.45 c Solving Time (sec) : 1791.00 1795.84/1796.45 c Solving Nodes : 3391 1795.84/1796.45 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1795.84/1796.45 c Dual Bound : +1.60000000000001e+02 1795.84/1796.45 c Gap : infinite 1795.84/1796.45 c NODE 3391 1795.84/1796.45 c DUAL BOUND 160 1795.84/1796.45 c PRIMAL BOUND 1e+20 1795.84/1796.45 c GAP 1e+20 1795.84/1796.45 s UNKNOWN 1795.84/1796.45 c SCIP Status : solving was interrupted [time limit reached] 1795.84/1796.45 c Solving Time : 1791.00 1795.84/1796.45 c Original Problem : 1795.84/1796.45 c Problem name : HOME/instance-1870702-1245216061.opb 1795.84/1796.45 c Variables : 16722 (16722 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.84/1796.45 c Constraints : 17224 initial, 17224 maximal 1795.84/1796.45 c Presolved Problem : 1795.84/1796.45 c Problem name : t_HOME/instance-1870702-1245216061.opb 1795.84/1796.45 c Variables : 16722 (16722 binary, 0 integer, 0 implicit integer, 0 continuous) 1795.84/1796.45 c Constraints : 17224 initial, 17689 maximal 1795.84/1796.45 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1795.84/1796.45 c trivial : 0.01 0 0 0 0 0 0 0 0 1795.84/1796.45 c dualfix : 0.01 0 0 0 0 0 0 0 0 1795.84/1796.45 c boundshift : 0.00 0 0 0 0 0 0 0 0 1795.84/1796.45 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1795.84/1796.45 c implics : 0.02 0 0 0 0 0 0 0 0 1795.84/1796.45 c probing : 0.00 0 0 0 0 0 0 0 0 1795.84/1796.45 c knapsack : 0.02 0 0 0 0 0 0 0 0 1795.84/1796.45 c setppc : 0.02 0 0 0 0 0 0 0 0 1795.84/1796.45 c and : 0.40 0 0 0 0 0 0 0 0 1795.84/1796.45 c linear : 0.12 0 0 0 0 0 0 0 0 1795.84/1796.45 c logicor : 0.00 0 0 0 0 0 0 0 0 1795.84/1796.45 c root node : - 0 - - 0 - - - - 1795.84/1796.45 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1795.84/1796.45 c integral : 0 0 0 3018 0 2 10 0 0 6010 1795.84/1796.45 c knapsack : 1 5 13636 9 1 0 0 0 0 0 1795.84/1796.45 c setppc : 1000 5 13636 9 1 29 46888 0 0 0 1795.84/1796.45 c and : 15722 3050 13607 9 1 70 991149 424050 0 0 1795.84/1796.45 c linear : 1 5 13537 0 0 0 0 0 0 0 1795.84/1796.45 c logicor : 500+ 5 5256 0 1 0 3117 0 0 0 1795.84/1796.45 c countsols : 0 0 0 0 1 0 0 0 0 0 1795.84/1796.45 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1795.84/1796.45 c integral : 696.58 0.00 0.00 696.58 0.00 1795.84/1796.45 c knapsack : 0.01 0.00 0.01 0.00 0.00 1795.84/1796.45 c setppc : 1.40 0.00 1.40 0.00 0.00 1795.84/1796.45 c and : 54.85 33.94 20.84 0.07 0.00 1795.84/1796.45 c linear : 2.13 0.01 2.12 0.00 0.00 1795.84/1796.45 c logicor : 0.14 0.00 0.14 0.00 0.00 1795.84/1796.45 c countsols : 0.00 0.00 0.00 0.00 0.00 1795.84/1796.45 c Propagators : Time Calls Cutoffs DomReds 1795.84/1796.45 c rootredcost : 0.03 0 0 0 1795.84/1796.45 c pseudoobj : 38.45 13637 0 0 1795.84/1796.45 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1795.84/1796.45 c propagation : 0.01 99 99 99 2.3 0 0.0 - 1795.84/1796.45 c infeasible LP : 4.27 248 223 9403 175.6 2 2.0 0 1795.84/1796.45 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1795.84/1796.45 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1795.84/1796.45 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1795.84/1796.45 c applied globally : - - - 1214 238.6 - - - 1795.84/1796.45 c applied locally : - - - 0 0.0 - - - 1795.84/1796.45 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1795.84/1796.45 c cut pool : 0.00 4 - - 3 - (maximal pool size: 16) 1795.84/1796.45 c redcost : 9.41 3050 0 0 0 0 1795.84/1796.45 c impliedbounds : 0.04 5 0 0 0 0 1795.84/1796.45 c intobj : 0.00 0 0 0 0 0 1795.84/1796.45 c gomory : 121.14 5 0 0 1000 0 1795.84/1796.45 c strongcg : 73.13 5 0 0 1626 0 1795.84/1796.45 c cmir : 0.00 0 0 0 0 0 1795.84/1796.45 c flowcover : 0.00 0 0 0 0 0 1795.84/1796.45 c clique : 0.22 5 0 0 0 0 1795.84/1796.45 c zerohalf : 0.00 0 0 0 0 0 1795.84/1796.45 c mcf : 1.28 2 0 0 0 0 1795.84/1796.45 c Pricers : Time Calls Vars 1795.84/1796.45 c problem variables: 0.00 0 0 1795.84/1796.45 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1795.84/1796.45 c relpscost : 696.58 3009 2 10 0 0 6010 1795.84/1796.45 c pscost : 0.00 0 0 0 0 0 0 1795.84/1796.45 c inference : 0.00 1 0 0 0 0 2 1795.84/1796.45 c mostinf : 0.00 0 0 0 0 0 0 1795.84/1796.45 c leastinf : 0.00 0 0 0 0 0 0 1795.84/1796.45 c fullstrong : 0.00 0 0 0 0 0 0 1795.84/1796.45 c allfullstrong : 0.00 0 0 0 0 0 0 1795.84/1796.45 c random : 0.00 0 0 0 0 0 0 1795.84/1796.45 c Primal Heuristics : Time Calls Found 1795.84/1796.45 c LP solutions : 0.00 - 0 1795.84/1796.45 c pseudo solutions : 0.00 - 0 1795.84/1796.45 c simplerounding : 0.00 0 0 1795.84/1796.45 c rounding : 0.00 0 0 1795.84/1796.45 c shifting : 0.00 0 0 1795.84/1796.45 c intshifting : 0.00 0 0 1795.84/1796.45 c oneopt : 0.00 0 0 1795.84/1796.45 c fixandinfer : 0.00 0 0 1795.84/1796.45 c feaspump : 0.00 0 0 1795.84/1796.45 c coefdiving : 0.00 0 0 1795.84/1796.45 c pscostdiving : 0.00 0 0 1795.84/1796.45 c fracdiving : 0.00 0 0 1795.84/1796.45 c veclendiving : 0.00 0 0 1795.84/1796.45 c intdiving : 0.00 0 0 1795.84/1796.45 c actconsdiving : 0.00 0 0 1795.84/1796.45 c objpscostdiving : 0.00 0 0 1795.84/1796.45 c rootsoldiving : 0.00 0 0 1795.84/1796.45 c linesearchdiving : 0.00 0 0 1795.84/1796.45 c guideddiving : 0.00 0 0 1795.84/1796.45 c octane : 0.00 0 0 1795.84/1796.45 c rens : 0.00 0 0 1795.84/1796.45 c rins : 0.00 0 0 1795.84/1796.45 c localbranching : 0.00 0 0 1795.84/1796.45 c mutation : 0.00 0 0 1795.84/1796.45 c crossover : 0.00 0 0 1795.84/1796.45 c dins : 0.00 0 0 1795.84/1796.45 c LP : Time Calls Iterations Iter/call Iter/sec 1795.84/1796.45 c primal LP : 21.93 0 0 0.00 0.00 1795.84/1796.45 c dual LP : 692.00 6359 537461 84.52 776.68 1795.84/1796.45 c barrier LP : 0.00 0 0 0.00 - 1795.84/1796.45 c diving/probing LP: 0.00 0 0 0.00 - 1795.84/1796.45 c strong branching : 695.69 8254 389235 47.16 559.49 1795.84/1796.45 c (at root node) : - 33 18371 556.70 - 1795.84/1796.45 c conflict analysis: 0.00 0 0 0.00 - 1795.84/1796.45 c B&B Tree : 1795.84/1796.45 c number of runs : 1 1795.84/1796.45 c nodes : 3391 1795.84/1796.45 c nodes (total) : 3391 1795.84/1796.45 c nodes left : 2621 1795.84/1796.45 c max depth : 95 1795.84/1796.45 c max depth (total): 95 1795.84/1796.45 c backtracks : 88 (2.6%) 1795.84/1796.45 c delayed cutoffs : 1 1795.84/1796.45 c repropagations : 3257 (8343 domain reductions, 1 cutoffs) 1795.84/1796.45 c avg switch length: 4.03 1795.84/1796.45 c switching time : 34.89 1795.84/1796.45 c Solution : 1795.84/1796.45 c Solutions found : 0 (0 improvements) 1795.84/1796.45 c Primal Bound : - 1795.84/1796.45 c Dual Bound : +1.60000000000001e+02 1795.84/1796.45 c Gap : infinite 1795.84/1796.45 c Root Dual Bound : +1.60000000000001e+02 1796.24/1796.89 c Time complete: 1796.33.
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-1870702-1245216061/watcher-1870702-1245216061 -o /tmp/evaluation-result-1870702-1245216061/solver-1870702-1245216061 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870702-1245216061.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/66 16543 /proc/meminfo: memFree=1842632/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=6100 CPUtime=0 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 514 0 0 0 0 0 0 0 18 0 1 0 74329498 6246400 496 1992294400 4194304 7823515 548682068736 18446744073709551615 6884513 0 0 4096 0 0 0 0 17 1 0 0 /proc/16543/statm: 1525 506 325 886 0 635 0 [startup+0.0461949 s] /proc/loadavg: 1.00 1.00 1.00 3/66 16543 /proc/meminfo: memFree=1842632/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=14656 CPUtime=0.04 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 2983 0 0 0 3 1 0 0 18 0 1 0 74329498 15007744 2965 1992294400 4194304 7823515 548682068736 18446744073709551615 5879390 0 0 4096 0 0 0 0 17 1 0 0 /proc/16543/statm: 3782 2970 351 886 0 2892 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14656 [startup+0.101201 s] /proc/loadavg: 1.00 1.00 1.00 3/66 16543 /proc/meminfo: memFree=1842632/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=22268 CPUtime=0.09 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 4897 0 0 0 8 1 0 0 18 0 1 0 74329498 22802432 4879 1992294400 4194304 7823515 548682068736 18446744073709551615 6911065 0 0 4096 0 0 0 0 17 1 0 0 /proc/16543/statm: 5567 4879 351 886 0 4677 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22268 [startup+0.301228 s] /proc/loadavg: 1.00 1.00 1.00 3/66 16543 /proc/meminfo: memFree=1842632/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=51616 CPUtime=0.29 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 12507 0 0 0 25 4 0 0 19 0 1 0 74329498 52854784 12135 1992294400 4194304 7823515 548682068736 18446744073709551615 4539874 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 12904 12135 375 886 0 12014 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 51616 [startup+0.701279 s] /proc/loadavg: 1.00 1.00 1.00 3/66 16543 /proc/meminfo: memFree=1842632/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=60928 CPUtime=0.69 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 14621 0 0 0 56 13 0 0 22 0 1 0 74329498 62390272 14249 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 15232 14249 422 886 0 14342 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 60928 [startup+1.50138 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1779968/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=125252 CPUtime=1.49 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 30696 0 0 0 122 27 0 0 18 0 1 0 74329498 128258048 29450 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 31313 29450 514 886 0 30423 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 125252 [startup+3.10159 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1724160/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=134792 CPUtime=3.09 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 33263 0 0 0 281 28 0 0 25 0 1 0 74329498 138027008 31820 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 33698 31820 539 886 0 32808 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 134792 [startup+6.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1698304/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=153276 CPUtime=6.29 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 38184 0 0 0 594 35 0 0 25 0 1 0 74329498 156954624 36649 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 38319 36649 555 886 0 37429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 153276 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1697664/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=153276 CPUtime=12.69 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 38184 0 0 0 1233 36 0 0 25 0 1 0 74329498 156954624 36649 1992294400 4194304 7823515 548682068736 18446744073709551615 4271256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 38319 36649 555 886 0 37429 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 153276 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1697728/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=153276 CPUtime=25.48 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 38184 0 0 0 2510 38 0 0 25 0 1 0 74329498 156954624 36649 1992294400 4194304 7823515 548682068736 18446744073709551615 4341900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 38319 36649 555 886 0 37429 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 153276 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1688320/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=163424 CPUtime=51.07 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 40543 0 0 0 5063 44 0 0 25 0 1 0 74329498 167346176 39008 1992294400 4194304 7823515 548682068736 18446744073709551615 4271256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 40856 39008 555 886 0 39966 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 163424 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1688256/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=163424 CPUtime=102.26 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 40543 0 0 0 10174 52 0 0 25 0 1 0 74329498 167346176 39008 1992294400 4194304 7823515 548682068736 18446744073709551615 4272794 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 40856 39008 555 886 0 39966 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 163424 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1687552/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=168252 CPUtime=162.24 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 40721 0 0 0 16164 60 0 0 25 0 1 0 74329498 172290048 39186 1992294400 4194304 7823515 548682068736 18446744073709551615 4339117 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 42063 39186 555 886 0 41173 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 168252 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1659264/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=193040 CPUtime=222.23 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 47774 0 0 0 22151 72 0 0 25 0 1 0 74329498 197672960 46239 1992294400 4194304 7823515 548682068736 18446744073709551615 6211318 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 48260 46239 558 886 0 47370 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 193040 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1659200/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=193040 CPUtime=282.2 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 47774 0 0 0 28140 80 0 0 25 0 1 0 74329498 197672960 46239 1992294400 4194304 7823515 548682068736 18446744073709551615 6212665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 48260 46239 558 886 0 47370 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 193040 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1659072/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=193040 CPUtime=342.18 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 47807 0 0 0 34124 94 0 0 25 0 1 0 74329498 197672960 46272 1992294400 4194304 7823515 548682068736 18446744073709551615 6161797 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 48260 46272 561 886 0 47370 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 193040 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1658880/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=193040 CPUtime=402.17 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 47848 0 0 0 40106 111 0 0 25 0 1 0 74329498 197672960 46313 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 48260 46313 566 886 0 47370 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 193040 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1658880/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=193040 CPUtime=462.15 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 47851 0 0 0 46088 127 0 0 25 0 1 0 74329498 197672960 46316 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 48260 46316 566 886 0 47370 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 193040 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1658816/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=193040 CPUtime=522.13 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 47853 0 0 0 52070 143 0 0 25 0 1 0 74329498 197672960 46318 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 48260 46318 568 886 0 47370 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 193040 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1658816/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=193040 CPUtime=582.11 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 47859 0 0 0 58052 159 0 0 25 0 1 0 74329498 197672960 46324 1992294400 4194304 7823515 548682068736 18446744073709551615 6237350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 48260 46324 568 886 0 47370 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 193040 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1658752/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=193040 CPUtime=642.1 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 47865 0 0 0 64035 175 0 0 25 0 1 0 74329498 197672960 46330 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 48260 46330 568 886 0 47370 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 193040 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1641344/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=210064 CPUtime=1061.97 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 52262 0 0 0 105916 281 0 0 25 0 1 0 74329498 215105536 50696 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 52516 50696 656 886 0 51626 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 210064 [startup+1122.3 s] /proc/loadavg: 1.11 1.05 1.01 2/67 16544 /proc/meminfo: memFree=1637824/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=213556 CPUtime=1121.95 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 53142 0 0 0 111898 297 0 0 25 0 1 0 74329498 218681344 51576 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 53389 51576 656 886 0 52499 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 213556 [startup+1182.3 s] /proc/loadavg: 1.09 1.05 1.01 2/67 16544 /proc/meminfo: memFree=1634688/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=216656 CPUtime=1181.93 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 53927 0 0 0 117880 313 0 0 25 0 1 0 74329498 221855744 52355 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 54164 52355 656 886 0 53274 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 216656 [startup+1242.3 s] /proc/loadavg: 1.08 1.05 1.01 2/67 16544 /proc/meminfo: memFree=1631168/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=219992 CPUtime=1241.91 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 54798 0 0 0 123866 325 0 0 25 0 1 0 74329498 225271808 53202 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 54998 53202 656 886 0 54108 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 219992 [startup+1302.3 s] /proc/loadavg: 1.03 1.04 1.00 2/67 16544 /proc/meminfo: memFree=1626944/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=224228 CPUtime=1301.9 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 55864 0 0 0 129847 343 0 0 25 0 1 0 74329498 229609472 54250 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 56057 54250 656 886 0 55167 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 224228 [startup+1362.3 s] /proc/loadavg: 1.01 1.03 1.00 2/67 16544 /proc/meminfo: memFree=1622144/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=229020 CPUtime=1361.87 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 57069 0 0 0 135830 357 0 0 25 0 1 0 74329498 234516480 55455 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 57255 55455 656 886 0 56365 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 229020 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/67 16544 /proc/meminfo: memFree=1617408/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=233452 CPUtime=1421.86 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 58238 0 0 0 141813 373 0 0 25 0 1 0 74329498 239054848 56617 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 58363 56617 656 886 0 57473 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 233452 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/67 16544 /proc/meminfo: memFree=1613056/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=237788 CPUtime=1481.84 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 59318 0 0 0 147796 388 0 0 25 0 1 0 74329498 243494912 57697 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 59447 57697 656 886 0 58557 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 237788 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/67 16544 /proc/meminfo: memFree=1610304/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=240528 CPUtime=1541.82 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 59997 0 0 0 153779 403 0 0 25 0 1 0 74329498 246300672 58376 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 60132 58376 656 886 0 59242 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 240528 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/67 16544 /proc/meminfo: memFree=1606464/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=244792 CPUtime=1601.8 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 61068 0 0 0 159759 421 0 0 25 0 1 0 74329498 250667008 59447 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 61198 59447 656 886 0 60308 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 244792 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1603520/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=247384 CPUtime=1661.78 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 61695 0 0 0 165741 437 0 0 25 0 1 0 74329498 253321216 60074 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 61846 60074 656 886 0 60956 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 247384 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1599360/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=251356 CPUtime=1721.76 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 62720 0 0 0 171722 454 0 0 25 0 1 0 74329498 257388544 61099 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 62839 61099 656 886 0 61949 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 251356 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1595008/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=255820 CPUtime=1781.75 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 63795 0 0 0 177706 469 0 0 25 0 1 0 74329498 261959680 62164 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 63955 62164 656 886 0 63065 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 255820 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1595008/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=255820 CPUtime=1784.95 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 63796 0 0 0 178025 470 0 0 25 0 1 0 74329498 261959680 62165 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 63955 62165 656 886 0 63065 0 Current children cumulated CPU time (s) 1784.95 Current children cumulated vsize (KiB) 255820 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1594816/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=255820 CPUtime=1791.35 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 63852 0 0 0 178663 472 0 0 25 0 1 0 74329498 261959680 62221 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 63955 62221 656 886 0 63065 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 255820 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1594752/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=255820 CPUtime=1794.54 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 63860 0 0 0 178982 472 0 0 25 0 1 0 74329498 261959680 62229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 63955 62229 656 886 0 63065 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 255820 [startup+1795.9 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1594752/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=255820 CPUtime=1795.34 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 63860 0 0 0 179061 473 0 0 25 0 1 0 74329498 261959680 62229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16543/statm: 63955 62229 656 886 0 63065 0 Current children cumulated CPU time (s) 1795.34 Current children cumulated vsize (KiB) 255820 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1594752/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=255820 CPUtime=1796.14 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 63864 0 0 0 179141 473 0 0 25 0 1 0 74329498 261959680 62233 1992294400 4194304 7823515 548682068736 18446744073709551615 6899811 0 0 4096 0 0 0 0 17 1 0 0 /proc/16543/statm: 63955 62233 659 886 0 63065 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 255820 [startup+1796.9 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16544 /proc/meminfo: memFree=1594752/2055920 swapFree=4186720/4192956 [pid=16543] ppid=16541 vsize=158664 CPUtime=1796.34 /proc/16543/stat : 16543 (pbscip.linux.x8) R 16541 16543 16175 0 -1 4194304 63867 0 0 0 179159 475 0 0 25 0 1 0 74329498 162471936 38858 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0 /proc/16543/statm: 39666 38858 15336 886 0 38776 0 Current children cumulated CPU time (s) 1796.34 Current children cumulated vsize (KiB) 158664 Child status: 0 Real time (s): 1796.92 CPU time (s): 1796.37 CPU user time (s): 1791.59 CPU system time (s): 4.77427 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 255820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.59 system time used= 4.77427 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63867 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 4494 runsolver used 2.27065 second user time and 4.27335 second system time The end
Begin job on node40 at 2009-06-17 07:21:01 IDJOB=1870702 IDBENCH=48350 IDSOLVER=683 FILE ID=node40/1870702-1245216061 PBS_JOBID= 9368405 Free space on /tmp= 66560 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_3_80.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-1870702-1245216061/watcher-1870702-1245216061 -o /tmp/evaluation-result-1870702-1245216061/solver-1870702-1245216061 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870702-1245216061.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6671ed3c9b389a2223dba62c8a435d2e RANDOM SEED=1062253511 node40.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.216 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.216 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: 1843048 kB Buffers: 26604 kB Cached: 112428 kB SwapCached: 2884 kB Active: 66116 kB Inactive: 84300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843048 kB SwapTotal: 4192956 kB SwapFree: 4186720 kB Dirty: 10256 kB Writeback: 0 kB Mapped: 18444 kB Slab: 48252 kB Committed_AS: 72524 kB PageTables: 1472 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= 66552 MiB End job on node40 at 2009-06-17 07:50:58