Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? (TO) | 1801.61 | 1802.15 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-95-90.opb |
MD5SUM | c091cfcc7e8a81cbf9f64a24634c61f3 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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 | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8550 |
Total number of constraints | 401945 |
Number of constraints which are clauses | 401945 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 90 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 91 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
5.29/5.37 c SCIP version 1.1.0.7 5.29/5.37 c LP-Solver SoPlex 1.4.1 5.29/5.37 c user parameter file <scip.set> not found - using default parameters 5.29/5.37 c read problem <HOME/instance-1883991-1245239926.opb> 5.29/5.37 c original problem has 8550 variables (8550 bin, 0 int, 0 impl, 0 cont) and 401945 constraints 6.19/6.20 c No objective function, only one solution is needed. 6.19/6.20 c start presolving problem 6.19/6.20 c presolving: 10.39/10.43 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 401945 upgd conss, 803700 impls, 0 clqs 10.99/11.01 c presolving (2 rounds): 10.99/11.01 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 10.99/11.01 c 803700 implications, 0 cliques 10.99/11.01 c presolved problem has 8550 variables (8550 bin, 0 int, 0 impl, 0 cont) and 401945 constraints 10.99/11.01 c 401945 constraints of type <logicor> 10.99/11.01 c transformed objective value is always integral (scale: 1) 10.99/11.01 c Presolving Time: 3.87 10.99/11.01 c PURESAT 10.99/11.01 c ----------------------------------------------------------------------------------------------- 10.99/11.01 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 0] 10.99/11.01 c separating/flowcover/freq = c -1 10.99/11.01 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 0] 10.99/11.01 c separating/cmir/freq = c -1 10.99/11.01 c # additional number of allowed LP iterations 10.99/11.01 c # [type: int, range: [0,2147483647], default: 1000] 10.99/11.01 c heuristics/veclendiving/maxlpiterofs = c 1500 10.99/11.01 c # maximal fraction of diving LP iterations compared to node LP iterations 10.99/11.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.99/11.01 c heuristics/veclendiving/maxlpiterquot = c 0.075 10.99/11.01 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 10] 10.99/11.01 c heuristics/veclendiving/freq = c -1 10.99/11.01 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 1] 10.99/11.01 c heuristics/simplerounding/freq = c -1 10.99/11.01 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 10] 10.99/11.01 c heuristics/shifting/freq = c -1 10.99/11.01 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 1] 10.99/11.01 c heuristics/rounding/freq = c -1 10.99/11.01 c # additional number of allowed LP iterations 10.99/11.01 c # [type: int, range: [0,2147483647], default: 1000] 10.99/11.01 c heuristics/rootsoldiving/maxlpiterofs = c 1500 10.99/11.01 c # maximal fraction of diving LP iterations compared to node LP iterations 10.99/11.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 10.99/11.01 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 10.99/11.01 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 20] 10.99/11.01 c heuristics/rootsoldiving/freq = c -1 10.99/11.01 c # number of nodes added to the contingent of the total nodes 10.99/11.01 c # [type: longint, range: [0,9223372036854775807], default: 500] 10.99/11.01 c heuristics/rens/nodesofs = c 2000 10.99/11.01 c # minimum percentage of integer variables that have to be fixable 10.99/11.01 c # [type: real, range: [0,1], default: 0.5] 10.99/11.01 c heuristics/rens/minfixingrate = c 0.3 10.99/11.01 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 0] 10.99/11.01 c heuristics/rens/freq = c -1 10.99/11.01 c # additional number of allowed LP iterations 10.99/11.01 c # [type: int, range: [0,2147483647], default: 1000] 10.99/11.01 c heuristics/pscostdiving/maxlpiterofs = c 1500 10.99/11.01 c # maximal fraction of diving LP iterations compared to node LP iterations 10.99/11.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.99/11.01 c heuristics/pscostdiving/maxlpiterquot = c 0.075 10.99/11.01 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 10] 10.99/11.01 c heuristics/pscostdiving/freq = c -1 10.99/11.01 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 1] 10.99/11.01 c heuristics/oneopt/freq = c -1 10.99/11.01 c # additional number of allowed LP iterations 10.99/11.01 c # [type: int, range: [0,2147483647], default: 1000] 10.99/11.01 c heuristics/objpscostdiving/maxlpiterofs = c 1500 10.99/11.01 c # maximal fraction of diving LP iterations compared to total iteration number 10.99/11.01 c # [type: real, range: [0,1], default: 0.01] 10.99/11.01 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 10.99/11.01 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 20] 10.99/11.01 c heuristics/objpscostdiving/freq = c -1 10.99/11.01 c # additional number of allowed LP iterations 10.99/11.01 c # [type: int, range: [0,2147483647], default: 1000] 10.99/11.01 c heuristics/linesearchdiving/maxlpiterofs = c 1500 10.99/11.01 c # maximal fraction of diving LP iterations compared to node LP iterations 10.99/11.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.99/11.01 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 10.99/11.01 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 10] 10.99/11.01 c heuristics/linesearchdiving/freq = c -1 10.99/11.01 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 10] 10.99/11.01 c heuristics/intshifting/freq = c -1 10.99/11.01 c # maximal fraction of diving LP iterations compared to node LP iterations 10.99/11.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.99/11.01 c heuristics/intdiving/maxlpiterquot = c 0.075 10.99/11.01 c # additional number of allowed LP iterations 10.99/11.01 c # [type: int, range: [0,2147483647], default: 1000] 10.99/11.01 c heuristics/guideddiving/maxlpiterofs = c 1500 10.99/11.01 c # maximal fraction of diving LP iterations compared to node LP iterations 10.99/11.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.99/11.01 c heuristics/guideddiving/maxlpiterquot = c 0.075 10.99/11.01 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 10] 10.99/11.01 c heuristics/guideddiving/freq = c -1 10.99/11.01 c # additional number of allowed LP iterations 10.99/11.01 c # [type: int, range: [0,2147483647], default: 1000] 10.99/11.01 c heuristics/fracdiving/maxlpiterofs = c 1500 10.99/11.01 c # maximal fraction of diving LP iterations compared to node LP iterations 10.99/11.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.99/11.01 c heuristics/fracdiving/maxlpiterquot = c 0.075 10.99/11.01 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 10] 10.99/11.01 c heuristics/fracdiving/freq = c -1 10.99/11.01 c # additional number of allowed LP iterations 10.99/11.01 c # [type: int, range: [0,2147483647], default: 1000] 10.99/11.01 c heuristics/feaspump/maxlpiterofs = c 2000 10.99/11.01 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 20] 10.99/11.01 c heuristics/feaspump/freq = c -1 10.99/11.01 c # minimum percentage of integer variables that have to be fixed 10.99/11.01 c # [type: real, range: [0,1], default: 0.666] 10.99/11.01 c heuristics/crossover/minfixingrate = c 0.5 10.99/11.01 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 10.99/11.01 c # [type: real, range: [0,1], default: 0.1] 10.99/11.01 c heuristics/crossover/nodesquot = c 0.15 10.99/11.01 c # number of nodes without incumbent change that heuristic should wait 10.99/11.01 c # [type: longint, range: [0,9223372036854775807], default: 200] 10.99/11.01 c heuristics/crossover/nwaitingnodes = c 100 10.99/11.01 c # number of nodes added to the contingent of the total nodes 10.99/11.01 c # [type: longint, range: [0,9223372036854775807], default: 500] 10.99/11.01 c heuristics/crossover/nodesofs = c 750 10.99/11.01 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 30] 10.99/11.01 c heuristics/crossover/freq = c -1 10.99/11.01 c # additional number of allowed LP iterations 10.99/11.01 c # [type: int, range: [0,2147483647], default: 1000] 10.99/11.01 c heuristics/coefdiving/maxlpiterofs = c 1500 10.99/11.01 c # maximal fraction of diving LP iterations compared to node LP iterations 10.99/11.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 10.99/11.01 c heuristics/coefdiving/maxlpiterquot = c 0.075 10.99/11.01 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: 10] 10.99/11.01 c heuristics/coefdiving/freq = c -1 10.99/11.01 c # priority of node selection rule <dfs> in standard mode 10.99/11.01 c # [type: int, range: [-536870912,536870911], default: 0] 10.99/11.01 c nodeselection/dfs/stdpriority = c 1000000 10.99/11.01 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 10.99/11.01 c # [type: int, range: [-1,2147483647], default: -1] 10.99/11.01 c presolving/probing/maxrounds = c 0 10.99/11.01 c # should presolving try to simplify knapsacks 10.99/11.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 10.99/11.01 c constraints/knapsack/simplifyinequalities = c TRUE 10.99/11.01 c # should disaggregation of knapsack constraints be allowed in preprocessing? 10.99/11.01 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 10.99/11.01 c constraints/knapsack/disaggregation = c FALSE 10.99/11.01 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 10.99/11.04 c # [type: int, range: [-1,2147483647], default: -1] 10.99/11.04 c constraints/knapsack/maxnumcardlift = c 0 10.99/11.04 c # should presolving try to simplify inequalities 10.99/11.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 10.99/11.04 c constraints/linear/simplifyinequalities = c TRUE 10.99/11.04 c # maximal number of separation rounds in the root node (-1: unlimited) 10.99/11.04 c # [type: int, range: [-1,2147483647], default: -1] 10.99/11.04 c separating/maxroundsroot = c 5 10.99/11.04 c # maximal number of separation rounds per node (-1: unlimited) 10.99/11.04 c # [type: int, range: [-1,2147483647], default: 5] 10.99/11.04 c separating/maxrounds = c 1 10.99/11.04 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing) 10.99/11.04 c # [type: char, range: {lafpsqd}, default: l] 10.99/11.04 c lp/pricing = c a 10.99/11.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 10.99/11.04 c # [type: int, range: [-1,2147483647], default: 1] 10.99/11.04 c lp/solvefreq = c 0 10.99/11.04 c # solving stops, if the given number of solutions were found (-1: no limit) 10.99/11.04 c # [type: int, range: [-1,2147483647], default: -1] 10.99/11.05 c limits/solutions = c 1 10.99/11.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 10.99/11.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 10.99/11.05 c limits/memory = c 1620 10.99/11.05 c # maximal time in seconds to run 10.99/11.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 10.99/11.05 c limits/time = c 1791 10.99/11.05 c # frequency for displaying node information lines 10.99/11.05 c # [type: int, range: [-1,2147483647], default: 100] 10.99/11.05 c display/freq = c 10000 10.99/11.05 c # should enforcement of pseudo solution be disabled? 10.99/11.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 10.99/11.05 c constraints/disableenfops = c TRUE 10.99/11.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints) 10.99/11.05 c # [type: int, range: [-1,2147483647], default: 0] 10.99/11.05 c constraints/agelimit = c 1 10.99/11.05 c # should binary conflicts be preferred? 10.99/11.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 10.99/11.05 c conflict/preferbinary = c TRUE 10.99/11.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint) 10.99/11.05 c # [type: int, range: [-1,2147483647], default: -1] 10.99/11.05 c conflict/interconss = c 0 10.99/11.05 c ----------------------------------------------------------------------------------------------- 10.99/11.05 c start solving problem 10.99/11.05 c 14.78/14.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 14.78/14.89 c 8.0s| 1 | 0 | 190 | 461M| 0 | 190 |8550 | 401k| 401k|8550 | 401k| 0 | 0 | 0 | 9.500000e+01 | -- | Inf 37.67/37.76 c 30.3s| 1 | 0 | 1084 | 461M| 0 | 104 |8550 | 401k| 401k|8550 | 401k| 3 | 0 | 0 | 9.500000e+01 | -- | Inf 53.17/53.28 c 45.8s| 1 | 0 | 1273 | 462M| 0 | 121 |8550 | 401k| 401k|8550 | 401k| 18 | 0 | 0 | 9.500000e+01 | -- | Inf 89.07/89.17 c 81.6s| 1 | 0 | 2805 | 462M| 0 | 109 |8550 | 401k| 401k|8550 | 401k| 30 | 0 | 0 | 9.500000e+01 | -- | Inf 112.45/112.59 c 105s| 1 | 0 | 3382 | 462M| 0 | 82 |8550 | 401k| 401k|8550 | 401k| 41 | 0 | 0 | 9.500000e+01 | -- | Inf 139.03/139.10 c 131s| 1 | 0 | 3740 | 462M| 0 | 98 |8550 | 401k| 401k|8550 | 401k| 51 | 0 | 0 | 9.500000e+01 | -- | Inf 313.49/313.63 c 306s| 1 | 2 | 3740 | 462M| 0 | 98 |8550 | 401k| 401k|8550 | 401k| 51 | 0 | 33 | 9.500000e+01 | -- | Inf 429.96/430.18 c 422s| 10000 | 5435 | 3740 | 470M|5468 | - |8550 | 401k| 364k| 0 | 0 | 51 |2929 | 33 | 9.500000e+01 | -- | Inf 623.40/623.69 c 615s| 20000 | 5433 | 3740 | 470M|5468 | - |8550 | 401k| 364k| 0 | 0 | 51 |9321 | 33 | 9.500000e+01 | -- | Inf 821.54/821.81 c 812s| 30000 | 5433 | 3740 | 470M|5468 | - |8550 | 401k| 364k| 0 | 0 | 51 | 15k| 33 | 9.500000e+01 | -- | Inf 1020.78/1021.16 c 1011s| 40000 | 5425 | 3740 | 470M|5468 | - |8550 | 401k| 364k| 0 | 0 | 51 | 22k| 33 | 9.500000e+01 | -- | Inf 1219.92/1220.30 c 1210s| 50000 | 5424 | 3740 | 470M|5468 | - |8550 | 401k| 363k| 0 | 0 | 51 | 28k| 33 | 9.500000e+01 | -- | Inf 1413.56/1414.09 c 1403s| 60000 | 5420 | 3740 | 470M|5468 | - |8550 | 401k| 364k| 0 | 0 | 51 | 35k| 33 | 9.500000e+01 | -- | Inf 1602.80/1603.32 c 1592s| 70000 | 5422 | 3740 | 470M|5468 | - |8550 | 401k| 363k| 0 | 0 | 51 | 41k| 33 | 9.500000e+01 | -- | Inf 1786.55/1787.19 c 1775s| 80000 | 5414 | 3740 | 470M|5468 | - |8550 | 401k| 363k| 0 | 0 | 51 | 47k| 33 | 9.500000e+01 | -- | Inf 1800.05/1800.61 c 1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.61 c Solving Time (sec) : 1788.62 1800.05/1800.61 c Solving Nodes : 80799 1800.05/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.05/1800.61 c Dual Bound : +9.50000000000000e+01 1800.05/1800.61 c Gap : infinite 1800.05/1800.61 c NODE 80799 1800.05/1800.61 c DUAL BOUND 95 1800.05/1800.61 c PRIMAL BOUND 1e+20 1800.05/1800.61 c GAP 1e+20 1800.05/1800.61 s UNKNOWN 1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.61 c Solving Time : 1788.62 1800.05/1800.61 c Original Problem : 1800.05/1800.61 c Problem name : HOME/instance-1883991-1245239926.opb 1800.05/1800.61 c Variables : 8550 (8550 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.61 c Constraints : 401945 initial, 401945 maximal 1800.05/1800.61 c Presolved Problem : 1800.05/1800.61 c Problem name : t_HOME/instance-1883991-1245239926.opb 1800.05/1800.61 c Variables : 8550 (8550 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.61 c Constraints : 401945 initial, 402002 maximal 1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.61 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.61 c implics : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.61 c logicor : 0.98 0 0 0 0 0 0 0 0 1800.05/1800.61 c root node : - 0 - - 0 - - - - 1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2 1800.05/1800.61 c logicor : 401945+ 5 585539 0 0 46131 2400225 0 0 0 1800.05/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.61 c integral : 174.23 0.00 0.00 174.23 0.00 1800.05/1800.61 c logicor : 493.12 0.22 492.90 0.00 0.00 1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.61 c rootredcost : 0.54 0 0 0 1800.05/1800.61 c pseudoobj : 886.64 642545 0 0 1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.61 c propagation : 396.26 46131 46131 46131 1285.5 3474 686.5 - 1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.05/1800.61 c applied globally : - - - 10412 464.2 - - - 1800.05/1800.61 c applied locally : - - - 38026 1449.1 - - - 1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.61 c cut pool : 0.00 4 - - 1 - (maximal pool size: 141) 1800.05/1800.61 c redcost : 0.00 5 0 0 0 0 1800.05/1800.61 c impliedbounds : 0.01 5 0 0 0 0 1800.05/1800.61 c intobj : 0.00 0 0 0 0 0 1800.05/1800.61 c gomory : 27.29 5 0 0 2190 0 1800.05/1800.61 c strongcg : 27.10 5 0 0 2190 0 1800.05/1800.61 c cmir : 0.00 0 0 0 0 0 1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0 1800.05/1800.61 c clique : 1.75 5 0 0 18 0 1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.61 c mcf : 2.73 1 0 0 0 0 1800.05/1800.61 c Pricers : Time Calls Vars 1800.05/1800.61 c problem variables: 0.00 0 0 1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.61 c relpscost : 174.23 1 0 0 0 0 2 1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.61 c inference : 12.83 57590 0 0 0 0 115180 1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.61 c random : 0.00 0 0 0 0 0 0 1800.05/1800.61 c Primal Heuristics : Time Calls Found 1800.05/1800.61 c LP solutions : 0.00 - 0 1800.05/1800.61 c pseudo solutions : 0.00 - 0 1800.05/1800.61 c simplerounding : 0.00 0 0 1800.05/1800.61 c rounding : 0.00 0 0 1800.05/1800.61 c shifting : 0.00 0 0 1800.05/1800.61 c intshifting : 0.00 0 0 1800.05/1800.61 c oneopt : 0.00 0 0 1800.05/1800.61 c fixandinfer : 0.00 0 0 1800.05/1800.61 c feaspump : 0.00 0 0 1800.05/1800.61 c coefdiving : 0.00 0 0 1800.05/1800.61 c pscostdiving : 0.00 0 0 1800.05/1800.61 c fracdiving : 0.00 0 0 1800.05/1800.61 c veclendiving : 0.00 0 0 1800.05/1800.61 c intdiving : 0.00 0 0 1800.05/1800.61 c actconsdiving : 0.00 0 0 1800.05/1800.61 c objpscostdiving : 0.00 0 0 1800.05/1800.61 c rootsoldiving : 0.00 0 0 1800.05/1800.61 c linesearchdiving : 0.00 0 0 1800.05/1800.61 c guideddiving : 0.00 0 0 1800.05/1800.61 c octane : 0.00 0 0 1800.05/1800.61 c rens : 0.00 0 0 1800.05/1800.61 c rins : 0.00 0 0 1800.05/1800.61 c localbranching : 0.00 0 0 1800.05/1800.61 c mutation : 0.00 0 0 1800.05/1800.61 c crossover : 0.00 0 0 1800.05/1800.61 c dins : 0.00 0 0 1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.61 c primal LP : 0.22 0 0 0.00 0.00 1800.05/1800.61 c dual LP : 65.54 6 3740 623.33 57.06 1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 - 1800.05/1800.61 c strong branching : 174.23 33 5288 160.24 30.35 1800.05/1800.61 c (at root node) : - 33 5288 160.24 - 1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.61 c B&B Tree : 1800.05/1800.61 c number of runs : 1 1800.05/1800.61 c nodes : 80799 1800.05/1800.61 c nodes (total) : 80799 1800.05/1800.61 c nodes left : 5420 1800.05/1800.61 c max depth : 5468 1800.05/1800.61 c max depth (total): 5468 1800.05/1800.61 c backtracks : 25770 (31.9%) 1800.05/1800.61 c delayed cutoffs : 28964 1800.05/1800.61 c repropagations : 63320 (1196659 domain reductions, 22923 cutoffs) 1800.05/1800.61 c avg switch length: 2.47 1800.05/1800.61 c switching time : 45.74 1800.05/1800.61 c Solution : 1800.05/1800.61 c Solutions found : 0 (0 improvements) 1800.05/1800.61 c Primal Bound : - 1800.05/1800.61 c Dual Bound : +9.50000000000000e+01 1800.05/1800.61 c Gap : infinite 1800.05/1800.61 c Root Dual Bound : +9.50000000000000e+01 1801.54/1802.15 c Time complete: 1801.6.
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-1883991-1245239926/watcher-1883991-1245239926 -o /tmp/evaluation-result-1883991-1245239926/solver-1883991-1245239926 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1883991-1245239926.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 0.93 3/64 9843 /proc/meminfo: memFree=1764544/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=4648 CPUtime=0 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 499 0 0 0 0 0 0 0 18 0 1 0 8322076 4759552 484 1992294400 4194304 7823515 548682068736 18446744073709551615 5976930 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 1082 485 320 886 0 192 0 [startup+0.02806 s] /proc/loadavg: 1.00 1.00 0.93 3/64 9843 /proc/meminfo: memFree=1764544/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=13488 CPUtime=0.01 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 2680 0 0 0 1 0 0 0 18 0 1 0 8322076 13811712 2662 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 3372 2662 351 886 0 2482 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13488 [startup+0.101071 s] /proc/loadavg: 1.00 1.00 0.93 3/64 9843 /proc/meminfo: memFree=1764544/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=17780 CPUtime=0.09 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 3762 0 0 0 8 1 0 0 18 0 1 0 8322076 18206720 3744 1992294400 4194304 7823515 548682068736 18446744073709551615 6908089 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 4445 3744 351 886 0 3555 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17780 [startup+0.301099 s] /proc/loadavg: 1.00 1.00 0.93 3/64 9843 /proc/meminfo: memFree=1764544/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=23392 CPUtime=0.29 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 5153 0 0 0 28 1 0 0 19 0 1 0 8322076 23953408 5135 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 5848 5135 351 886 0 4958 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23392 [startup+0.701156 s] /proc/loadavg: 1.00 1.00 0.93 3/64 9843 /proc/meminfo: memFree=1764544/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=33292 CPUtime=0.69 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 7653 0 0 0 66 3 0 0 22 0 1 0 8322076 34091008 7635 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 8323 7635 351 886 0 7433 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33292 [startup+1.50127 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9844 /proc/meminfo: memFree=1727672/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=54112 CPUtime=1.49 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 12863 0 0 0 144 5 0 0 25 0 1 0 8322076 55410688 12845 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 13528 12845 351 886 0 12638 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 54112 [startup+3.1015 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9844 /proc/meminfo: memFree=1699640/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=94892 CPUtime=3.09 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 23058 0 0 0 299 10 0 0 25 0 1 0 8322076 97169408 23040 1992294400 4194304 7823515 548682068736 18446744073709551615 6896752 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 23723 23040 351 886 0 22833 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 94892 [startup+6.30197 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9844 /proc/meminfo: memFree=1608448/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=362772 CPUtime=6.29 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 90067 0 0 0 591 38 0 0 25 0 1 0 8322076 371478528 89695 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 90693 89695 417 886 0 89803 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 362772 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9844 /proc/meminfo: memFree=1239232/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=706268 CPUtime=12.69 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 190827 0 0 0 1113 156 0 0 25 0 1 0 8322076 723218432 169081 1992294400 4194304 7823515 548682068736 18446744073709551615 5994958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 176567 169081 480 886 0 175677 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 706268 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9844 /proc/meminfo: memFree=974848/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=824056 CPUtime=25.49 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 226322 0 0 0 2330 219 0 0 25 0 1 0 8322076 843833344 197483 1992294400 4194304 7823515 548682068736 18446744073709551615 6109344 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 206014 197483 531 886 0 205124 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 824056 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9844 /proc/meminfo: memFree=960512/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=836456 CPUtime=51.07 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 234239 0 0 0 4884 223 0 0 25 0 1 0 8322076 856530944 201012 1992294400 4194304 7823515 548682068736 18446744073709551615 6212699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 209114 201012 533 886 0 208224 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 836456 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9844 /proc/meminfo: memFree=924288/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=899544 CPUtime=102.26 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 244195 0 0 0 9993 233 0 0 25 0 1 0 8322076 921133056 210096 1992294400 4194304 7823515 548682068736 18446744073709551615 6211142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 224886 210096 533 886 0 223996 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 899544 [startup+162.302 s] /proc/loadavg: 1.05 1.01 0.93 2/65 9850 /proc/meminfo: memFree=944384/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=859084 CPUtime=162.23 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 253046 0 0 0 15981 242 0 0 25 0 1 0 8322076 879702016 205002 1992294400 4194304 7823515 548682068736 18446744073709551615 6110644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 214771 205002 536 886 0 213881 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 859084 [startup+222.301 s] /proc/loadavg: 1.02 1.01 0.93 2/65 9850 /proc/meminfo: memFree=944384/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=856144 CPUtime=222.21 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 268788 0 0 0 21970 251 0 0 25 0 1 0 8322076 876691456 205000 1992294400 4194304 7823515 548682068736 18446744073709551615 6212330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 214036 205000 536 886 0 213146 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 856144 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=942784/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=859716 CPUtime=282.2 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 285945 0 0 0 27961 259 0 0 25 0 1 0 8322076 880349184 205246 1992294400 4194304 7823515 548682068736 18446744073709551615 6110647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 214929 205246 536 886 0 214039 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 859716 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=944384/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=852984 CPUtime=342.18 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 294066 0 0 0 33947 271 0 0 25 0 1 0 8322076 873455616 204971 1992294400 4194304 7823515 548682068736 18446744073709551615 5751971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 213246 204971 545 886 0 212356 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 852984 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=939968/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=858940 CPUtime=402.16 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 295292 0 0 0 39930 286 0 0 25 0 1 0 8322076 879554560 206197 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 214735 206197 545 886 0 213845 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 858940 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=930496/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=870076 CPUtime=462.14 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 297568 0 0 0 45911 303 0 0 25 0 1 0 8322076 890957824 208473 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 217519 208473 545 886 0 216629 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 870076 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=926272/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=875084 CPUtime=522.12 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 298616 0 0 0 51894 318 0 0 25 0 1 0 8322076 896086016 209521 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 218771 209521 545 886 0 217881 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 875084 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=922944/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=879168 CPUtime=582.1 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 299464 0 0 0 57878 332 0 0 25 0 1 0 8322076 900268032 210369 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 219792 210369 545 886 0 218902 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 879168 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=920768/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=881488 CPUtime=642.09 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 299999 0 0 0 63864 345 0 0 25 0 1 0 8322076 902643712 210904 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 220372 210904 545 886 0 219482 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 881488 [startup+702.302 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=909632/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=894716 CPUtime=1061.96 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 302754 0 0 0 105751 445 0 0 25 0 1 0 8322076 916189184 213659 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 223679 213659 545 886 0 222789 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 894716 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=908544/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=896108 CPUtime=1121.95 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 303026 0 0 0 111734 461 0 0 25 0 1 0 8322076 917614592 213931 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 224027 213931 545 886 0 223137 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 896108 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=907520/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=897384 CPUtime=1181.93 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 303278 0 0 0 117718 475 0 0 25 0 1 0 8322076 918921216 214183 1992294400 4194304 7823515 548682068736 18446744073709551615 4831908 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 224346 214183 545 886 0 223456 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 897384 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=906624/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=898572 CPUtime=1241.91 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 303487 0 0 0 123701 490 0 0 25 0 1 0 8322076 920137728 214392 1992294400 4194304 7823515 548682068736 18446744073709551615 5102837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 224643 214392 545 886 0 223753 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 898572 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=905536/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=899724 CPUtime=1301.9 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 303756 0 0 0 129684 506 0 0 25 0 1 0 8322076 921317376 214661 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 224931 214661 545 886 0 224041 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 899724 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=905280/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=900000 CPUtime=1361.88 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 303825 0 0 0 135670 518 0 0 25 0 1 0 8322076 921600000 214730 1992294400 4194304 7823515 548682068736 18446744073709551615 5751988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 225000 214730 545 886 0 224110 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 900000 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=904576/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=900720 CPUtime=1421.86 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 303996 0 0 0 141654 532 0 0 25 0 1 0 8322076 922337280 214901 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 225180 214901 545 886 0 224290 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 900720 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=903744/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=901760 CPUtime=1481.84 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 304199 0 0 0 147638 546 0 0 25 0 1 0 8322076 923402240 215104 1992294400 4194304 7823515 548682068736 18446744073709551615 4562405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 225440 215104 545 886 0 224550 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 901760 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=903296/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=902476 CPUtime=1541.83 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 304312 0 0 0 153620 563 0 0 25 0 1 0 8322076 924135424 215217 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 225619 215217 545 886 0 224729 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 902476 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=902912/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=902980 CPUtime=1601.8 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 304425 0 0 0 159604 576 0 0 25 0 1 0 8322076 924651520 215330 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 225745 215330 545 886 0 224855 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 902980 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=901312/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=904720 CPUtime=1661.78 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 304799 0 0 0 165588 590 0 0 25 0 1 0 8322076 926433280 215704 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 226180 215704 545 886 0 225290 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 904720 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=900608/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=905460 CPUtime=1721.77 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 304964 0 0 0 171572 605 0 0 25 0 1 0 8322076 927191040 215869 1992294400 4194304 7823515 548682068736 18446744073709551615 5432963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 226365 215869 545 886 0 225475 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 905460 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=899968/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=906084 CPUtime=1781.75 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 305112 0 0 0 177557 618 0 0 25 0 1 0 8322076 927830016 216017 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 226521 216017 545 886 0 225631 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 906084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=899648/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=906440 CPUtime=1800.05 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 305190 0 0 0 179382 623 0 0 25 0 1 0 8322076 928194560 216095 1992294400 4194304 7823515 548682068736 18446744073709551615 5432883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9843/statm: 226610 216095 545 886 0 225720 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 906440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.93 2/65 9850 /proc/meminfo: memFree=899648/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=906828 CPUtime=1800.85 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 305292 0 0 0 179462 623 0 0 25 0 1 0 8322076 928591872 216197 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 226707 216197 550 886 0 225817 0 Current children cumulated CPU time (s) 1800.85 Current children cumulated vsize (KiB) 906828 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 0.93 2/66 9851 /proc/meminfo: memFree=899192/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=903672 CPUtime=1801.25 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 305293 0 0 0 179502 623 0 0 25 0 1 0 8322076 925360128 215412 1992294400 4194304 7823515 548682068736 18446744073709551615 5875825 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 225918 215412 551 886 0 225028 0 Current children cumulated CPU time (s) 1801.25 Current children cumulated vsize (KiB) 903672 [startup+1802 s] /proc/loadavg: 1.00 1.00 0.93 2/66 9851 /proc/meminfo: memFree=899192/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=630860 CPUtime=1801.45 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 305293 0 0 0 179518 627 0 0 25 0 1 0 8322076 646000640 155746 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 157715 155746 551 886 0 156825 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 630860 [startup+1802.1 s] /proc/loadavg: 1.00 1.00 0.93 2/66 9851 /proc/meminfo: memFree=899192/2055920 swapFree=4192956/4192956 [pid=9843] ppid=9841 vsize=404784 CPUtime=1801.54 /proc/9843/stat : 9843 (pbscip.linux.x8) R 9841 9843 9726 0 -1 4194304 305293 0 0 0 179523 631 0 0 25 0 1 0 8322076 414498816 100775 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0 /proc/9843/statm: 101196 100775 18261 886 0 100306 0 Current children cumulated CPU time (s) 1801.54 Current children cumulated vsize (KiB) 404784 Child status: 0 Real time (s): 1802.15 CPU time (s): 1801.61 CPU user time (s): 1795.24 CPU system time (s): 6.36603 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 912104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.24 system time used= 6.36603 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 305297 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= 2601 runsolver used 1.36679 second user time and 3.82542 second system time The end
Begin job on node30 at 2009-06-17 13:58:46 IDJOB=1883991 IDBENCH=2596 IDSOLVER=683 FILE ID=node30/1883991-1245239926 PBS_JOBID= 9372308 Free space on /tmp= 66208 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/roussel/normalized-pigeon-clauses-95-90.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-1883991-1245239926/watcher-1883991-1245239926 -o /tmp/evaluation-result-1883991-1245239926/solver-1883991-1245239926 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1883991-1245239926.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c091cfcc7e8a81cbf9f64a24634c61f3 RANDOM SEED=1696510975 node30.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.273 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.273 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: 1764960 kB Buffers: 36440 kB Cached: 196732 kB SwapCached: 0 kB Active: 38056 kB Inactive: 208028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1764960 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 20008 kB Writeback: 0 kB Mapped: 22688 kB Slab: 30960 kB Committed_AS: 78140 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66200 MiB End job on node30 at 2009-06-17 14:28:49