| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | SAT | 1618.79 | 1619.25 |
| Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_5_15.opb |
| MD5SUM | 2b927be10d6e21370847ee6c94426772 |
| Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
| 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 | 1618.79 |
| 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 | 200 |
| Total number of constraints | 302 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| 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 | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6124 |
| Sum of products size (including duplicates) | 12248 |
| Number of different products | 3062 |
| Sum of products size | 6124 |
0.03/0.04 c SCIP version 1.1.0.7
0.03/0.04 c LP-Solver SoPlex 1.4.1
0.03/0.04 c user parameter file <scip.set> not found - using default parameters
0.03/0.04 c read problem <HOME/instance-1870672-1245215372.opb>
0.03/0.04 c original problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3364 constraints
0.03/0.07 c No objective function, only one solution is needed.
0.03/0.07 c start presolving problem
0.03/0.07 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24696 impls, 200 clqs
0.29/0.38 c presolving (2 rounds):
0.29/0.38 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.38 c 24696 implications, 200 cliques
0.29/0.38 c presolved problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3364 constraints
0.29/0.38 c 1 constraints of type <knapsack>
0.29/0.38 c 200 constraints of type <setppc>
0.29/0.38 c 3062 constraints of type <and>
0.29/0.38 c 1 constraints of type <linear>
0.29/0.38 c 100 constraints of type <logicor>
0.29/0.38 c transformed objective value is always integral (scale: 1)
0.29/0.38 c Presolving Time: 0.15
0.29/0.38 c SATUNSAT-NLC
0.29/0.38 c -----------------------------------------------------------------------------------------------
0.29/0.38 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.38 c separating/flowcover/freq = c -1
0.29/0.38 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.38 c separating/cmir/freq = c -1
0.29/0.38 c # additional number of allowed LP iterations
0.29/0.38 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.38 c heuristics/veclendiving/maxlpiterofs = c 1500
0.29/0.38 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.38 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.29/0.38 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.38 c heuristics/veclendiving/freq = c -1
0.29/0.38 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.38 c heuristics/simplerounding/freq = c -1
0.29/0.38 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.38 c heuristics/shifting/freq = c -1
0.29/0.38 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.38 c heuristics/rounding/freq = c -1
0.29/0.38 c # additional number of allowed LP iterations
0.29/0.38 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.38 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.29/0.38 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.29/0.38 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.29/0.38 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.38 c heuristics/rootsoldiving/freq = c -1
0.29/0.38 c # number of nodes added to the contingent of the total nodes
0.29/0.38 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.38 c heuristics/rens/nodesofs = c 2000
0.29/0.38 c # minimum percentage of integer variables that have to be fixable
0.29/0.38 c # [type: real, range: [0,1], default: 0.5]
0.29/0.38 c heuristics/rens/minfixingrate = c 0.3
0.29/0.38 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.38 c heuristics/rens/freq = c -1
0.29/0.38 c # additional number of allowed LP iterations
0.29/0.38 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.38 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.29/0.38 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.38 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.29/0.38 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.38 c heuristics/pscostdiving/freq = c -1
0.29/0.38 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.38 c heuristics/oneopt/freq = c -1
0.29/0.38 c # additional number of allowed LP iterations
0.29/0.38 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.38 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.29/0.38 c # maximal fraction of diving LP iterations compared to total iteration number
0.29/0.38 c # [type: real, range: [0,1], default: 0.01]
0.29/0.38 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.29/0.38 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.38 c heuristics/objpscostdiving/freq = c -1
0.29/0.38 c # additional number of allowed LP iterations
0.29/0.38 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.38 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.29/0.38 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.38 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.29/0.38 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.38 c heuristics/linesearchdiving/freq = c -1
0.29/0.38 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.38 c heuristics/intshifting/freq = c -1
0.29/0.38 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.38 c heuristics/intdiving/maxlpiterquot = c 0.075
0.29/0.38 c # additional number of allowed LP iterations
0.29/0.38 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.38 c heuristics/guideddiving/maxlpiterofs = c 1500
0.29/0.38 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.38 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.29/0.38 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.38 c heuristics/guideddiving/freq = c -1
0.29/0.38 c # additional number of allowed LP iterations
0.29/0.38 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.38 c heuristics/fracdiving/maxlpiterofs = c 1500
0.29/0.38 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.38 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.29/0.38 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.38 c heuristics/fracdiving/freq = c -1
0.29/0.38 c # additional number of allowed LP iterations
0.29/0.38 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.38 c heuristics/feaspump/maxlpiterofs = c 2000
0.29/0.38 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 20]
0.29/0.38 c heuristics/feaspump/freq = c -1
0.29/0.38 c # minimum percentage of integer variables that have to be fixed
0.29/0.38 c # [type: real, range: [0,1], default: 0.666]
0.29/0.38 c heuristics/crossover/minfixingrate = c 0.5
0.29/0.38 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.29/0.38 c # [type: real, range: [0,1], default: 0.1]
0.29/0.38 c heuristics/crossover/nodesquot = c 0.15
0.29/0.38 c # number of nodes without incumbent change that heuristic should wait
0.29/0.38 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.29/0.38 c heuristics/crossover/nwaitingnodes = c 100
0.29/0.38 c # number of nodes added to the contingent of the total nodes
0.29/0.38 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.29/0.38 c heuristics/crossover/nodesofs = c 750
0.29/0.38 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 30]
0.29/0.38 c heuristics/crossover/freq = c -1
0.29/0.38 c # additional number of allowed LP iterations
0.29/0.38 c # [type: int, range: [0,2147483647], default: 1000]
0.29/0.38 c heuristics/coefdiving/maxlpiterofs = c 1500
0.29/0.38 c # maximal fraction of diving LP iterations compared to node LP iterations
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.29/0.38 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.29/0.38 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 10]
0.29/0.38 c heuristics/coefdiving/freq = c -1
0.29/0.38 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38 c presolving/probing/maxrounds = c 0
0.29/0.38 c # should presolving try to simplify knapsacks
0.29/0.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38 c constraints/knapsack/simplifyinequalities = c TRUE
0.29/0.38 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.29/0.38 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.29/0.38 c constraints/knapsack/disaggregation = c FALSE
0.29/0.38 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38 c constraints/knapsack/maxnumcardlift = c 0
0.29/0.38 c # should presolving try to simplify inequalities
0.29/0.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38 c constraints/linear/simplifyinequalities = c TRUE
0.29/0.38 c # maximal number of separation rounds in the root node (-1: unlimited)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38 c separating/maxroundsroot = c 5
0.29/0.38 c # maximal number of separation rounds per node (-1: unlimited)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 5]
0.29/0.38 c separating/maxrounds = c 1
0.29/0.38 c # solving stops, if the given number of solutions were found (-1: no limit)
0.29/0.38 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38 c limits/solutions = c 1
0.29/0.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38 c limits/memory = c 1620
0.29/0.38 c # maximal time in seconds to run
0.29/0.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38 c limits/time = c 1791
0.29/0.38 c # frequency for displaying node information lines
0.29/0.38 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.38 c display/freq = c 10000
0.29/0.38 c -----------------------------------------------------------------------------------------------
0.29/0.38 c start solving problem
0.29/0.38 c
0.39/0.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.48 c 0.3s| 1 | 0 | 102 | 14M| 0 | 60 |3262 |3364 |3364 |3262 |6426 | 0 | 0 | 0 | 3.000000e+01 | -- | Inf
0.79/0.85 c 0.6s| 1 | 0 | 132 | 14M| 0 | 61 |3262 |3364 |3364 |3262 |6428 | 2 | 0 | 0 | 3.000000e+01 | -- | Inf
1.09/1.17 c 0.9s| 1 | 0 | 213 | 14M| 0 | 61 |3262 |3364 |3364 |3262 |6429 | 3 | 0 | 0 | 3.000000e+01 | -- | Inf
2.29/2.36 c 2.1s| 1 | 0 | 380 | 14M| 0 | 63 |3262 |3364 |3364 |3262 |6430 | 4 | 0 | 0 | 3.000000e+01 | -- | Inf
4.49/4.56 c 4.3s| 1 | 0 | 490 | 14M| 0 | 63 |3262 |3364 |3364 |3262 |6431 | 5 | 0 | 0 | 3.000000e+01 | -- | Inf
7.09/7.11 c 6.8s| 1 | 0 | 640 | 14M| 0 | 64 |3262 |3364 |3364 |3262 |6432 | 6 | 0 | 0 | 3.000000e+01 | -- | Inf
25.88/25.95 c 25.6s| 1 | 2 | 640 | 14M| 0 | 64 |3262 |3364 |3364 |3262 |6432 | 6 | 0 | 33 | 3.000000e+01 | -- | Inf
303.80/303.91 c 301s| 10000 | 3077 |386260 | 80M| 45 | - |3262 |4369 | 505 |3262 | 784 | 281k|8061 | 10k| 3.000000e+01 | -- | Inf
532.44/532.61 c 528s| 20000 | 5267 |771088 | 137M| 47 | - |3262 |4739 | 684 |3262 | 745 | 510k| 17k| 14k| 3.000000e+01 | -- | Inf
752.98/753.21 c 746s| 30000 | 7295 | 1149k| 191M| 54 | 44 |3262 |4802 |1867 |3262 | 773 | 725k| 27k| 17k| 3.000000e+01 | -- | Inf
959.12/959.49 c 951s| 40000 | 9353 | 1508k| 244M| 54 | 87 |3262 |4800 |1295 |3262 | 803 | 931k| 38k| 20k| 3.000000e+01 | -- | Inf
1164.76/1165.13 c 1154s| 50000 | 11114 | 1900k| 287M| 57 | 34 |3262 |5187 |1724 |3262 | 749 |1124k| 49k| 22k| 3.000000e+01 | -- | Inf
1376.49/1376.94 c 1364s| 60000 | 12749 | 2304k| 328M| 59 | 6 |3262 |4850 |1567 |3262 | 722 |1327k| 60k| 24k| 3.000000e+01 | -- | Inf
1583.54/1584.05 c 1570s| 70000 | 14645 | 2687k| 380M| 59 | 28 |3262 |4878 |2682 |3262 | 751 |1544k| 70k| 26k| 3.000000e+01 | -- | Inf
1618.22/1618.70 c *1604s| 71503 | 12624 | 2745k| 327M| 59 | - |3262 |4616 | 858 |3262 | 794 |1577k| 71k| 27k| 3.000000e+01 | 4.200000e+01 | 40.00%
1618.22/1618.70 c
1618.22/1618.70 c SCIP Status : solving was interrupted [solution limit reached]
1618.22/1618.70 c Solving Time (sec) : 1604.02
1618.22/1618.70 c Solving Nodes : 71503
1618.22/1618.70 c Primal Bound : +4.20000000000000e+01 (1 solutions)
1618.22/1618.70 c Dual Bound : +3.00000000000000e+01
1618.22/1618.70 c Gap : 40.00 %
1618.22/1618.71 c NODE 71503
1618.22/1618.71 c DUAL BOUND 30
1618.22/1618.71 c PRIMAL BOUND 42
1618.22/1618.71 c GAP 0.4
1618.22/1618.71 s SATISFIABLE
1618.22/1618.71 v -x160 -x183 -x118 x165 -x126 -x157 -x148 -x158 -x196 -x181 -x167 -x156 -x142 -x131 x198 x197 -x163 -x137 -x110 -x171 -x107 -x103
1618.22/1618.71 v -x144 x130 -x125 -x122 x113 -x119 -x159 -x192 -x195 x164 -x179 x175 -x188 x145 -x191 -x151 -x169 -x102 -x152 -x146 -x140 -x135
1618.22/1618.71 v -x112 -x105 -x134 -x143 -x190 -x186 -x189 -x123 -x194 -x136 -x114 -x138 -x154 -x141 -x162 -x200 -x109 -x185 x101 -x193 -x178
1618.22/1618.71 v -x172 -x170 -x155 -x139 x124 -x120 -x117 -x116 -x108 -x104 -x128 -x147 -x168 -x153 -x184 -x132 -x180 -x106 -x115 x187 x129
1618.22/1618.71 v x199 -x161 -x149 x127 -x182 -x174 -x150 -x121 -x133 -x177 -x173 -x111 -x166 x176 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92
1618.22/1618.71 v x91 x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66
1618.22/1618.71 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
1618.22/1618.71 v -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15
1618.22/1618.71 v -x14 -x13 -x12 -x11 x10 x9 -x8 x7 -x6 -x5 -x4 -x3 x2 -x1
1618.22/1618.71 c SCIP Status : solving was interrupted [solution limit reached]
1618.22/1618.71 c Solving Time : 1604.02
1618.22/1618.71 c Original Problem :
1618.22/1618.71 c Problem name : HOME/instance-1870672-1245215372.opb
1618.22/1618.71 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1618.22/1618.71 c Constraints : 3364 initial, 3364 maximal
1618.22/1618.71 c Presolved Problem :
1618.22/1618.71 c Problem name : t_HOME/instance-1870672-1245215372.opb
1618.22/1618.71 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1618.22/1618.71 c Constraints : 3364 initial, 5495 maximal
1618.22/1618.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1618.22/1618.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1618.22/1618.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1618.22/1618.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1618.22/1618.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1618.22/1618.71 c implics : 0.00 0 0 0 0 0 0 0 0
1618.22/1618.71 c probing : 0.00 0 0 0 0 0 0 0 0
1618.22/1618.71 c knapsack : 0.01 0 0 0 0 0 0 0 0
1618.22/1618.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1618.22/1618.71 c and : 0.11 0 0 0 0 0 0 0 0
1618.22/1618.71 c linear : 0.02 0 0 0 0 0 0 0 0
1618.22/1618.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1618.22/1618.71 c root node : - 0 - - 0 - - - -
1618.22/1618.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1618.22/1618.71 c integral : 0 0 0 51804 0 826 4905 0 0 86542
1618.22/1618.71 c knapsack : 1 5 343512 4446 0 37 502 0 0 0
1618.22/1618.71 c setppc : 200 5 343523 4446 0 500 842017 0 0 0
1618.22/1618.71 c and : 3062 49687 343023 4446 0 3075 12702955 1577752 0 0
1618.22/1618.71 c linear : 1 5 339948 1 0 15 41 0 0 0
1618.22/1618.71 c logicor : 100+ 5 129003 1 0 102 127118 0 0 0
1618.22/1618.71 c countsols : 0 0 0 1 0 0 0 0 0 0
1618.22/1618.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1618.22/1618.71 c integral : 248.50 0.00 0.00 248.50 0.00
1618.22/1618.71 c knapsack : 0.36 0.00 0.35 0.01 0.00
1618.22/1618.71 c setppc : 5.45 0.00 5.33 0.12 0.00
1618.22/1618.71 c and : 126.60 50.30 72.00 4.30 0.00
1618.22/1618.71 c linear : 6.91 0.00 6.91 0.00 0.00
1618.22/1618.71 c logicor : 9.83 0.00 9.83 0.00 0.00
1618.22/1618.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1618.22/1618.71 c Propagators : Time Calls Cutoffs DomReds
1618.22/1618.71 c rootredcost : 0.19 0 0 0
1618.22/1618.71 c pseudoobj : 108.60 343561 0 0
1618.22/1618.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1618.22/1618.71 c propagation : 0.13 3729 3711 5675 20.3 59 57.9 -
1618.22/1618.71 c infeasible LP : 57.18 23683 21792 251479 50.2 351 2.2 0
1618.22/1618.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1618.22/1618.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1618.22/1618.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1618.22/1618.71 c applied globally : - - - 71939 58.7 - - -
1618.22/1618.71 c applied locally : - - - 0 0.0 - - -
1618.22/1618.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1618.22/1618.71 c cut pool : 0.00 4 - - 1 - (maximal pool size: 21)
1618.22/1618.71 c redcost : 17.60 49687 0 0 0 0
1618.22/1618.71 c impliedbounds : 0.00 5 0 0 0 0
1618.22/1618.71 c intobj : 0.00 0 0 0 0 0
1618.22/1618.71 c gomory : 3.54 5 0 0 1073 0
1618.22/1618.71 c strongcg : 2.36 5 0 0 1576 0
1618.22/1618.71 c cmir : 0.00 0 0 0 0 0
1618.22/1618.71 c flowcover : 0.00 0 0 0 0 0
1618.22/1618.71 c clique : 0.02 5 0 0 0 0
1618.22/1618.71 c zerohalf : 0.00 0 0 0 0 0
1618.22/1618.71 c mcf : 0.08 2 0 0 0 0
1618.22/1618.71 c Pricers : Time Calls Vars
1618.22/1618.71 c problem variables: 0.00 0 0
1618.22/1618.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1618.22/1618.71 c relpscost : 248.31 47358 826 4905 0 0 86542
1618.22/1618.71 c pscost : 0.00 0 0 0 0 0 0
1618.22/1618.71 c inference : 0.00 0 0 0 0 0 0
1618.22/1618.71 c mostinf : 0.00 0 0 0 0 0 0
1618.22/1618.71 c leastinf : 0.00 0 0 0 0 0 0
1618.22/1618.71 c fullstrong : 0.00 0 0 0 0 0 0
1618.22/1618.71 c allfullstrong : 0.00 0 0 0 0 0 0
1618.22/1618.71 c random : 0.00 0 0 0 0 0 0
1618.22/1618.71 c Primal Heuristics : Time Calls Found
1618.22/1618.71 c LP solutions : 0.08 - 1
1618.22/1618.71 c pseudo solutions : 0.00 - 0
1618.22/1618.71 c simplerounding : 0.00 0 0
1618.22/1618.71 c rounding : 0.00 0 0
1618.22/1618.71 c shifting : 0.00 0 0
1618.22/1618.71 c intshifting : 0.00 0 0
1618.22/1618.71 c oneopt : 0.00 0 0
1618.22/1618.71 c fixandinfer : 0.00 0 0
1618.22/1618.71 c feaspump : 0.00 0 0
1618.22/1618.71 c coefdiving : 0.00 0 0
1618.22/1618.71 c pscostdiving : 0.00 0 0
1618.22/1618.71 c fracdiving : 0.00 0 0
1618.22/1618.71 c veclendiving : 0.00 0 0
1618.22/1618.71 c intdiving : 0.00 0 0
1618.22/1618.71 c actconsdiving : 0.00 0 0
1618.22/1618.71 c objpscostdiving : 0.00 0 0
1618.22/1618.71 c rootsoldiving : 0.00 0 0
1618.22/1618.71 c linesearchdiving : 0.00 0 0
1618.22/1618.71 c guideddiving : 0.00 0 0
1618.22/1618.71 c octane : 0.00 0 0
1618.22/1618.71 c rens : 0.00 0 0
1618.22/1618.71 c rins : 0.00 0 0
1618.22/1618.71 c localbranching : 0.00 0 0
1618.22/1618.71 c mutation : 0.00 0 0
1618.22/1618.71 c crossover : 0.00 0 0
1618.22/1618.71 c dins : 0.00 0 0
1618.22/1618.71 c LP : Time Calls Iterations Iter/call Iter/sec
1618.22/1618.71 c primal LP : 53.65 0 0 0.00 0.00
1618.22/1618.71 c dual LP : 710.75 124801 2745369 22.00 3862.64
1618.22/1618.71 c barrier LP : 0.00 0 0 0.00 -
1618.22/1618.71 c diving/probing LP: 0.00 0 0 0.00 -
1618.22/1618.71 c strong branching : 244.68 27075 686744 25.36 2806.70
1618.22/1618.71 c (at root node) : - 33 16143 489.18 -
1618.22/1618.71 c conflict analysis: 0.00 0 0 0.00 -
1618.22/1618.71 c B&B Tree :
1618.22/1618.71 c number of runs : 1
1618.22/1618.71 c nodes : 71503
1618.22/1618.71 c nodes (total) : 71503
1618.22/1618.71 c nodes left : 12624
1618.22/1618.71 c max depth : 59
1618.22/1618.71 c max depth (total): 59
1618.22/1618.71 c backtracks : 5223 (7.3%)
1618.22/1618.71 c delayed cutoffs : 97
1618.22/1618.71 c repropagations : 113726 (199816 domain reductions, 83 cutoffs)
1618.22/1618.71 c avg switch length: 5.10
1618.22/1618.71 c switching time : 142.94
1618.22/1618.71 c Solution :
1618.22/1618.71 c Solutions found : 1 (1 improvements)
1618.22/1618.71 c Primal Bound : +4.20000000000000e+01 (in run 1, after 71503 nodes, 1603.94 seconds, depth 26, found by <relaxation>)
1618.22/1618.71 c Dual Bound : +3.00000000000000e+01
1618.22/1618.71 c Gap : 40.00 %
1618.22/1618.71 c Root Dual Bound : +3.00000000000000e+01
1618.73/1619.25 c Time complete: 1618.78.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870672-1245215372/watcher-1870672-1245215372 -o /tmp/evaluation-result-1870672-1245215372/solver-1870672-1245215372 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870672-1245215372.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10519 /proc/meminfo: memFree=1815248/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=4328 CPUtime=0 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 485 0 0 0 0 0 0 0 18 0 1 0 189134052 4431872 469 1992294400 4194304 7823515 548682068736 18446744073709551615 5862928 0 0 4096 0 0 0 0 17 1 0 0 /proc/10519/statm: 1162 481 314 886 0 272 0 [startup+0.0406951 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10519 /proc/meminfo: memFree=1815248/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=12340 CPUtime=0.03 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 2421 0 0 0 3 0 0 0 18 0 1 0 189134052 12636160 2403 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0 /proc/10519/statm: 3085 2403 351 886 0 2195 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12340 [startup+0.101701 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10519 /proc/meminfo: memFree=1815248/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=21916 CPUtime=0.09 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 4865 0 0 0 7 2 0 0 18 0 1 0 189134052 22441984 4493 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 5479 4493 404 886 0 4589 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21916 [startup+0.301723 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10519 /proc/meminfo: memFree=1815248/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=25548 CPUtime=0.29 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 5837 0 0 0 16 13 0 0 19 0 1 0 189134052 26161152 5465 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 6387 5465 442 886 0 5497 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25548 [startup+0.701766 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10519 /proc/meminfo: memFree=1815248/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=40964 CPUtime=0.69 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 9832 0 0 0 50 19 0 0 18 0 1 0 189134052 41947136 9311 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 10241 9311 539 886 0 9351 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40964 [startup+1.50186 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1777032/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=45616 CPUtime=1.49 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 11013 0 0 0 128 21 0 0 25 0 1 0 189134052 46710784 10486 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 11404 10486 554 886 0 10514 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45616 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1772616/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=51596 CPUtime=3.08 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 12521 0 0 0 286 22 0 0 25 0 1 0 189134052 52834304 11994 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 12899 11994 555 886 0 12009 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 51596 [startup+6.30138 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1768392/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=52116 CPUtime=6.29 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 12672 0 0 0 603 26 0 0 25 0 1 0 189134052 53366784 12145 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 13029 12145 555 886 0 12139 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52116 [startup+12.7021 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1765984/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=54360 CPUtime=12.69 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 13453 0 0 0 1241 28 0 0 25 0 1 0 189134052 55664640 12803 1992294400 4194304 7823515 548682068736 18446744073709551615 6237130 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 13590 12803 558 886 0 12700 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54360 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1766112/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=54360 CPUtime=25.49 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 13457 0 0 0 2517 32 0 0 25 0 1 0 189134052 55664640 12807 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 13590 12807 558 886 0 12700 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54360 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1766112/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=54360 CPUtime=51.08 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 13467 0 0 0 5055 53 0 0 25 0 1 0 189134052 55664640 12817 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 13590 12817 568 886 0 12700 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 54360 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1755872/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=64888 CPUtime=102.27 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 16119 0 0 0 10130 97 0 0 25 0 1 0 189134052 66445312 15404 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 16222 15404 568 886 0 15332 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 64888 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1726112/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=96136 CPUtime=162.24 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 23875 0 0 0 16076 148 0 0 25 0 1 0 189134052 98443264 22889 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 24034 22889 568 886 0 23144 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 96136 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1699232/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=124120 CPUtime=222.23 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 30811 0 0 0 22025 198 0 0 25 0 1 0 189134052 127098880 29538 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 31030 29538 568 886 0 30140 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 124120 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1675680/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=148940 CPUtime=282.21 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 37069 0 0 0 27967 254 0 0 25 0 1 0 189134052 152514560 35427 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 37235 35427 568 886 0 36345 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 148940 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1652584/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=173292 CPUtime=342.19 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 42991 0 0 0 33910 309 0 0 25 0 1 0 189134052 177451008 41135 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 43323 41135 568 886 0 42433 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 173292 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1633448/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=194212 CPUtime=402.17 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 47987 0 0 0 39855 362 0 0 25 0 1 0 189134052 198873088 45942 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 48553 45942 568 886 0 47663 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 194212 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1611112/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=219520 CPUtime=462.16 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 53837 0 0 0 45802 414 0 0 25 0 1 0 189134052 224788480 51592 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 54880 51592 568 886 0 53990 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 219520 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1594216/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=238144 CPUtime=522.14 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 58167 0 0 0 51747 467 0 0 25 0 1 0 189134052 243859456 55743 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 59536 55743 568 886 0 58646 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 238144 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1575400/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=261480 CPUtime=582.13 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 63024 0 0 0 57693 520 0 0 25 0 1 0 189134052 267755520 60409 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 65370 60409 568 886 0 64480 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 261480 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1556456/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=282132 CPUtime=642.11 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 67923 0 0 0 63639 572 0 0 25 0 1 0 189134052 288903168 65069 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 70533 65069 568 886 0 69643 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 282132 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1471720/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=382080 CPUtime=942.02 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 89839 0 0 0 93363 839 0 0 25 0 1 0 189134052 391249920 86201 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 95520 86201 568 886 0 94630 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 382080 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1456808/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=401852 CPUtime=1002 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 93658 0 0 0 99307 893 0 0 25 0 1 0 189134052 411496448 89900 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 100463 89900 568 886 0 99573 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 401852 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1441832/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=422416 CPUtime=1061.98 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 97556 0 0 0 105253 945 0 0 25 0 1 0 189134052 432553984 93691 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 105604 93691 568 886 0 104714 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 422416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1428520/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=439124 CPUtime=1121.97 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 100844 0 0 0 111198 999 0 0 25 0 1 0 189134052 449662976 96951 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 109781 96951 568 886 0 108891 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 439124 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1416040/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=455712 CPUtime=1181.95 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 104049 0 0 0 117144 1051 0 0 25 0 1 0 189134052 466649088 100121 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 113928 100121 568 886 0 113038 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 455712 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1404264/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=468688 CPUtime=1241.94 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 106997 0 0 0 123093 1101 0 0 25 0 1 0 189134052 479936512 102992 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 117172 102992 568 886 0 116282 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 468688 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1388264/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=489300 CPUtime=1301.92 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 111109 0 0 0 129040 1152 0 0 25 0 1 0 189134052 501043200 106939 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 122325 106939 568 886 0 121435 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 489300 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1375912/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=503556 CPUtime=1361.9 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 114297 0 0 0 134985 1205 0 0 25 0 1 0 189134052 515641344 110033 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 125889 110033 568 886 0 124999 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 503556 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1361960/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=521472 CPUtime=1421.89 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 117785 0 0 0 140931 1258 0 0 25 0 1 0 189134052 533987328 113477 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 130368 113477 568 886 0 129478 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 521472 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1345256/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=541824 CPUtime=1481.87 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 122069 0 0 0 146881 1306 0 0 25 0 1 0 189134052 554827776 117656 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 135456 117656 568 886 0 134566 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 541824 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1331112/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=557624 CPUtime=1541.85 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 125677 0 0 0 152832 1353 0 0 25 0 1 0 189134052 571006976 121159 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 139406 121159 568 886 0 138516 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 557624 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1316200/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=575816 CPUtime=1601.83 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 129433 0 0 0 158779 1404 0 0 25 0 1 0 189134052 589635584 124887 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 143954 124887 568 886 0 143064 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 575816 Solver just ended. Dumping a history of the last processes samples [startup+1612.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1313704/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=579448 CPUtime=1612.23 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 130030 0 0 0 159810 1413 0 0 25 0 1 0 189134052 593354752 125484 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 144862 125484 568 886 0 143972 0 Current children cumulated CPU time (s) 1612.23 Current children cumulated vsize (KiB) 579448 [startup+1615.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1312936/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=580864 CPUtime=1615.43 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 130238 0 0 0 160127 1416 0 0 25 0 1 0 189134052 594804736 125682 1992294400 4194304 7823515 548682068736 18446744073709551615 4244796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 145216 125682 568 886 0 144326 0 Current children cumulated CPU time (s) 1615.43 Current children cumulated vsize (KiB) 580864 [startup+1617.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1312552/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=581192 CPUtime=1617.03 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 130333 0 0 0 160285 1418 0 0 25 0 1 0 189134052 595140608 125777 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 145298 125777 568 886 0 144408 0 Current children cumulated CPU time (s) 1617.03 Current children cumulated vsize (KiB) 581192 [startup+1618.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1312488/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=581192 CPUtime=1617.83 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 130337 0 0 0 160365 1418 0 0 25 0 1 0 189134052 595140608 125781 1992294400 4194304 7823515 548682068736 18446744073709551615 4348336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 145298 125781 568 886 0 144408 0 Current children cumulated CPU time (s) 1617.83 Current children cumulated vsize (KiB) 581192 [startup+1618.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1312488/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=581192 CPUtime=1618.22 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 130350 0 0 0 160404 1418 0 0 25 0 1 0 189134052 595140608 125794 1992294400 4194304 7823515 548682068736 18446744073709551615 4211738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10519/statm: 145298 125794 570 886 0 144408 0 Current children cumulated CPU time (s) 1618.22 Current children cumulated vsize (KiB) 581192 [startup+1619.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1312488/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=581192 CPUtime=1618.63 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 130353 0 0 0 160444 1419 0 0 25 0 1 0 189134052 595140608 125797 1992294400 4194304 7823515 548682068736 18446744073709551615 4211728 0 0 4096 0 0 0 0 17 1 0 0 /proc/10519/statm: 145298 125797 573 886 0 144408 0 Current children cumulated CPU time (s) 1618.63 Current children cumulated vsize (KiB) 581192 [startup+1619.21 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10520 /proc/meminfo: memFree=1312488/2055920 swapFree=4181884/4192956 [pid=10519] ppid=10517 vsize=351832 CPUtime=1618.73 /proc/10519/stat : 10519 (pbscip.linux.x8) R 10517 10519 9189 0 -1 4194304 130353 0 0 0 160451 1422 0 0 25 0 1 0 189134052 360275968 84755 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0 /proc/10519/statm: 87958 84755 14741 886 0 87068 0 Current children cumulated CPU time (s) 1618.73 Current children cumulated vsize (KiB) 351832 Child status: 0 Real time (s): 1619.25 CPU time (s): 1618.79 CPU user time (s): 1604.51 CPU system time (s): 14.2728 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 581192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1604.51 system time used= 14.2728 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 130357 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= 1440 runsolver used 1.2788 second user time and 3.2865 second system time The end
Begin job on node42 at 2009-06-17 07:09:32 IDJOB=1870672 IDBENCH=48335 IDSOLVER=683 FILE ID=node42/1870672-1245215372 PBS_JOBID= 9368390 Free space on /tmp= 66148 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_5_15.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-1870672-1245215372/watcher-1870672-1245215372 -o /tmp/evaluation-result-1870672-1245215372/solver-1870672-1245215372 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870672-1245215372.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b927be10d6e21370847ee6c94426772 RANDOM SEED=2008846541 node42.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.214 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.214 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: 1815664 kB Buffers: 25588 kB Cached: 132112 kB SwapCached: 5092 kB Active: 77908 kB Inactive: 87884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815664 kB SwapTotal: 4192956 kB SwapFree: 4181884 kB Dirty: 10540 kB Writeback: 0 kB Mapped: 14316 kB Slab: 60496 kB Committed_AS: 190332 kB PageTables: 1400 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= 66136 MiB End job on node42 at 2009-06-17 07:36:32