0.00/0.02 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3451089-1307090605.opb>
0.07/0.18 c original problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 28143 constraints
0.07/0.18 c problem read
0.07/0.18 c presolving settings loaded
0.17/0.22 o 0
0.17/0.22 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.17/0.22 c presolving:
0.27/0.33 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 28143 upgd conss, 56286 impls, 0 clqs
0.57/0.60 c (0.6s) probing: 101/595 (17.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.57/0.60 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.57/0.60 c presolving (2 rounds):
0.57/0.60 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.57/0.60 c 56286 implications, 0 cliques
0.57/0.60 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 28143 constraints
0.57/0.60 c 28143 constraints of type <setppc>
0.57/0.60 c transformed objective value is always integral (scale: 1)
0.57/0.60 c Presolving Time: 0.39
0.57/0.60 c - non default parameters ----------------------------------------------------------------------
0.57/0.60 c # SCIP version 2.0.1.5
0.57/0.60 c
0.57/0.60 c # frequency for displaying node information lines
0.57/0.60 c # [type: int, range: [-1,2147483647], default: 100]
0.57/0.60 c display/freq = 10000
0.57/0.60 c
0.57/0.60 c # maximal time in seconds to run
0.57/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.57/0.60 c limits/time = 1800
0.57/0.60 c
0.57/0.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.57/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.57/0.60 c limits/memory = 13950
0.57/0.60 c
0.57/0.60 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.57/0.60 c # [type: int, range: [1,2], default: 1]
0.57/0.60 c timing/clocktype = 2
0.57/0.60 c
0.57/0.60 c # belongs reading time to solving time?
0.57/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.57/0.60 c timing/reading = TRUE
0.57/0.60 c
0.57/0.60 c # should presolving try to simplify inequalities
0.57/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.57/0.60 c constraints/linear/simplifyinequalities = TRUE
0.57/0.60 c
0.57/0.60 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.57/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.57/0.60 c constraints/indicator/addCouplingCons = TRUE
0.57/0.60 c
0.57/0.60 c # should presolving try to simplify knapsacks
0.57/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.57/0.60 c constraints/knapsack/simplifyinequalities = TRUE
0.57/0.60 c
0.57/0.60 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.57/0.60 c # [type: int, range: [-1,2147483647], default: -1]
0.57/0.60 c separating/rapidlearning/freq = 0
0.57/0.60 c
0.57/0.60 c -----------------------------------------------------------------------------------------------
0.57/0.60 c start solving
0.57/0.60 c
0.88/0.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.88/0.90 c t 0.9s| 1 | 0 | 596 | - | 35M| 0 | 595 | 595 | 28k| 595 | 28k| 0 | 0 | 0 |-2.975000e+02 | 0.000000e+00 | 100.00%
0.88/0.92 o -1
0.88/0.92 c R 0.9s| 1 | 0 | 596 | - | 35M| 0 | 595 | 595 | 28k| 595 | 28k| 0 | 0 | 0 |-2.975000e+02 |-1.000000e+00 | 99.66%
1.25/1.38 c 1.4s| 1 | 0 | 787 | - | 35M| 0 | 551 | 595 | 28k| 595 | 28k| 5 | 0 | 0 |-2.755000e+02 |-1.000000e+00 | 99.64%
1.25/1.39 o -22
1.25/1.39 c b 1.4s| 1 | 0 | 787 | - | 35M| 0 | 551 | 595 | 28k| 595 | 28k| 5 | 0 | 0 |-2.755000e+02 |-2.200000e+01 | 92.01%
1.75/1.84 c 1.8s| 1 | 0 | 982 | - | 35M| 0 | 510 | 595 | 28k| 595 | 28k| 19 | 0 | 0 |-2.550000e+02 |-2.200000e+01 | 91.37%
2.33/2.49 c 2.5s| 1 | 0 | 1230 | - | 35M| 0 | 450 | 595 | 28k| 595 | 28k| 61 | 0 | 0 |-2.250000e+02 |-2.200000e+01 | 90.22%
3.13/3.27 c 3.3s| 1 | 0 | 1596 | - | 35M| 0 | 417 | 595 | 28k| 595 | 28k| 78 | 0 | 0 |-2.073333e+02 |-2.200000e+01 | 89.39%
3.81/3.95 c 3.9s| 1 | 0 | 1808 | - | 35M| 0 | 382 | 595 | 28k| 595 | 28k| 93 | 0 | 0 |-1.898333e+02 |-2.200000e+01 | 88.41%
4.49/4.68 c 4.7s| 1 | 0 | 2055 | - | 35M| 0 | 348 | 595 | 28k| 595 | 28k| 106 | 0 | 0 |-1.740000e+02 |-2.200000e+01 | 87.36%
5.19/5.32 c 5.3s| 1 | 0 | 2234 | - | 35M| 0 | 316 | 595 | 28k| 595 | 28k| 118 | 0 | 0 |-1.580000e+02 |-2.200000e+01 | 86.08%
6.29/6.40 c 6.4s| 1 | 0 | 3563 | - | 35M| 0 | 279 | 595 | 28k| 595 | 28k| 130 | 0 | 0 |-1.395000e+02 |-2.200000e+01 | 84.23%
6.99/7.11 c 7.1s| 1 | 0 | 3903 | - | 35M| 0 | 256 | 595 | 28k| 595 | 28k| 136 | 0 | 0 |-1.280000e+02 |-2.200000e+01 | 82.81%
7.69/7.89 c 7.9s| 1 | 0 | 4514 | - | 35M| 0 | 222 | 595 | 28k| 595 | 28k| 146 | 0 | 0 |-1.110000e+02 |-2.200000e+01 | 80.18%
8.19/8.38 c 8.4s| 1 | 0 | 5386 | - | 35M| 0 | 196 | 595 | 28k| 595 | 28k| 156 | 0 | 0 |-9.800000e+01 |-2.200000e+01 | 77.55%
8.79/8.96 c 8.9s| 1 | 0 | 6693 | - | 35M| 0 | 168 | 595 | 28k| 595 | 28k| 162 | 0 | 0 |-8.400000e+01 |-2.200000e+01 | 73.81%
9.09/9.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.09/9.24 c 9.2s| 1 | 0 | 6897 | - | 35M| 0 | 153 | 595 | 28k| 595 | 28k| 171 | 0 | 0 |-7.650000e+01 |-2.200000e+01 | 71.24%
9.59/9.77 c 9.7s| 1 | 0 | 7892 | - | 35M| 0 | 129 | 595 | 28k| 595 | 28k| 180 | 0 | 0 |-6.450000e+01 |-2.200000e+01 | 65.89%
10.09/10.20 c 10.2s| 1 | 0 | 8851 | - | 35M| 0 | 107 | 595 | 28k| 595 | 28k| 192 | 0 | 0 |-5.250000e+01 |-2.200000e+01 | 58.10%
10.29/10.45 c 10.4s| 1 | 0 | 9002 | - | 35M| 0 | 99 | 595 | 28k| 595 | 28k| 200 | 0 | 0 |-4.250000e+01 |-2.200000e+01 | 48.24%
10.49/10.67 c 10.6s| 1 | 0 | 9051 | - | 35M| 0 | 79 | 595 | 28k| 595 | 28k| 206 | 0 | 0 |-3.800000e+01 |-2.200000e+01 | 42.11%
10.69/10.86 c 10.8s| 1 | 0 | 9076 | - | 35M| 0 | 75 | 595 | 28k| 595 | 28k| 214 | 0 | 0 |-3.700000e+01 |-2.200000e+01 | 40.54%
10.91/11.09 c 11.1s| 1 | 0 | 9178 | - | 35M| 0 | 105 | 595 | 28k| 595 | 28k| 222 | 0 | 0 |-3.588889e+01 |-2.200000e+01 | 38.70%
11.19/11.31 c 11.3s| 1 | 0 | 9233 | - | 35M| 0 | 103 | 595 | 28k| 595 | 28k| 231 | 0 | 0 |-3.588889e+01 |-2.200000e+01 | 38.70%
11.29/11.44 c 11.4s| 1 | 0 | 9289 | - | 35M| 0 | 84 | 595 | 28k| 595 | 28k| 244 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
11.49/11.64 c 11.6s| 1 | 0 | 9473 | - | 35M| 0 | 65 | 595 | 28k| 595 | 28k| 255 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
11.69/11.80 c 11.8s| 1 | 0 | 9577 | - | 35M| 0 | 115 | 595 | 28k| 595 | 28k| 268 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
12.01/12.19 c 12.2s| 1 | 0 | 9834 | - | 35M| 0 | 105 | 595 | 28k| 595 | 28k| 279 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
12.59/12.78 c 12.8s| 1 | 0 | 10190 | - | 36M| 0 | 126 | 595 | 28k| 595 | 28k| 291 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
14.59/14.78 c 14.8s| 1 | 0 | 10538 | - | 36M| 0 | 128 | 595 | 28k| 595 | 28k| 300 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
14.79/14.97 c 14.9s| 1 | 0 | 10629 | - | 36M| 0 | 139 | 595 | 28k| 595 | 28k| 310 | 0 | 0 |-3.500000e+01 |-2.200000e+01 | 37.14%
15.39/15.57 o -24
15.39/15.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.39/15.57 c E15.5s| 1 | 0 | 10629 | - | 36M| 0 | 139 | 595 | 28k| 595 | 28k| 310 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
15.39/15.58 c 15.6s| 1 | 0 | 10629 | - | 36M| 0 | 139 | 595 | 28k| 595 | 28k| 310 | 0 | 0 |-3.500000e+01 |-2.400000e+01 | 31.43%
15.39/15.58 o -25
15.39/15.58 c b15.6s| 1 | 0 | 10629 | - | 36M| 0 | 139 | 595 | 28k| 595 | 28k| 310 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
18.29/18.42 c 18.4s| 1 | 0 | 10795 | - | 36M| 0 | 169 | 595 | 28k| 595 | 28k| 321 | 0 | 0 |-3.500000e+01 |-2.500000e+01 | 28.57%
23.39/23.56 c 23.5s| 1 | 2 | 10795 | - | 36M| 0 | 169 | 595 | 28k| 595 | 28k| 321 | 0 | 21 |-3.500000e+01 |-2.500000e+01 | 28.57%
43.69/43.88 o -26
43.69/43.88 c c43.9s| 15 | 16 | 12686 | 135.1 | 37M| 14 | - | 595 | 28k| 595 | 28k| 321 | 0 | 311 |-3.500000e+01 |-2.600000e+01 | 25.71%
64.19/64.32 o -27
64.19/64.32 c p64.3s| 27 | 23 | 14298 | 134.7 | 37M| 14 | - | 595 | 28k| 595 | 28k| 321 | 0 | 595 |-3.500000e+01 |-2.700000e+01 | 22.86%
81.89/82.00 o -28
81.89/82.00 c v82.0s| 63 | 53 | 16714 | 95.5 | 38M| 17 | - | 595 | 28k| 595 | 28k| 321 | 0 | 874 |-3.500000e+01 |-2.800000e+01 | 20.00%
85.40/85.58 o -29
85.40/85.58 c S85.6s| 147 | 111 | 20596 | 67.1 | 39M| 23 | 0 | 595 | 28k| 595 | 28k| 321 | 0 | 913 |-3.500000e+01 |-2.900000e+01 | 17.14%
87.69/87.81 o -30
87.69/87.81 c R87.8s| 235 | 128 | 23391 | 53.8 | 40M| 27 | - | 595 | 28k| 595 | 28k| 321 | 0 | 931 |-3.500000e+01 |-3.000000e+01 | 14.29%
101.80/101.92 o -31
101.80/101.92 c * 102s| 749 | 262 | 40248 | 39.4 | 42M| 35 | - | 595 | 28k| 595 | 28k| 321 | 0 |1025 |-3.500000e+01 |-3.100000e+01 | 11.43%
334.80/334.92 c 335s| 10000 | 3855 |362421 | 35.2 | 97M| 74 | 59 | 595 | 28k| 595 | 28k| 321 | 0 |2338 |-3.500000e+01 |-3.100000e+01 | 11.43%
369.10/369.29 o -32
369.10/369.29 c v 369s| 11481 | 2778 |410919 | 34.9 | 87M| 76 | - | 595 | 28k| 595 | 28k| 321 | 0 |2543 |-3.500000e+01 |-3.200000e+01 | 8.57%
534.41/534.52 c 535s| 20000 | 4317 |641960 | 31.6 | 112M| 76 | - | 595 | 28k| 595 | 28k| 321 | 0 |3359 |-3.500000e+01 |-3.200000e+01 | 8.57%
715.41/715.51 c 715s| 30000 | 6181 |910283 | 30.0 | 144M| 76 | - | 595 | 28k| 595 | 28k| 321 | 0 |4192 |-3.500000e+01 |-3.200000e+01 | 8.57%
875.53/875.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.53/875.67 c 876s| 40000 | 8059 | 1174k| 29.1 | 175M| 76 | - | 595 | 28k| 595 | 28k| 321 | 0 |4353 |-3.500000e+01 |-3.200000e+01 | 8.57%
1041.22/1041.30 c 1041s| 50000 | 9761 | 1431k| 28.4 | 203M| 76 | 72 | 595 | 28k| 595 | 28k| 321 | 0 |4818 |-3.500000e+01 |-3.200000e+01 | 8.57%
1211.42/1211.51 c 1211s| 60000 | 11311 | 1680k| 27.8 | 229M| 76 | - | 595 | 28k| 595 | 28k| 321 | 0 |5567 |-3.500000e+01 |-3.200000e+01 | 8.57%
1382.83/1382.92 c 1383s| 70000 | 12799 | 1936k| 27.5 | 254M| 76 | - | 595 | 28k| 595 | 28k| 321 | 0 |6260 |-3.500000e+01 |-3.200000e+01 | 8.57%
1545.53/1545.61 c 1546s| 80000 | 14307 | 2183k| 27.2 | 278M| 76 | 75 | 595 | 28k| 595 | 28k| 321 | 0 |6764 |-3.500000e+01 |-3.200000e+01 | 8.57%
1710.03/1710.13 c 1710s| 90000 | 15829 | 2438k| 27.0 | 303M| 76 | - | 595 | 28k| 595 | 28k| 321 | 0 |7235 |-3.500000e+01 |-3.200000e+01 | 8.57%
1710.33/1710.51 o -33
1710.33/1710.51 c *1710s| 90019 | 6803 | 2439k| 27.0 | 175M| 76 | - | 595 | 28k| 595 | 28k| 321 | 0 |7235 |-3.500000e+01 |-3.300000e+01 | 5.71%
1799.94/1800.03 c
1799.94/1800.03 c SCIP Status : solving was interrupted [time limit reached]
1799.94/1800.03 c Solving Time (sec) : 1800.01
1799.94/1800.03 c Solving Nodes : 95900
1799.94/1800.03 c Primal Bound : -3.30000000000000e+01 (530 solutions)
1799.94/1800.03 c Dual Bound : -3.50000000000000e+01
1799.94/1800.03 c Gap : 5.71 %
1799.94/1800.04 s SATISFIABLE
1799.94/1800.04 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1799.94/1800.04 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1799.94/1800.04 v -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79
1799.94/1800.04 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1799.94/1800.04 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1799.94/1800.04 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1799.94/1800.04 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1799.94/1800.04 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1799.94/1800.04 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208
1799.94/1800.04 v -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1799.94/1800.04 v -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1799.94/1800.04 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1799.94/1800.04 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 x291 -x292
1799.94/1800.04 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1799.94/1800.04 v -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334
1799.94/1800.04 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
1799.94/1800.04 v -x356 x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1799.94/1800.04 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398
1799.94/1800.04 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419
1799.94/1800.04 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440
1799.94/1800.04 v -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1799.94/1800.04 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1799.94/1800.04 v -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1799.94/1800.04 v -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524
1799.94/1800.04 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545
1799.94/1800.04 v -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566
1799.94/1800.04 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1799.94/1800.04 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
1799.94/1800.04 c SCIP Status : solving was interrupted [time limit reached]
1799.94/1800.04 c Total Time : 1800.01
1799.94/1800.04 c solving : 1800.01
1799.94/1800.04 c presolving : 0.39 (included in solving)
1799.94/1800.04 c reading : 0.17 (included in solving)
1799.94/1800.04 c Original Problem :
1799.94/1800.04 c Problem name : HOME/instance-3451089-1307090605.opb
1799.94/1800.04 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.94/1800.04 c Constraints : 28143 initial, 28143 maximal
1799.94/1800.04 c Presolved Problem :
1799.94/1800.04 c Problem name : t_HOME/instance-3451089-1307090605.opb
1799.94/1800.04 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.94/1800.04 c Constraints : 28143 initial, 28143 maximal
1799.94/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.94/1800.04 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.04 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.04 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.04 c probing : 0.25 0 0 0 0 0 0 0 0 0
1799.94/1800.04 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1799.94/1800.04 c linear : 0.10 0 0 0 0 0 0 0 0 0
1799.94/1800.04 c root node : - 0 - - 0 - - - - -
1799.94/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.94/1800.04 c integral : 0 0 0 57630 0 533 0 110 1632 0 0 113704
1799.94/1800.04 c setppc : 28143 28 162343 2 0 528 0 0 1320634 0 0 0
1799.94/1800.04 c countsols : 0 0 0 2 0 531 0 0 0 0 0 0
1799.94/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.94/1800.04 c integral : 241.67 0.00 0.00 241.66 0.00 0.01 0.00
1799.94/1800.04 c setppc : 17.68 0.05 17.31 0.00 0.00 0.32 0.00
1799.94/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.94/1800.04 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.94/1800.04 c vbounds : 0 0 0 0
1799.94/1800.04 c rootredcost : 9 0 0 0
1799.94/1800.04 c pseudoobj : 162265 0 0 0
1799.94/1800.04 c Propagator Timings : TotalTime Propagate Resprop
1799.94/1800.04 c vbounds : 0.06 0.06 0.00
1799.94/1800.04 c rootredcost : 0.07 0.07 0.00
1799.94/1800.04 c pseudoobj : 2.47 2.47 0.00
1799.94/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.94/1800.04 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.94/1800.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.94/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.94/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.94/1800.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.94/1800.04 c applied globally : - - - 0 0.0 - - -
1799.94/1800.04 c applied locally : - - - 0 0.0 - - -
1799.94/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.94/1800.04 c cut pool : 0.00 27 - - 74 - (maximal pool size: 828)
1799.94/1800.04 c redcost : 0.72 57966 0 322 0 0
1799.94/1800.04 c impliedbounds : 0.01 28 0 0 0 0
1799.94/1800.04 c intobj : 0.00 0 0 0 0 0
1799.94/1800.04 c gomory : 7.45 28 0 0 14000 0
1799.94/1800.04 c cgmip : 0.00 0 0 0 0 0
1799.94/1800.04 c closecuts : 0.00 0 0 0 0 0
1799.94/1800.04 c strongcg : 1.71 20 0 0 10000 0
1799.94/1800.04 c cmir : 1.37 10 0 0 0 0
1799.94/1800.04 c flowcover : 1.63 10 0 0 0 0
1799.94/1800.04 c clique : 0.23 28 0 0 243 0
1799.94/1800.04 c zerohalf : 0.00 0 0 0 0 0
1799.94/1800.04 c mcf : 0.01 1 0 0 0 0
1799.94/1800.04 c oddcycle : 0.00 0 0 0 0 0
1799.94/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1799.94/1800.04 c Pricers : Time Calls Vars
1799.94/1800.04 c problem variables: 0.00 0 0
1799.94/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.94/1800.04 c relpscost : 241.57 57628 110 1632 0 0 113704
1799.94/1800.04 c pscost : 0.00 0 0 0 0 0 0
1799.94/1800.04 c inference : 0.00 0 0 0 0 0 0
1799.94/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1799.94/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1799.94/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1799.94/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1799.94/1800.04 c random : 0.00 0 0 0 0 0 0
1799.94/1800.04 c Primal Heuristics : Time Calls Found
1799.94/1800.04 c LP solutions : 0.05 - 2
1799.94/1800.04 c pseudo solutions : 0.00 - 0
1799.94/1800.04 c feaspump : 0.00 0 0
1799.94/1800.04 c intshifting : 0.00 0 0
1799.94/1800.04 c oneopt : 0.09 12 2
1799.94/1800.04 c crossover : 2.60 20 7
1799.94/1800.04 c guideddiving : 16.79 95 0
1799.94/1800.04 c pscostdiving : 5.80 95 1
1799.94/1800.04 c fracdiving : 13.37 95 4
1799.94/1800.04 c linesearchdiving : 5.72 95 1
1799.94/1800.04 c veclendiving : 7.43 95 8
1799.94/1800.04 c objpscostdiving : 7.63 48 101
1799.94/1800.04 c rootsoldiving : 5.67 48 64
1799.94/1800.04 c coefdiving : 12.25 96 3
1799.94/1800.04 c trivial : 0.01 2 1
1799.94/1800.04 c shiftandpropagate: 0.00 0 0
1799.94/1800.04 c simplerounding : 0.71 57657 96
1799.94/1800.04 c zirounding : 17.35 11801 236
1799.94/1800.04 c rounding : 14.90 15073 2
1799.94/1800.04 c shifting : 1.61 1379 1
1799.94/1800.04 c twoopt : 0.00 0 0
1799.94/1800.04 c fixandinfer : 0.00 0 0
1799.94/1800.04 c clique : 0.00 0 0
1799.94/1800.04 c intdiving : 0.00 0 0
1799.94/1800.04 c actconsdiving : 0.00 0 0
1799.94/1800.04 c octane : 0.00 0 0
1799.94/1800.04 c rens : 0.61 1 1
1799.94/1800.04 c rins : 0.00 0 0
1799.94/1800.04 c localbranching : 0.00 0 0
1799.94/1800.04 c mutation : 0.00 0 0
1799.94/1800.04 c dins : 0.00 0 0
1799.94/1800.04 c vbounds : 0.00 0 0
1799.94/1800.04 c undercover : 0.00 0 0
1799.94/1800.04 c subnlp : 0.03 0 0
1799.94/1800.04 c trysol : 0.03 0 0
1799.94/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1799.94/1800.04 c primal LP : 0.02 0 0 0.00 0.00
1799.94/1800.04 c dual LP : 1208.56 96594 2474974 25.62 2047.87
1799.94/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1799.94/1800.04 c barrier LP : 0.00 0 0 0.00 -
1799.94/1800.04 c diving/probing LP: 62.33 7054 99428 14.10 1595.30
1799.94/1800.04 c strong branching : 238.76 7462 433191 58.05 1814.35
1799.94/1800.04 c (at root node) : - 21 9913 472.05 -
1799.94/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1799.94/1800.04 c B&B Tree :
1799.94/1800.04 c number of runs : 1
1799.94/1800.04 c nodes : 95900
1799.94/1800.04 c nodes (total) : 95900
1799.94/1800.04 c nodes left : 7126
1799.94/1800.04 c max depth : 76
1799.94/1800.04 c max depth (total): 76
1799.94/1800.04 c backtracks : 10784 (11.2%)
1799.94/1800.04 c delayed cutoffs : 0
1799.94/1800.04 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.94/1800.04 c avg switch length: 5.14
1799.94/1800.04 c switching time : 51.44
1799.94/1800.04 c Solution :
1799.94/1800.04 c Solutions found : 530 (13 improvements)
1799.94/1800.04 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
1799.94/1800.04 c Primal Bound : -3.30000000000000e+01 (in run 1, after 90019 nodes, 1710.44 seconds, depth 22, found by <relaxation>)
1799.94/1800.04 c Dual Bound : -3.50000000000000e+01
1799.94/1800.04 c Gap : 5.71 %
1799.94/1800.04 c Root Dual Bound : -3.50000000000000e+01
1799.94/1800.04 c Root Iterations : 10795
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3451089-1307090605/watcher-3451089-1307090605 -o /tmp/evaluation-result-3451089-1307090605/solver-3451089-1307090605 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451089-1307090605.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.04 2.01 4/534 9231
/proc/meminfo: memFree=25257288/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=9724 CPUtime=0 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 1563 0 0 0 0 0 0 0 20 0 1 0 801476801 9957376 1517 33554432000 4194304 9163163 140734789949456 18446744073709551615 8034160 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/9231/statm: 2431 1517 352 1214 0 1213 0
[startup+0.0340641 s]
/proc/loadavg: 2.04 2.04 2.01 4/534 9231
/proc/meminfo: memFree=25257288/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=14320 CPUtime=0.01 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 2551 0 0 0 1 0 0 0 20 0 1 0 801476801 14663680 2505 33554432000 4194304 9163163 140734789949456 18446744073709551615 8041854 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/9231/statm: 3580 2505 395 1214 0 2362 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14320
[startup+0.101052 s]
/proc/loadavg: 2.04 2.04 2.01 4/534 9231
/proc/meminfo: memFree=25257288/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=19132 CPUtime=0.07 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 3777 0 0 0 7 0 0 0 20 0 1 0 801476801 19591168 3731 33554432000 4194304 9163163 140734789949456 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/9231/statm: 4783 3731 395 1214 0 3565 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19132
[startup+0.301019 s]
/proc/loadavg: 2.04 2.04 2.01 4/534 9231
/proc/meminfo: memFree=25257288/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=51832 CPUtime=0.27 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 12412 0 0 0 26 1 0 0 21 0 1 0 801476801 53075968 11608 33554432000 4194304 9163163 140734789949456 18446744073709551615 18446744073699065971 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/9231/statm: 12958 11608 512 1214 0 11740 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 51832
[startup+0.700947 s]
/proc/loadavg: 2.04 2.04 2.01 4/534 9231
/proc/meminfo: memFree=25257288/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=88748 CPUtime=0.67 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 22986 0 0 0 65 2 0 0 22 0 1 0 801476801 90877952 20434 33554432000 4194304 9163163 140734789949456 18446744073709551615 6974024 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/9231/statm: 22187 20434 640 1214 0 20969 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 88748
[startup+1.5008 s]
/proc/loadavg: 2.04 2.04 2.01 3/536 9233
/proc/meminfo: memFree=25083540/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=98724 CPUtime=1.45 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 26127 0 0 0 142 3 0 0 25 0 1 0 801476801 101093376 22844 33554432000 4194304 9163163 140734789949456 18446744073709551615 6668679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/9231/statm: 24681 22844 818 1214 0 23463 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 98724
[startup+3.10052 s]
/proc/loadavg: 2.04 2.04 2.01 3/536 9233
/proc/meminfo: memFree=25074316/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=101092 CPUtime=3.03 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 26965 0 0 0 299 4 0 0 25 0 1 0 801476801 103518208 23675 33554432000 4194304 9163163 140734789949456 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/9231/statm: 25273 23675 814 1214 0 24055 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 101092
[startup+6.30098 s]
/proc/loadavg: 2.04 2.04 2.01 4/536 9233
/proc/meminfo: memFree=25067108/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=102424 CPUtime=6.19 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 27554 0 0 0 613 6 0 0 25 0 1 0 801476801 104882176 24166 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 25606 24166 716 1214 0 24388 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 102424
[startup+12.7008 s]
/proc/loadavg: 2.03 2.04 2.01 3/536 9233
/proc/meminfo: memFree=25064424/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=102424 CPUtime=12.59 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 27695 0 0 0 1247 12 0 0 25 0 1 0 801476801 104882176 24294 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 25606 24294 703 1214 0 24388 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 102424
[startup+25.5006 s]
/proc/loadavg: 2.03 2.03 2.01 4/536 9234
/proc/meminfo: memFree=25026416/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=137384 CPUtime=25.39 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 36481 0 0 0 2513 26 0 0 25 0 1 0 801476801 140681216 33031 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 34346 33031 718 1214 0 33128 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 137384
[startup+51.101 s]
/proc/loadavg: 2.02 2.03 2.01 4/536 9234
/proc/meminfo: memFree=25025228/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=137384 CPUtime=50.99 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 36481 0 0 0 5049 50 0 0 25 0 1 0 801476801 140681216 33031 33554432000 4194304 9163163 140734789949456 18446744073709551615 7379213 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 34346 33031 718 1214 0 33128 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 137384
[startup+102.322 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 9236
/proc/meminfo: memFree=25000396/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=130476 CPUtime=102.21 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 37422 0 0 0 10125 96 0 0 25 0 1 0 801476801 133607424 31634 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 32619 31634 720 1214 0 31401 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 130476
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 9237
/proc/meminfo: memFree=25000828/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=130476 CPUtime=162.19 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 50104 0 0 0 16066 153 0 0 25 0 1 0 801476801 133607424 31642 33554432000 4194304 9163163 140734789949456 18446744073709551615 7375707 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 32619 31642 724 1214 0 31401 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 130476
[startup+222.3 s]
/proc/loadavg: 2.16 2.06 2.01 4/536 9239
/proc/meminfo: memFree=24992100/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=142256 CPUtime=222.19 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 61657 0 0 0 22015 204 0 0 25 0 1 0 801476801 145670144 34204 33554432000 4194304 9163163 140734789949456 18446744073709551615 7238352 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 35564 34204 724 1214 0 34346 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 142256
[startup+282.301 s]
/proc/loadavg: 2.15 2.08 2.02 4/536 9241
/proc/meminfo: memFree=24967356/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=155012 CPUtime=282.2 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 73830 0 0 0 27955 265 0 0 25 0 1 0 801476801 158732288 37269 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 38753 37269 724 1214 0 37535 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 155012
[startup+342.301 s]
/proc/loadavg: 2.05 2.06 2.01 4/536 9242
/proc/meminfo: memFree=24934424/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=171364 CPUtime=342.19 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 87092 0 0 0 33903 316 0 0 25 0 1 0 801476801 175476736 41455 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 42841 41455 724 1214 0 41623 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 171364
[startup+402.3 s]
/proc/loadavg: 2.02 2.05 2.01 4/536 9244
/proc/meminfo: memFree=24915148/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=179436 CPUtime=402.2 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 115540 0 0 0 39844 376 0 0 25 0 1 0 801476801 183742464 42982 33554432000 4194304 9163163 140734789949456 18446744073709551615 7376271 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 44859 42982 724 1214 0 43641 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 179436
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.00 4/536 9245
/proc/meminfo: memFree=24904652/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=182676 CPUtime=462.2 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 126061 0 0 0 45796 424 0 0 25 0 1 0 801476801 187060224 44427 33554432000 4194304 9163163 140734789949456 18446744073709551615 7375435 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 45669 44427 724 1214 0 44451 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 182676
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 4/536 9247
/proc/meminfo: memFree=24898256/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=188292 CPUtime=522.21 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 136205 0 0 0 51745 476 0 0 25 0 1 0 801476801 192811008 45362 33554432000 4194304 9163163 140734789949456 18446744073709551615 7085102 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 47073 45362 724 1214 0 45855 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 188292
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 9249
/proc/meminfo: memFree=24887920/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=195412 CPUtime=582.21 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 138325 0 0 0 57690 531 0 0 25 0 1 0 801476801 200101888 47482 33554432000 4194304 9163163 140734789949456 18446744073709551615 7240253 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 48853 47482 724 1214 0 47635 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 195412
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.09 2.07 2.02 4/536 9257
/proc/meminfo: memFree=24810396/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=254816 CPUtime=882.21 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 172394 0 0 0 87441 780 0 0 25 0 1 0 801476801 260931584 62287 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 63704 62287 724 1214 0 62486 0
Current children cumulated CPU time (s) 882.21
Current children cumulated vsize (KiB) 254816
[startup+942.301 s]
/proc/loadavg: 2.03 2.05 2.01 4/536 9258
/proc/meminfo: memFree=24798436/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=265516 CPUtime=942.21 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 175088 0 0 0 93391 830 0 0 25 0 1 0 801476801 271888384 64980 33554432000 4194304 9163163 140734789949456 18446744073709551615 7345695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 66379 64980 724 1214 0 65161 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 265516
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.01 4/536 9260
/proc/meminfo: memFree=24787320/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=276392 CPUtime=1002.21 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 186612 0 0 0 99342 879 0 0 25 0 1 0 801476801 283025408 67633 33554432000 4194304 9163163 140734789949456 18446744073709551615 7376025 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 69098 67633 724 1214 0 67880 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 276392
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/536 9270
/proc/meminfo: memFree=24780196/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=283500 CPUtime=1062.21 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 188340 0 0 0 105293 928 0 0 25 0 1 0 801476801 290304000 69361 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 70875 69361 724 1214 0 69657 0
Current children cumulated CPU time (s) 1062.21
Current children cumulated vsize (KiB) 283500
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 9272
/proc/meminfo: memFree=24769036/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=294604 CPUtime=1122.21 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 191299 0 0 0 111244 977 0 0 25 0 1 0 801476801 301674496 72316 33554432000 4194304 9163163 140734789949456 18446744073709551615 6916494 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 73651 72316 724 1214 0 72433 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 294604
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 9274
/proc/meminfo: memFree=24760160/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=302656 CPUtime=1182.22 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 193285 0 0 0 117195 1027 0 0 25 0 1 0 801476801 309919744 74302 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 75664 74302 724 1214 0 74446 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 302656
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/536 9275
/proc/meminfo: memFree=24748936/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=312336 CPUtime=1242.22 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 195705 0 0 0 123142 1080 0 0 25 0 1 0 801476801 319832064 76722 33554432000 4194304 9163163 140734789949456 18446744073709551615 7110296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 78084 76722 724 1214 0 76866 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 312336
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/536 9277
/proc/meminfo: memFree=24738580/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=322568 CPUtime=1302.23 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 198192 0 0 0 129093 1130 0 0 25 0 1 0 801476801 330309632 79209 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 80642 79209 724 1214 0 79424 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 322568
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.01 4/536 9278
/proc/meminfo: memFree=24732080/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=328024 CPUtime=1362.22 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 199611 0 0 0 135042 1180 0 0 25 0 1 0 801476801 335896576 80628 33554432000 4194304 9163163 140734789949456 18446744073709551615 7209907 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 82006 80628 724 1214 0 80788 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 328024
[startup+1422.32 s]
/proc/loadavg: 2.09 2.05 2.01 4/536 9280
/proc/meminfo: memFree=24725808/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=336624 CPUtime=1422.24 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 201739 0 0 0 140997 1227 0 0 25 0 1 0 801476801 344702976 82756 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 84156 82756 724 1214 0 82938 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 336624
[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.01 4/536 9282
/proc/meminfo: memFree=24718196/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=343956 CPUtime=1482.22 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 203626 0 0 0 146947 1275 0 0 25 0 1 0 801476801 352210944 84637 33554432000 4194304 9163163 140734789949456 18446744073709551615 6706936 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 85989 84637 724 1214 0 84771 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 343956
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/536 9283
/proc/meminfo: memFree=24707984/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=354788 CPUtime=1542.23 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 206256 0 0 0 152899 1324 0 0 25 0 1 0 801476801 363302912 87254 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 88697 87254 724 1214 0 87479 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 354788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 9285
/proc/meminfo: memFree=24693904/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=368240 CPUtime=1602.23 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 217348 0 0 0 158849 1374 0 0 25 0 1 0 801476801 377077760 90703 33554432000 4194304 9163163 140734789949456 18446744073709551615 6890184 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 92060 90703 724 1214 0 90842 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 368240
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 9286
/proc/meminfo: memFree=24681948/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=379948 CPUtime=1662.24 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 220192 0 0 0 164800 1424 0 0 25 0 1 0 801476801 389066752 93546 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 94987 93546 724 1214 0 93769 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 379948
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/536 9288
/proc/meminfo: memFree=24671968/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=389228 CPUtime=1722.24 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 237266 0 0 0 170744 1480 0 0 25 0 1 0 801476801 398569472 95819 33554432000 4194304 9163163 140734789949456 18446744073709551615 7375476 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 97307 95819 724 1214 0 96089 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 389228
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/536 9290
/proc/meminfo: memFree=24667316/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=391936 CPUtime=1782.24 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 253554 0 0 0 176693 1531 0 0 25 0 1 0 801476801 401342464 96519 33554432000 4194304 9163163 140734789949456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9231/statm: 97984 96519 725 1214 0 96766 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 391936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 2/535 9291
/proc/meminfo: memFree=24865080/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=391936 CPUtime=1800.04 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 253653 0 0 0 178459 1545 0 0 25 0 1 0 801476801 401342464 96618 33554432000 4194304 9163163 140734789949456 18446744073709551615 4219479 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9231/statm: 97984 96618 728 1214 0 96766 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 391936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 2/535 9291
/proc/meminfo: memFree=24865080/32951124 swapFree=46970528/67111528
[pid=9231] ppid=9227 vsize=391936 CPUtime=1800.04 cores=1,3,5,7
/proc/9231/stat : 9231 (scip-2.0.1.4b.l) R 9227 9231 6615 0 -1 4202496 253653 0 0 0 178459 1545 0 0 25 0 1 0 801476801 401342464 96618 33554432000 4194304 9163163 140734789949456 18446744073709551615 4219479 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9231/statm: 97984 96618 728 1214 0 96766 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 391936
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.08
CPU user time (s): 1784.61
CPU system time (s): 15.4716
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 420684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.61
system time used= 15.4716
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253653
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= 3
involuntary context switches= 1867
runsolver used 8.80966 second user time and 23.9044 second system time
The end