Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.19 | 1800.8 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb |
MD5SUM | d54e874b22823be807136681f90fbed4 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.043993 |
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 | 2400 |
Total number of constraints | 1720 |
Number of constraints which are clauses | 1640 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 40 |
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 | 41 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.01 c 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c reading problem <HOME/instance-2665940-1276326222.opb> 0.04/0.10 c original problem has 2400 variables (2400 bin, 0 int, 0 impl, 0 cont) and 1720 constraints 0.04/0.10 c problem read 0.04/0.10 c No objective function, only one solution is needed. 0.09/0.10 c presolving settings loaded 0.09/0.14 c presolving: 0.19/0.22 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1720 upgd conss, 0 impls, 80 clqs 0.19/0.25 c presolving (2 rounds): 0.19/0.25 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.19/0.25 c 0 implications, 80 cliques 0.19/0.25 c presolved problem has 2400 variables (2400 bin, 0 int, 0 impl, 0 cont) and 1720 constraints 0.19/0.25 c 80 constraints of type <setppc> 0.19/0.25 c 1640 constraints of type <logicor> 0.19/0.25 c transformed objective value is always integral (scale: 1) 0.19/0.25 c Presolving Time: 0.11 0.19/0.25 c - non default parameters ---------------------------------------------------------------------- 0.19/0.25 c # SCIP version 1.2.1.2 0.19/0.25 c 0.19/0.25 c # frequency for displaying node information lines 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100] 0.19/0.25 c display/freq = 10000 0.19/0.25 c 0.19/0.25 c # maximal time in seconds to run 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.19/0.25 c limits/time = 1799.91 0.19/0.25 c 0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.19/0.25 c limits/memory = 1620 0.19/0.25 c 0.19/0.25 c # solving stops, if the given number of solutions were found (-1: no limit) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.25 c limits/solutions = 1 0.19/0.25 c 0.19/0.25 c # maximal number of separation rounds per node (-1: unlimited) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 5] 0.19/0.25 c separating/maxrounds = 1 0.19/0.25 c 0.19/0.25 c # maximal number of separation rounds in the root node (-1: unlimited) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.25 c separating/maxroundsroot = 5 0.19/0.25 c 0.19/0.25 c # should presolving try to simplify inequalities 0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.19/0.25 c constraints/linear/simplifyinequalities = TRUE 0.19/0.25 c 0.19/0.25 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.19/0.25 c constraints/knapsack/disaggregation = FALSE 0.19/0.25 c 0.19/0.25 c # should presolving try to simplify knapsacks 0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE 0.19/0.25 c 0.19/0.25 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.25 c presolving/probing/maxrounds = 0 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/coefdiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/coefdiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/coefdiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 30] 0.19/0.25 c heuristics/crossover/freq = -1 0.19/0.25 c 0.19/0.25 c # number of nodes added to the contingent of the total nodes 0.19/0.25 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.19/0.25 c heuristics/crossover/nodesofs = 750 0.19/0.25 c 0.19/0.25 c # number of nodes without incumbent change that heuristic should wait 0.19/0.25 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.19/0.25 c heuristics/crossover/nwaitingnodes = 100 0.19/0.25 c 0.19/0.25 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.19/0.25 c # [type: real, range: [0,1], default: 0.1] 0.19/0.25 c heuristics/crossover/nodesquot = 0.15 0.19/0.25 c 0.19/0.25 c # minimum percentage of integer variables that have to be fixed 0.19/0.25 c # [type: real, range: [0,1], default: 0.666] 0.19/0.25 c heuristics/crossover/minfixingrate = 0.5 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 20] 0.19/0.25 c heuristics/feaspump/freq = -1 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/feaspump/maxlpiterofs = 2000 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/fracdiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/fracdiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/fracdiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/guideddiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/guideddiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/guideddiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/intdiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/intshifting/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/linesearchdiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/nlp/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 20] 0.19/0.25 c heuristics/objpscostdiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to total iteration number 0.19/0.25 c # [type: real, range: [0,1], default: 0.01] 0.19/0.25 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/oneopt/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/pscostdiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/pscostdiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.25 c heuristics/rens/freq = -1 0.19/0.25 c 0.19/0.25 c # minimum percentage of integer variables that have to be fixable 0.19/0.25 c # [type: real, range: [0,1], default: 0.5] 0.19/0.25 c heuristics/rens/minfixingrate = 0.3 0.19/0.25 c 0.19/0.25 c # number of nodes added to the contingent of the total nodes 0.19/0.25 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.19/0.25 c heuristics/rens/nodesofs = 2000 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 20] 0.19/0.25 c heuristics/rootsoldiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.19/0.25 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/rounding/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/shifting/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/simplerounding/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.25 c heuristics/trivial/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/trysol/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.25 c heuristics/veclendiving/freq = -1 0.19/0.25 c 0.19/0.25 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.25 c heuristics/veclendiving/maxlpiterquot = 0.075 0.19/0.25 c 0.19/0.25 c # additional number of allowed LP iterations 0.19/0.25 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.25 c heuristics/veclendiving/maxlpiterofs = 1500 0.19/0.25 c 0.19/0.25 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.25 c heuristics/zirounding/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.25 c separating/cmir/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.25 c separating/flowcover/freq = -1 0.19/0.25 c 0.19/0.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.25 c separating/rapidlearning/freq = 0 0.19/0.25 c 0.19/0.25 c ----------------------------------------------------------------------------------------------- 0.19/0.25 c start solving 0.19/0.25 c 0.29/0.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.29/0.40 c 0.3s| 1 | 0 | 341 | - | 10M| 0 | 280 |2400 |1720 |2400 |1720 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.88 c 0.7s| 1 | 0 | 742 | - | 10M| 0 | 323 |2400 |1720 |2400 |1740 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 1.10/1.16 c 1.0s| 1 | 0 | 1189 | - | 10M| 0 | 322 |2400 |1720 |2400 |1762 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.48 c 1.3s| 1 | 0 | 1684 | - | 10M| 0 | 330 |2400 |1720 |2400 |1787 | 67 | 0 | 0 | 0.000000e+00 | -- | Inf 2.39/2.44 c 2.2s| 1 | 0 | 3330 | - | 11M| 0 | 806 |2400 |1720 |2400 |1815 | 95 | 0 | 0 | 0.000000e+00 | -- | Inf 3.30/3.37 c 3.2s| 1 | 0 | 4833 | - | 11M| 0 | 773 |2400 |1720 |2400 |1829 | 109 | 0 | 0 | 0.000000e+00 | -- | Inf 5.69/5.74 c 5.5s| 1 | 2 | 4833 | - | 11M| 0 | 773 |2400 |1720 |2400 |1829 | 109 | 0 | 33 | 0.000000e+00 | -- | Inf 195.83/195.96 c 188s| 10000 | 283 |215545 | 21.1 | 16M| 100 | - |2400 |5923 | 0 | 0 | 109 | 19k|2627 | 0.000000e+00 | -- | Inf 325.88/326.02 c 312s| 20000 | 326 |441435 | 21.8 | 18M| 100 | 154 |2400 |8094 |2400 |1785 | 109 | 41k|3468 | 0.000000e+00 | -- | Inf 445.94/446.19 c 426s| 30000 | 290 |641680 | 21.2 | 17M| 100 | - |2400 |5782 |2400 |1785 | 109 | 63k|4203 | 0.000000e+00 | -- | Inf 557.80/558.03 c 533s| 40000 | 284 |831038 | 20.7 | 19M| 100 | 150 |2400 |8898 |2400 |1785 | 109 | 82k|4661 | 0.000000e+00 | -- | Inf 674.56/674.88 c 644s| 50000 | 277 | 1023k| 20.4 | 19M| 100 | 159 |2400 |8123 |2400 |1785 | 109 | 103k|5202 | 0.000000e+00 | -- | Inf 783.63/783.93 c 748s| 60000 | 274 | 1208k| 20.1 | 20M| 100 | - |2400 |9798 |2400 |1785 | 109 | 123k|5455 | 0.000000e+00 | -- | Inf 907.19/907.57 c 866s| 70000 | 278 | 1427k| 20.3 | 23M| 100 | - |2400 | 12k| 0 | 0 | 109 | 144k|5893 | 0.000000e+00 | -- | Inf 1017.85/1018.26 c 971s| 80000 | 274 | 1599k| 19.9 | 21M| 100 | 154 |2400 | 11k|2400 |1785 | 109 | 162k|6257 | 0.000000e+00 | -- | Inf 1129.01/1129.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1129.01/1129.47 c 1077s| 90000 | 272 | 1771k| 19.6 | 21M| 100 | - |2400 | 11k| 0 | 0 | 109 | 182k|6680 | 0.000000e+00 | -- | Inf 1244.07/1244.59 c 1187s|100000 | 282 | 1952k| 19.5 | 22M| 100 | - |2400 | 11k| 0 | 0 | 109 | 202k|7036 | 0.000000e+00 | -- | Inf 1365.13/1365.65 c 1303s|110000 | 303 | 2124k| 19.3 | 19M| 100 | 153 |2400 |7593 |2400 |1785 | 109 | 222k|8084 | 0.000000e+00 | -- | Inf 1478.09/1478.69 c 1410s|120000 | 306 | 2323k| 19.3 | 22M| 100 | 148 |2400 | 11k|2400 |1785 | 109 | 243k|8222 | 0.000000e+00 | -- | Inf 1589.86/1590.49 c 1517s|130000 | 293 | 2507k| 19.3 | 20M| 100 | 166 |2400 |8601 |2400 |1785 | 109 | 262k|8482 | 0.000000e+00 | -- | Inf 1695.12/1695.74 c 1617s|140000 | 289 | 2667k| 19.0 | 21M| 100 | - |2400 | 10k|2400 |1785 | 109 | 281k|8839 | 0.000000e+00 | -- | Inf 1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.10/1800.71 c 1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.10/1800.71 c Solving Time (sec) : 1717.59 1800.10/1800.71 c Solving Nodes : 149438 1800.10/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.10/1800.71 c Dual Bound : +0.00000000000000e+00 1800.10/1800.71 c Gap : infinite 1800.10/1800.71 s UNKNOWN 1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.10/1800.71 c Solving Time : 1717.59 1800.10/1800.71 c Original Problem : 1800.10/1800.71 c Problem name : HOME/instance-2665940-1276326222.opb 1800.10/1800.71 c Variables : 2400 (2400 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.10/1800.71 c Constraints : 1720 initial, 1720 maximal 1800.10/1800.71 c Presolved Problem : 1800.10/1800.71 c Problem name : t_HOME/instance-2665940-1276326222.opb 1800.10/1800.71 c Variables : 2400 (2400 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.10/1800.71 c Constraints : 1720 initial, 15356 maximal 1800.10/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.10/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.71 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.10/1800.71 c logicor : 0.04 0 0 0 0 0 0 0 0 1800.10/1800.71 c root node : - 0 - - 0 - - - - 1800.10/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.10/1800.71 c integral : 0 0 0 85477 0 14 251 0 0 170640 1800.10/1800.71 c setppc : 80 5 558781 0 0 37105 3374266 0 0 0 1800.10/1800.71 c logicor : 1640+ 5 298791 0 0 17638 781418 0 0 0 1800.10/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.10/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.10/1800.71 c integral : 174.72 0.00 0.00 174.72 0.00 1800.10/1800.71 c setppc : 38.14 0.00 38.14 0.00 0.00 1800.10/1800.71 c logicor : 103.96 0.00 103.96 0.00 0.00 1800.10/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.10/1800.71 c Propagators : Time Calls Cutoffs DomReds 1800.10/1800.71 c vbounds : 0.46 1 0 0 1800.10/1800.71 c rootredcost : 0.34 0 0 0 1800.10/1800.71 c pseudoobj : 0.30 0 0 0 1800.10/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.10/1800.71 c propagation : 33.25 54743 54740 981300 94.4 684 74.5 - 1800.10/1800.71 c infeasible LP : 88.68 29995 21886 494342 186.2 483 78.9 0 1800.10/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.10/1800.71 c applied globally : - - - 299654 87.6 - - - 1800.10/1800.71 c applied locally : - - - 0 0.0 - - - 1800.10/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.10/1800.71 c cut pool : 0.00 4 - - 0 - (maximal pool size: 232) 1800.10/1800.71 c redcost : 11.18 85367 0 0 0 0 1800.10/1800.71 c impliedbounds : 0.00 5 0 0 0 0 1800.10/1800.71 c intobj : 0.00 0 0 0 0 0 1800.10/1800.71 c cgmip : 0.00 0 0 0 0 0 1800.10/1800.71 c gomory : 0.28 5 0 0 2500 0 1800.10/1800.71 c strongcg : 0.29 5 0 0 2500 0 1800.10/1800.71 c cmir : 0.00 0 0 0 0 0 1800.10/1800.71 c flowcover : 0.00 0 0 0 0 0 1800.10/1800.71 c clique : 0.04 5 0 0 0 0 1800.10/1800.71 c zerohalf : 0.00 0 0 0 0 0 1800.10/1800.71 c mcf : 0.01 1 0 0 0 0 1800.10/1800.71 c rapidlearning : 0.16 1 0 0 0 0 1800.10/1800.71 c Pricers : Time Calls Vars 1800.10/1800.71 c problem variables: 0.00 0 0 1800.10/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.10/1800.71 c relpscost : 174.44 85477 14 251 0 0 170640 1800.10/1800.71 c pscost : 0.00 0 0 0 0 0 0 1800.10/1800.71 c inference : 0.00 0 0 0 0 0 0 1800.10/1800.71 c mostinf : 0.00 0 0 0 0 0 0 1800.10/1800.71 c leastinf : 0.00 0 0 0 0 0 0 1800.10/1800.71 c fullstrong : 0.00 0 0 0 0 0 0 1800.10/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0 1800.10/1800.71 c random : 0.00 0 0 0 0 0 0 1800.10/1800.71 c Primal Heuristics : Time Calls Found 1800.10/1800.71 c LP solutions : 0.00 - 0 1800.10/1800.71 c pseudo solutions : 0.00 - 0 1800.10/1800.71 c trivial : 0.01 1 0 1800.10/1800.71 c simplerounding : 0.00 0 0 1800.10/1800.71 c zirounding : 0.00 0 0 1800.10/1800.71 c rounding : 0.00 0 0 1800.10/1800.71 c shifting : 0.00 0 0 1800.10/1800.71 c intshifting : 0.00 0 0 1800.10/1800.71 c oneopt : 0.00 0 0 1800.10/1800.71 c twoopt : 0.00 0 0 1800.10/1800.71 c fixandinfer : 0.00 0 0 1800.10/1800.71 c feaspump : 0.00 0 0 1800.10/1800.71 c coefdiving : 0.00 0 0 1800.10/1800.71 c pscostdiving : 0.00 0 0 1800.10/1800.71 c fracdiving : 0.00 0 0 1800.10/1800.71 c veclendiving : 0.00 0 0 1800.10/1800.71 c intdiving : 0.00 0 0 1800.10/1800.71 c actconsdiving : 0.00 0 0 1800.10/1800.71 c objpscostdiving : 0.00 0 0 1800.10/1800.71 c rootsoldiving : 0.00 0 0 1800.10/1800.71 c linesearchdiving : 0.00 0 0 1800.10/1800.71 c guideddiving : 0.00 0 0 1800.10/1800.71 c octane : 0.00 0 0 1800.10/1800.71 c rens : 0.00 0 0 1800.10/1800.71 c rins : 0.00 0 0 1800.10/1800.71 c localbranching : 0.00 0 0 1800.10/1800.71 c mutation : 0.00 0 0 1800.10/1800.71 c crossover : 0.00 0 0 1800.10/1800.71 c dins : 0.00 0 0 1800.10/1800.71 c undercover : 0.00 0 0 1800.10/1800.71 c nlp : 0.00 0 0 1800.10/1800.71 c trysol : 0.00 0 0 1800.10/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec 1800.10/1800.71 c primal LP : 0.00 0 0 0.00 - 1800.10/1800.71 c dual LP : 1098.85 115420 2828129 24.50 2573.72 1800.10/1800.71 c lex dual LP : 0.00 0 0 0.00 - 1800.10/1800.71 c barrier LP : 0.00 0 0 0.00 - 1800.10/1800.71 c diving/probing LP: 0.00 0 0 0.00 - 1800.10/1800.71 c strong branching : 162.74 9143 468087 51.20 2876.29 1800.10/1800.71 c (at root node) : - 33 5068 153.58 - 1800.10/1800.71 c conflict analysis: 0.00 0 0 0.00 - 1800.10/1800.71 c B&B Tree : 1800.10/1800.71 c number of runs : 1 1800.10/1800.71 c nodes : 149438 1800.10/1800.71 c nodes (total) : 149438 1800.10/1800.71 c nodes left : 315 1800.10/1800.71 c max depth : 100 1800.10/1800.71 c max depth (total): 100 1800.10/1800.71 c backtracks : 31303 (20.9%) 1800.10/1800.71 c delayed cutoffs : 20888 1800.10/1800.71 c repropagations : 153425 (1382200 domain reductions, 20634 cutoffs) 1800.10/1800.71 c avg switch length: 3.93 1800.10/1800.71 c switching time : 65.44 1800.10/1800.71 c Solution : 1800.10/1800.71 c Solutions found : 0 (0 improvements) 1800.10/1800.71 c Primal Bound : - 1800.10/1800.71 c Dual Bound : +0.00000000000000e+00 1800.10/1800.71 c Gap : infinite 1800.10/1800.71 c Root Dual Bound : +0.00000000000000e+00 1800.10/1800.71 c Root Iterations : 4833 1800.10/1800.79 c Time complete: 1800.19.
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-2665940-1276326222/watcher-2665940-1276326222 -o /tmp/evaluation-result-2665940-1276326222/solver-2665940-1276326222 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665940-1276326222.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9489 /proc/meminfo: memFree=1764536/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=10316 CPUtime=0 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 1326 0 0 0 0 0 0 0 22 0 1 0 6274031 10563584 1247 1992294400 4194304 9819077 140735427287168 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9489/statm: 2579 1258 371 1374 0 1200 0 [startup+0.049189 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9489 /proc/meminfo: memFree=1764536/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=13092 CPUtime=0.04 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 2189 0 0 0 4 0 0 0 24 0 1 0 6274031 13406208 2110 1992294400 4194304 9819077 140735427287168 18446744073709551615 5648492 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9489/statm: 3273 2110 386 1374 0 1894 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13092 [startup+0.101199 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9489 /proc/meminfo: memFree=1764536/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=13608 CPUtime=0.09 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 2690 0 0 0 9 0 0 0 24 0 1 0 6274031 13934592 2258 1992294400 4194304 9819077 140735427287168 18446744073709551615 4656451 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9489/statm: 3402 2258 388 1374 0 2023 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13608 [startup+0.301234 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9489 /proc/meminfo: memFree=1764536/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=38460 CPUtime=0.29 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 10042 0 0 0 25 4 0 0 18 0 1 0 6274031 39383040 8033 1992294400 4194304 9819077 140735427287168 18446744073709551615 7296074 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 9615 8033 619 1374 0 8236 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38460 [startup+0.701307 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9489 /proc/meminfo: memFree=1764536/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=59668 CPUtime=0.69 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 17693 0 0 0 61 8 0 0 18 0 1 0 6274031 61100032 13036 1992294400 4194304 9819077 140735427287168 18446744073709551615 4333573 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 14917 13036 665 1374 0 13538 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 59668 [startup+1.50145 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9490 /proc/meminfo: memFree=1728568/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=42192 CPUtime=1.49 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 17704 0 0 0 140 9 0 0 19 0 1 0 6274031 43204608 9452 1992294400 4194304 9819077 140735427287168 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 10548 9452 676 1374 0 9169 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42192 [startup+3.10174 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9490 /proc/meminfo: memFree=1726832/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=46096 CPUtime=3.09 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 19715 0 0 0 298 11 0 0 24 0 1 0 6274031 47202304 10096 1992294400 4194304 9819077 140735427287168 18446744073709551615 6656908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 11524 10096 676 1374 0 10145 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46096 [startup+6.30133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9490 /proc/meminfo: memFree=1725964/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=48136 CPUtime=6.29 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 29459 0 0 0 614 15 0 0 25 0 1 0 6274031 49291264 10133 1992294400 4194304 9819077 140735427287168 18446744073709551615 7290918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 12034 10133 690 1374 0 10655 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48136 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9490 /proc/meminfo: memFree=1725840/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=47928 CPUtime=12.69 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 50765 0 0 0 1243 26 0 0 25 0 1 0 6274031 49078272 10126 1992294400 4194304 9819077 140735427287168 18446744073709551615 6656911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 11982 10126 690 1374 0 10603 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47928 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9492 /proc/meminfo: memFree=1725964/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=47872 CPUtime=25.48 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 88894 0 0 0 2504 44 0 0 25 0 1 0 6274031 49020928 10150 1992294400 4194304 9819077 140735427287168 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 11968 10150 690 1374 0 10589 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47872 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9492 /proc/meminfo: memFree=1725964/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=48108 CPUtime=51.07 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 174470 0 0 0 5020 87 0 0 25 0 1 0 6274031 49262592 10151 1992294400 4194304 9819077 140735427287168 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 12027 10151 703 1374 0 10648 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48108 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9494 /proc/meminfo: memFree=1720012/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=52784 CPUtime=102.26 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 686736 0 0 0 9890 336 0 0 25 0 1 0 6274031 54050816 11607 1992294400 4194304 9819077 140735427287168 18446744073709551615 5893882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 13196 11607 708 1374 0 11817 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 52784 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9494 /proc/meminfo: memFree=1716044/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=56780 CPUtime=162.23 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 1299078 0 0 0 15584 639 0 0 25 0 1 0 6274031 58142720 12592 1992294400 4194304 9819077 140735427287168 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 14195 12592 708 1374 0 12816 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 56780 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9496 /proc/meminfo: memFree=1715052/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=57852 CPUtime=222.22 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 1869334 0 0 0 21302 920 0 0 25 0 1 0 6274031 59240448 12856 1992294400 4194304 9819077 140735427287168 18446744073709551615 7816434 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 14463 12856 708 1374 0 13084 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 57852 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9498 /proc/meminfo: memFree=1713936/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=59048 CPUtime=282.19 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 2441505 0 0 0 27014 1205 0 0 25 0 1 0 6274031 60465152 13147 1992294400 4194304 9819077 140735427287168 18446744073709551615 6460773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 14724 13146 708 1374 0 13345 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 59048 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9500 /proc/meminfo: memFree=1712084/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=63284 CPUtime=342.17 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 3000214 0 0 0 32738 1479 0 0 25 0 1 0 6274031 64802816 13606 1992294400 4194304 9819077 140735427287168 18446744073709551615 7292234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 15821 13606 708 1374 0 14442 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 63284 [startup+402.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 9502 /proc/meminfo: memFree=1711712/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=60972 CPUtime=402.15 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 3589003 0 0 0 38447 1768 0 0 25 0 1 0 6274031 62435328 13639 1992294400 4194304 9819077 140735427287168 18446744073709551615 6367709 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 15243 13639 708 1374 0 13864 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 60972 [startup+462.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 9502 /proc/meminfo: memFree=1711464/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=61176 CPUtime=462.13 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 4185247 0 0 0 44149 2064 0 0 25 0 1 0 6274031 62644224 13694 1992294400 4194304 9819077 140735427287168 18446744073709551615 5917009 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 15294 13694 708 1374 0 13915 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 61176 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9504 /proc/meminfo: memFree=1711216/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=61384 CPUtime=522.11 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 4755278 0 0 0 49865 2346 0 0 25 0 1 0 6274031 62857216 13740 1992294400 4194304 9819077 140735427287168 18446744073709551615 5930574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 15346 13740 708 1374 0 13967 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 61384 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9506 /proc/meminfo: memFree=1710348/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=61936 CPUtime=582.09 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 5321944 0 0 0 55577 2632 0 0 25 0 1 0 6274031 63422464 13907 1992294400 4194304 9819077 140735427287168 18446744073709551615 6567238 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 15484 13907 708 1374 0 14105 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 61936 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9508 /proc/meminfo: memFree=1709976/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=62600 CPUtime=642.08 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 5896359 0 0 0 61288 2920 0 0 25 0 1 0 6274031 64102400 14041 1992294400 4194304 9819077 140735427287168 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 15650 14041 708 1374 0 14271 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 62600 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9514 /proc/meminfo: memFree=1707496/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=64784 CPUtime=882 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 8078608 0 0 0 84173 4027 0 0 25 0 1 0 6274031 66338816 14598 1992294400 4194304 9819077 140735427287168 18446744073709551615 7312766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 16196 14598 708 1374 0 14817 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 64784 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9516 /proc/meminfo: memFree=1705016/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=67276 CPUtime=941.97 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 8600905 0 0 0 89903 4294 0 0 25 0 1 0 6274031 68890624 15207 1992294400 4194304 9819077 140735427287168 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 16819 15207 708 1374 0 15440 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 67276 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9518 /proc/meminfo: memFree=1703776/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=68592 CPUtime=1001.96 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 9140545 0 0 0 95626 4570 0 0 25 0 1 0 6274031 70238208 15527 1992294400 4194304 9819077 140735427287168 18446744073709551615 6391609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17148 15527 708 1374 0 15769 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 68592 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9518 /proc/meminfo: memFree=1703652/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=68592 CPUtime=1061.93 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 9689578 0 0 0 101351 4842 0 0 25 0 1 0 6274031 70238208 15519 1992294400 4194304 9819077 140735427287168 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17148 15519 708 1374 0 15769 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 68592 [startup+1122.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 9520 /proc/meminfo: memFree=1703528/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=68900 CPUtime=1121.91 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 10258177 0 0 0 107069 5122 0 0 25 0 1 0 6274031 70553600 15596 1992294400 4194304 9819077 140735427287168 18446744073709551615 7295939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17225 15596 708 1374 0 15846 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 68900 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 9522 /proc/meminfo: memFree=1702784/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=69336 CPUtime=1181.89 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 10795062 0 0 0 112797 5392 0 0 25 0 1 0 6274031 71000064 15704 1992294400 4194304 9819077 140735427287168 18446744073709551615 7291656 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17334 15704 708 1374 0 15955 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 69336 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9524 /proc/meminfo: memFree=1702412/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=69768 CPUtime=1241.87 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 11326039 0 0 0 118515 5672 0 0 25 0 1 0 6274031 71442432 15804 1992294400 4194304 9819077 140735427287168 18446744073709551615 6457988 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17442 15804 708 1374 0 16063 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 69768 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9526 /proc/meminfo: memFree=1702288/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=69764 CPUtime=1301.86 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 11930386 0 0 0 124227 5959 0 0 25 0 1 0 6274031 71438336 15800 1992294400 4194304 9819077 140735427287168 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17441 15800 708 1374 0 16062 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 69764 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9526 /proc/meminfo: memFree=1702164/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=69844 CPUtime=1361.83 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 12474240 0 0 0 129952 6231 0 0 25 0 1 0 6274031 71520256 15815 1992294400 4194304 9819077 140735427287168 18446744073709551615 6518766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17461 15815 708 1374 0 16082 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 69844 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9528 /proc/meminfo: memFree=1702164/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=69844 CPUtime=1421.82 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 13024016 0 0 0 135680 6502 0 0 25 0 1 0 6274031 71520256 15815 1992294400 4194304 9819077 140735427287168 18446744073709551615 7096557 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17461 15815 708 1374 0 16082 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 69844 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9530 /proc/meminfo: memFree=1702040/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=69256 CPUtime=1481.79 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 13585623 0 0 0 141394 6785 0 0 25 0 1 0 6274031 70918144 15847 1992294400 4194304 9819077 140735427287168 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17314 15847 708 1374 0 15935 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 69256 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9532 /proc/meminfo: memFree=1701172/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=70784 CPUtime=1541.77 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 14124882 0 0 0 147122 7055 0 0 25 0 1 0 6274031 72482816 16051 1992294400 4194304 9819077 140735427287168 18446744073709551615 6597261 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17696 16051 708 1374 0 16317 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 70784 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9534 /proc/meminfo: memFree=1701172/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=69944 CPUtime=1601.75 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 14682324 0 0 0 152842 7333 0 0 25 0 1 0 6274031 71622656 16043 1992294400 4194304 9819077 140735427287168 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17411 16036 708 1374 0 16032 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 69944 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9534 /proc/meminfo: memFree=1701172/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=70804 CPUtime=1661.73 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 15252070 0 0 0 158547 7626 0 0 25 0 1 0 6274031 72503296 16069 1992294400 4194304 9819077 140735427287168 18446744073709551615 7312780 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17701 16069 708 1374 0 16322 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 70804 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9536 /proc/meminfo: memFree=1700800/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=71248 CPUtime=1721.71 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 15776319 0 0 0 164284 7887 0 0 25 0 1 0 6274031 72957952 16147 1992294400 4194304 9819077 140735427287168 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17812 16147 708 1374 0 16433 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 71248 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9538 /proc/meminfo: memFree=1700180/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=71516 CPUtime=1781.69 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 16330446 0 0 0 170006 8163 0 0 25 0 1 0 6274031 73232384 16217 1992294400 4194304 9819077 140735427287168 18446744073709551615 4221547 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17879 16217 708 1374 0 16500 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 71516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9538 /proc/meminfo: memFree=1700180/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=71516 CPUtime=1800.1 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 16489811 0 0 0 171767 8243 0 0 25 0 1 0 6274031 73232384 16225 1992294400 4194304 9819077 140735427287168 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17879 16225 708 1374 0 16500 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 71516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9538 /proc/meminfo: memFree=1700180/2059040 swapFree=4192956/4192956 [pid=9489] ppid=9487 vsize=71516 CPUtime=1800.1 /proc/9489/stat : 9489 (pbscip.linux.x8) R 9487 9489 8948 0 -1 4202496 16489811 0 0 0 171767 8243 0 0 25 0 1 0 6274031 73232384 16225 1992294400 4194304 9819077 140735427287168 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9489/statm: 17879 16225 708 1374 0 16500 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 71516 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.19 CPU user time (s): 1717.75 CPU system time (s): 82.4425 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (KiB): 74224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1717.75 system time used= 82.4425 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16489845 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 21413 runsolver used 3.78742 second user time and 9.2196 second system time The end
Begin job on node027 at 2010-06-12 09:03:42 IDJOB=2665940 IDBENCH=1416 IDSOLVER=1168 FILE ID=node027/2665940-1276326222 PBS_JOBID= 11173168 Free space on /tmp= 62448 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665940-1276326222/watcher-2665940-1276326222 -o /tmp/evaluation-result-2665940-1276326222/solver-2665940-1276326222 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665940-1276326222.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d54e874b22823be807136681f90fbed4 RANDOM SEED=31682386 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.261 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.52 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 : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1764940 kB Buffers: 24984 kB Cached: 139688 kB SwapCached: 0 kB Active: 148736 kB Inactive: 75364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1764940 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6600 kB Writeback: 32 kB AnonPages: 59332 kB Mapped: 15388 kB Slab: 47980 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181548 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62440 MiB End job on node027 at 2010-06-12 09:33:45