0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3479153-1307446590.opb>
0.01/0.05 c original problem has 341 variables (341 bin, 0 int, 0 impl, 0 cont) and 4803 constraints
0.01/0.05 c problem read
0.01/0.05 c presolving settings loaded
0.01/0.06 o 341
0.01/0.06 c feasible solution found by trivial heuristic, objective value 3.410000e+02
0.01/0.06 c presolving:
0.01/0.09 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4803 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/341 (29.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (2 rounds):
0.09/0.10 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 0 implications, 0 cliques
0.09/0.10 c presolved problem has 341 variables (341 bin, 0 int, 0 impl, 0 cont) and 4803 constraints
0.09/0.10 c 4803 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.04
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.0.1.5
0.09/0.10 c
0.09/0.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c conflict/interconss = 0
0.09/0.10 c
0.09/0.10 c # should binary conflicts be preferred?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c conflict/preferbinary = TRUE
0.09/0.10 c
0.09/0.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.10 c constraints/agelimit = 1
0.09/0.10 c
0.09/0.10 c # should enforcement of pseudo solution be disabled?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/disableenfops = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1800
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
1.29/1.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.36 c t 1.4s| 1 | 0 | 4723 | - |8596k| 0 | 153 | 341 |4803 | 341 |4803 | 0 | 0 | 0 | 2.649722e+01 | 3.410000e+02 |1186.93%
1.29/1.36 o 153
1.29/1.36 c r 1.4s| 1 | 0 | 4723 | - |8606k| 0 | 153 | 341 |4803 | 341 |4803 | 0 | 0 | 0 | 2.649722e+01 | 1.530000e+02 | 477.42%
1.29/1.36 o 152
1.29/1.36 c R 1.4s| 1 | 0 | 4723 | - |8615k| 0 | 153 | 341 |4803 | 341 |4803 | 0 | 0 | 0 | 2.649722e+01 | 1.520000e+02 | 473.65%
1.29/1.36 o 151
1.29/1.36 c s 1.4s| 1 | 0 | 4723 | - |8624k| 0 | 153 | 341 |4803 | 341 |4803 | 0 | 0 | 0 | 2.649722e+01 | 1.510000e+02 | 469.87%
1.99/2.08 c 2.1s| 1 | 0 | 4910 | - | 11M| 0 | 151 | 341 |4803 | 341 |4804 | 1 | 0 | 0 | 2.655254e+01 | 1.510000e+02 | 468.68%
1.99/2.08 o 58
1.99/2.08 c b 2.1s| 1 | 0 | 4910 | - | 11M| 0 | 151 | 341 |4803 | 341 |4804 | 1 | 0 | 0 | 2.655254e+01 | 5.800000e+01 | 118.43%
2.79/2.81 c 2.8s| 1 | 0 | 5055 | - | 14M| 0 | 147 | 341 |4803 | 341 |4805 | 2 | 0 | 0 | 2.658667e+01 | 5.800000e+01 | 118.15%
3.50/3.58 c 3.6s| 1 | 0 | 5213 | - | 17M| 0 | 155 | 341 |4803 | 341 |4806 | 3 | 0 | 0 | 2.659721e+01 | 5.800000e+01 | 118.07%
4.41/4.43 c 4.4s| 1 | 0 | 5375 | - | 20M| 0 | 146 | 341 |4803 | 341 |4807 | 4 | 0 | 0 | 2.660182e+01 | 5.800000e+01 | 118.03%
5.51/5.54 c 5.5s| 1 | 0 | 5474 | - | 23M| 0 | 145 | 341 |4803 | 341 |4808 | 5 | 0 | 0 | 2.660601e+01 | 5.800000e+01 | 118.00%
6.61/6.65 c 6.6s| 1 | 0 | 5649 | - | 24M| 0 | 150 | 341 |4803 | 341 |4809 | 6 | 0 | 0 | 2.661015e+01 | 5.800000e+01 | 117.96%
7.71/7.76 c 7.8s| 1 | 0 | 5758 | - | 24M| 0 | 150 | 341 |4803 | 341 |4810 | 7 | 0 | 0 | 2.661258e+01 | 5.800000e+01 | 117.94%
8.89/8.90 c 8.9s| 1 | 0 | 5943 | - | 24M| 0 | 148 | 341 |4803 | 341 |4811 | 8 | 0 | 0 | 2.661580e+01 | 5.800000e+01 | 117.92%
59.70/59.78 o 37
59.70/59.78 c E59.8s| 1 | 0 | 5943 | - | 24M| 0 | 148 | 341 |4803 | 341 |4811 | 8 | 0 | 0 | 2.661580e+01 | 3.700000e+01 | 39.02%
59.70/59.79 c 59.8s| 1 | 0 | 5943 | - | 24M| 0 | 148 | 341 |4803 | 341 |4811 | 8 | 0 | 0 | 2.661580e+01 | 3.700000e+01 | 39.02%
70.09/70.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.09/70.12 c 70.1s| 1 | 2 | 5943 | - | 24M| 0 | 148 | 341 |4803 | 341 |4811 | 8 | 0 | 33 | 2.661580e+01 | 3.700000e+01 | 39.02%
304.80/304.81 o 36
304.80/304.81 c * 305s| 2379 | 531 |676794 | 282.1 | 25M| 28 | - | 341 |4803 | 341 |4811 | 8 | 0 | 816 | 2.968274e+01 | 3.600000e+01 | 21.28%
808.92/808.95 c 809s| 10000 | 2862 | 2407k| 240.2 | 33M| 28 | 94 | 341 |4803 | 341 |4811 | 8 | 0 |2164 | 3.102011e+01 | 3.600000e+01 | 16.05%
1399.94/1399.92 c 1400s| 20000 | 5646 | 4518k| 225.6 | 42M| 28 | 97 | 341 |4803 | 341 |4811 | 8 | 0 |3410 | 3.155029e+01 | 3.600000e+01 | 14.10%
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.00 c Solving Time (sec) : 1800.00
1800.06/1800.00 c Solving Nodes : 27182
1800.06/1800.00 c Primal Bound : +3.60000000000000e+01 (601 solutions)
1800.06/1800.00 c Dual Bound : +3.17702063131940e+01
1800.06/1800.00 c Gap : 13.31 %
1800.06/1800.01 s SATISFIABLE
1800.06/1800.01 v -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
1800.06/1800.01 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
1800.06/1800.01 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278
1800.06/1800.01 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
1800.06/1800.01 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
1800.06/1800.01 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
1800.06/1800.01 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195
1800.06/1800.01 v -x194 -x193 -x192 -x191 -x190 x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173
1800.06/1800.01 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153
1800.06/1800.01 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 x134 -x133 x132 -x131
1800.06/1800.01 v x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110
1800.06/1800.01 v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
1800.06/1800.01 v -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 x66 -x65 x64 x63 -x62 x61
1800.06/1800.01 v x60 -x59 x58 x57 -x56 x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 x46 x45 -x44 x43 -x42 x41 -x40 -x39 x38 x37 -x36 -x35 -x34 x33
1800.06/1800.01 v -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 x7
1800.06/1800.01 v -x6 -x5 -x4 -x3 -x2 -x1
1800.06/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.01 c Total Time : 1800.00
1800.06/1800.01 c solving : 1800.00
1800.06/1800.01 c presolving : 0.04 (included in solving)
1800.06/1800.01 c reading : 0.05 (included in solving)
1800.06/1800.01 c Original Problem :
1800.06/1800.01 c Problem name : HOME/instance-3479153-1307446590.opb
1800.06/1800.01 c Variables : 341 (341 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.01 c Constraints : 4803 initial, 4803 maximal
1800.06/1800.01 c Presolved Problem :
1800.06/1800.01 c Problem name : t_HOME/instance-3479153-1307446590.opb
1800.06/1800.01 c Variables : 341 (341 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.01 c Constraints : 4803 initial, 4803 maximal
1800.06/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.06/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c linear : 0.02 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c root node : - 0 - - 0 - - - - -
1800.06/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c integral : 0 0 0 17984 0 605 0 47 876 0 0 34692
1800.06/1800.01 c logicor : 4803 9 56924 1 0 600 0 0 685 0 0 0
1800.06/1800.01 c countsols : 0 0 0 1 0 603 0 0 0 0 0 0
1800.06/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.06/1800.01 c integral : 198.08 0.00 0.00 198.07 0.00 0.00 0.00
1800.06/1800.01 c logicor : 1.72 0.00 1.68 0.00 0.00 0.04 0.00
1800.06/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.06/1800.01 c vbounds : 0 0 0 0
1800.06/1800.01 c rootredcost : 1 0 0 0
1800.06/1800.01 c pseudoobj : 93167 0 0 0
1800.06/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.06/1800.01 c vbounds : 0.03 0.03 0.00
1800.06/1800.01 c rootredcost : 0.03 0.03 0.00
1800.06/1800.01 c pseudoobj : 0.60 0.60 0.00
1800.06/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.01 c applied globally : - - - 0 0.0 - - -
1800.06/1800.01 c applied locally : - - - 0 0.0 - - -
1800.06/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.01 c cut pool : 0.02 8 - - 0 - (maximal pool size: 2019)
1800.06/1800.01 c redcost : 1.03 28297 0 716765 0 0
1800.06/1800.01 c impliedbounds : 0.00 10 0 0 0 0
1800.06/1800.01 c intobj : 0.00 0 0 0 0 0
1800.06/1800.01 c gomory : 5.47 10 0 0 0 0
1800.06/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.06/1800.01 c strongcg : 3.55 10 0 0 2708 0
1800.06/1800.01 c cmir : 0.11 10 0 0 0 0
1800.06/1800.01 c flowcover : 0.19 10 0 0 0 0
1800.06/1800.01 c clique : 0.00 1 0 0 0 0
1800.06/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.01 c mcf : 0.00 1 0 0 0 0
1800.06/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.06/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.01 c Pricers : Time Calls Vars
1800.06/1800.01 c problem variables: 0.00 0 0
1800.06/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c relpscost : 198.05 17983 47 876 0 0 34692
1800.06/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c random : 0.00 0 0 0 0 0 0
1800.06/1800.01 c Primal Heuristics : Time Calls Found
1800.06/1800.01 c LP solutions : 0.00 - 1
1800.06/1800.01 c pseudo solutions : 0.00 - 0
1800.06/1800.01 c feaspump : 0.00 0 0
1800.06/1800.01 c oneopt : 0.02 4 1
1800.06/1800.01 c coefdiving : 70.87 146 8
1800.06/1800.01 c guideddiving : 58.16 182 0
1800.06/1800.01 c linesearchdiving : 94.20 312 36
1800.06/1800.01 c pscostdiving : 136.90 319 128
1800.06/1800.01 c veclendiving : 51.17 341 0
1800.06/1800.01 c trivial : 0.00 2 1
1800.06/1800.01 c shiftandpropagate: 0.00 0 0
1800.06/1800.01 c simplerounding : 0.23 17991 90
1800.06/1800.01 c zirounding : 18.50 15601 312
1800.06/1800.01 c rounding : 3.40 5933 1
1800.06/1800.01 c shifting : 0.91 1192 1
1800.06/1800.01 c intshifting : 0.00 0 0
1800.06/1800.01 c twoopt : 0.00 0 0
1800.06/1800.01 c fixandinfer : 0.00 0 0
1800.06/1800.01 c clique : 0.00 0 0
1800.06/1800.01 c fracdiving : 57.16 187 0
1800.06/1800.01 c intdiving : 0.00 0 0
1800.06/1800.01 c actconsdiving : 0.00 0 0
1800.06/1800.01 c objpscostdiving : 20.67 1 20
1800.06/1800.01 c rootsoldiving : 7.83 4 0
1800.06/1800.01 c octane : 0.00 0 0
1800.06/1800.01 c rens : 49.76 1 1
1800.06/1800.01 c rins : 0.00 0 0
1800.06/1800.01 c localbranching : 0.00 0 0
1800.06/1800.01 c mutation : 0.00 0 0
1800.06/1800.01 c crossover : 0.11 1 1
1800.06/1800.01 c dins : 0.00 0 0
1800.06/1800.01 c vbounds : 0.00 0 0
1800.06/1800.01 c undercover : 0.00 0 0
1800.06/1800.01 c subnlp : 0.01 0 0
1800.06/1800.01 c trysol : 0.01 0 0
1800.06/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.01 c dual LP : 1006.93 27780 4236177 152.49 4207.04
1800.06/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.01 c diving/probing LP: 479.20 52813 1745606 33.05 3642.75
1800.06/1800.01 c strong branching : 197.30 4079 742330 181.99 3762.43
1800.06/1800.01 c (at root node) : - 33 32515 985.30 -
1800.06/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.01 c B&B Tree :
1800.06/1800.01 c number of runs : 1
1800.06/1800.01 c nodes : 27182
1800.06/1800.01 c nodes (total) : 27182
1800.06/1800.01 c nodes left : 7362
1800.06/1800.01 c max depth : 28
1800.06/1800.01 c max depth (total): 28
1800.06/1800.01 c backtracks : 8110 (29.8%)
1800.06/1800.01 c delayed cutoffs : 0
1800.06/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.06/1800.01 c avg switch length: 5.50
1800.06/1800.01 c switching time : 2.14
1800.06/1800.01 c Solution :
1800.06/1800.01 c Solutions found : 601 (7 improvements)
1800.06/1800.01 c First Solution : +3.41000000000000e+02 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1800.06/1800.01 c Primal Bound : +3.60000000000000e+01 (in run 1, after 2379 nodes, 304.81 seconds, depth 27, found by <relaxation>)
1800.06/1800.01 c Dual Bound : +3.17702063131940e+01
1800.06/1800.01 c Gap : 13.31 %
1800.06/1800.01 c Root Dual Bound : +2.66158041412627e+01
1800.06/1800.01 c Root Iterations : 5943
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-3479153-1307446590/watcher-3479153-1307446590 -o /tmp/evaluation-result-3479153-1307446590/solver-3479153-1307446590 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479153-1307446590.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: 1.93 2.01 1.70 2/443 19528
/proc/meminfo: memFree=29398648/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=13280 CPUtime=0 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 2320 0 0 0 0 0 0 0 25 0 1 0 934889667 13598720 2273 33554432000 4194304 9163163 140736939172096 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19528/statm: 3320 2273 395 1214 0 2102 0
[startup+0.02147 s]
/proc/loadavg: 1.93 2.01 1.70 2/443 19528
/proc/meminfo: memFree=29398648/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=14180 CPUtime=0.01 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 2519 0 0 0 1 0 0 0 25 0 1 0 934889667 14520320 2472 33554432000 4194304 9163163 140736939172096 18446744073709551615 4449601 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19528/statm: 3545 2472 395 1214 0 2327 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14180
[startup+0.100459 s]
/proc/loadavg: 1.93 2.01 1.70 2/443 19528
/proc/meminfo: memFree=29398648/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=27564 CPUtime=0.09 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 5911 0 0 0 9 0 0 0 25 0 1 0 934889667 28225536 5606 33554432000 4194304 9163163 140736939172096 18446744073709551615 5944184 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 6891 5606 524 1214 0 5673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27564
[startup+0.300416 s]
/proc/loadavg: 1.93 2.01 1.70 2/443 19528
/proc/meminfo: memFree=29398648/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=41632 CPUtime=0.29 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 10094 0 0 0 29 0 0 0 25 0 1 0 934889667 42631168 8917 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 10408 8917 632 1214 0 9190 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41632
[startup+0.700345 s]
/proc/loadavg: 1.93 2.01 1.70 2/443 19528
/proc/meminfo: memFree=29398648/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=41872 CPUtime=0.69 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 11364 0 0 0 67 2 0 0 25 0 1 0 934889667 42876928 8982 33554432000 4194304 9163163 140736939172096 18446744073709551615 7346409 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 10468 8982 621 1214 0 9250 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41872
[startup+1.5012 s]
/proc/loadavg: 1.93 2.01 1.70 3/444 19529
/proc/meminfo: memFree=29362804/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=42620 CPUtime=1.49 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 12431 0 0 0 145 4 0 0 25 0 1 0 934889667 43642880 9131 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 10655 9131 636 1214 0 9437 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42620
[startup+3.10089 s]
/proc/loadavg: 1.93 2.01 1.70 3/444 19529
/proc/meminfo: memFree=29358464/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=51016 CPUtime=3.09 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 14782 0 0 0 303 6 0 0 25 0 1 0 934889667 52240384 11441 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 12754 11441 655 1214 0 11536 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51016
[startup+6.30029 s]
/proc/loadavg: 1.93 2.01 1.70 3/444 19529
/proc/meminfo: memFree=29342976/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=62908 CPUtime=6.29 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 17733 0 0 0 619 10 0 0 25 0 1 0 934889667 64417792 14368 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 15727 14368 656 1214 0 14509 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62908
[startup+12.7011 s]
/proc/loadavg: 1.94 2.01 1.71 3/444 19530
/proc/meminfo: memFree=29313124/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=92824 CPUtime=12.69 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 26144 0 0 0 1247 22 0 0 25 0 1 0 934889667 95051776 21505 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 23206 21505 679 1214 0 21988 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92824
[startup+25.5006 s]
/proc/loadavg: 1.95 2.01 1.71 3/444 19530
/proc/meminfo: memFree=29313048/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=93000 CPUtime=25.5 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 26242 0 0 0 2500 50 0 0 25 0 1 0 934889667 95232000 21603 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 23250 21603 682 1214 0 22032 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 93000
[startup+51.1008 s]
/proc/loadavg: 1.97 2.01 1.72 3/444 19531
/proc/meminfo: memFree=29312260/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=93476 CPUtime=51.1 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 27051 0 0 0 5006 104 0 0 25 0 1 0 934889667 95719424 21804 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 23369 21804 683 1214 0 22151 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 93476
[startup+102.317 s]
/proc/loadavg: 2.08 2.03 1.74 3/444 19532
/proc/meminfo: memFree=29338388/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=66020 CPUtime=102.31 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 27573 0 0 0 10038 193 0 0 25 0 1 0 934889667 67604480 15282 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 16505 15282 700 1214 0 15287 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 66020
[startup+162.301 s]
/proc/loadavg: 2.03 2.03 1.75 3/444 19537
/proc/meminfo: memFree=29336576/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=66236 CPUtime=162.3 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 34032 0 0 0 15927 303 0 0 25 0 1 0 934889667 67825664 15266 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 16559 15266 707 1214 0 15341 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 66236
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.76 3/444 19538
/proc/meminfo: memFree=29335644/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=67204 CPUtime=222.3 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 51033 0 0 0 21817 413 0 0 25 0 1 0 934889667 68816896 15370 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 16801 15370 707 1214 0 15583 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 67204
[startup+282.301 s]
/proc/loadavg: 1.97 2.00 1.77 3/444 19568
/proc/meminfo: memFree=29417952/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=67256 CPUtime=282.3 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 67631 0 0 0 27712 518 0 0 25 0 1 0 934889667 68870144 15584 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 16814 15584 707 1214 0 15596 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 67256
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.78 3/444 19569
/proc/meminfo: memFree=29419268/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=67256 CPUtime=342.3 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 86932 0 0 0 33613 617 0 0 25 0 1 0 934889667 68870144 15590 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 16814 15590 716 1214 0 15596 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 67256
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.79 3/444 19571
/proc/meminfo: memFree=29415992/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=68004 CPUtime=402.3 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 119223 0 0 0 39508 722 0 0 25 0 1 0 934889667 69636096 15725 33554432000 4194304 9163163 140736939172096 18446744073709551615 7376305 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 17001 15725 711 1214 0 15783 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 68004
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.81 3/444 19573
/proc/meminfo: memFree=29411592/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=71372 CPUtime=462.3 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 134118 0 0 0 45407 823 0 0 25 0 1 0 934889667 73084928 16640 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 17843 16640 716 1214 0 16625 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 71372
[startup+522.301 s]
/proc/loadavg: 1.99 2.00 1.82 3/444 19574
/proc/meminfo: memFree=29411556/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=72424 CPUtime=522.31 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 145537 0 0 0 51301 930 0 0 25 0 1 0 934889667 74162176 16623 33554432000 4194304 9163163 140736939172096 18446744073709551615 7379229 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 18106 16623 707 1214 0 16888 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 72424
[startup+582.301 s]
/proc/loadavg: 2.14 2.03 1.83 3/444 19576
/proc/meminfo: memFree=29409544/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=74484 CPUtime=582.32 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 172456 0 0 0 57196 1036 0 0 25 0 1 0 934889667 76271616 17271 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 18621 17271 771 1214 0 17403 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 74484
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 1.87 3/444 19582
/proc/meminfo: memFree=29394596/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=77612 CPUtime=822.32 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 245409 0 0 0 80779 1453 0 0 25 0 1 0 934889667 79474688 18059 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 19403 18059 707 1214 0 18185 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 77612
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 1.87 3/444 19584
/proc/meminfo: memFree=29392452/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=78036 CPUtime=882.32 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 278890 0 0 0 86671 1561 0 0 25 0 1 0 934889667 79908864 18198 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 19509 18198 720 1214 0 18291 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 78036
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 1.88 3/444 19585
/proc/meminfo: memFree=29392272/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=79492 CPUtime=942.32 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 303282 0 0 0 92562 1670 0 0 25 0 1 0 934889667 81399808 18585 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 19873 18585 707 1214 0 18655 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 79492
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/444 19587
/proc/meminfo: memFree=29391476/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=79352 CPUtime=1002.32 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 326097 0 0 0 98456 1776 0 0 25 0 1 0 934889667 81256448 18534 33554432000 4194304 9163163 140736939172096 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 19838 18534 707 1214 0 18620 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 79352
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/444 19589
/proc/meminfo: memFree=29392040/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=81548 CPUtime=1062.33 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 357256 0 0 0 104342 1891 0 0 25 0 1 0 934889667 83505152 19106 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 20387 19106 707 1214 0 19169 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 81548
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/444 19617
/proc/meminfo: memFree=29303428/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=80640 CPUtime=1122.33 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 397520 0 0 0 110235 1998 0 0 25 0 1 0 934889667 82575360 18865 33554432000 4194304 9163163 140736939172096 18446744073709551615 7375496 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 20160 18865 707 1214 0 18942 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 80640
[startup+1182.3 s]
/proc/loadavg: 2.15 2.04 1.92 3/444 19646
/proc/meminfo: memFree=28351980/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=84200 CPUtime=1182.34 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 407508 0 0 0 116144 2090 0 0 25 0 1 0 934889667 86220800 19844 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 21050 19844 707 1214 0 19832 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 84200
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 1.92 3/444 19647
/proc/meminfo: memFree=22509076/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=86184 CPUtime=1242.34 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 410620 0 0 0 122071 2163 0 0 25 0 1 0 934889667 88252416 20248 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 21546 20248 748 1214 0 20328 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 86184
[startup+1302.3 s]
/proc/loadavg: 2.16 2.06 1.93 3/444 19649
/proc/meminfo: memFree=16021368/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=85760 CPUtime=1302.34 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 423566 0 0 0 128000 2234 0 0 25 0 1 0 934889667 87818240 20188 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 21440 20188 707 1214 0 20222 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 85760
[startup+1362.3 s]
/proc/loadavg: 4.68 2.74 2.17 2/446 19653
/proc/meminfo: memFree=1181676/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=86208 CPUtime=1362.34 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 451786 0 0 0 133875 2359 0 0 25 0 1 0 934889667 88276992 20242 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 21552 20242 707 1214 0 20334 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 86208
[startup+1422.32 s]
/proc/loadavg: 6.25 3.54 2.48 3/442 19670
/proc/meminfo: memFree=23011884/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=90328 CPUtime=1422.36 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 468322 0 0 0 139735 2501 0 0 25 0 1 0 934889667 92495872 21417 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 22582 21417 707 1214 0 21364 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 90328
[startup+1482.3 s]
/proc/loadavg: 4.22 3.50 2.53 3/444 19693
/proc/meminfo: memFree=28001028/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=88764 CPUtime=1482.35 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 482678 0 0 0 145607 2628 0 0 25 0 1 0 934889667 90894336 20940 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 22191 20940 707 1214 0 20973 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 88764
[startup+1542.3 s]
/proc/loadavg: 2.81 3.23 2.50 3/444 19694
/proc/meminfo: memFree=27953448/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=90704 CPUtime=1542.34 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 503141 0 0 0 151492 2742 0 0 25 0 1 0 934889667 92880896 21388 33554432000 4194304 9163163 140736939172096 18446744073709551615 7379398 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 22676 21388 707 1214 0 21458 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 90704
[startup+1602.3 s]
/proc/loadavg: 2.30 3.00 2.46 3/444 19696
/proc/meminfo: memFree=27944708/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=91932 CPUtime=1602.35 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 540602 0 0 0 157376 2859 0 0 25 0 1 0 934889667 94138368 21797 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 22983 21797 709 1214 0 21765 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 91932
[startup+1662.3 s]
/proc/loadavg: 2.26 2.86 2.45 3/444 19698
/proc/meminfo: memFree=27385920/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=94016 CPUtime=1662.36 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 543248 0 0 0 163267 2969 0 0 25 0 1 0 934889667 96272384 22348 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 23504 22348 707 1214 0 22286 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 94016
[startup+1722.3 s]
/proc/loadavg: 2.15 2.72 2.42 3/444 19699
/proc/meminfo: memFree=27380304/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=95260 CPUtime=1722.35 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 546722 0 0 0 169142 3093 0 0 25 0 1 0 934889667 97546240 22529 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 23815 22529 707 1214 0 22597 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 95260
[startup+1782.3 s]
/proc/loadavg: 2.05 2.58 2.39 3/444 19701
/proc/meminfo: memFree=27376672/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=95352 CPUtime=1782.35 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 553410 0 0 0 175013 3222 0 0 25 0 1 0 934889667 97640448 22656 33554432000 4194304 9163163 140736939172096 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19528/statm: 23838 22656 707 1214 0 22620 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 95352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.55 2.38 3/444 19701
/proc/meminfo: memFree=27377396/32950928 swapFree=52246700/67111528
[pid=19528] ppid=19526 vsize=95312 CPUtime=1800.07 cores=1,3,5,7
/proc/19528/stat : 19528 (scip-2.0.1.4b.l) R 19526 19528 19386 0 -1 4202496 556026 0 0 0 176748 3259 0 0 18 0 1 0 934889667 97599488 22629 33554432000 4194304 9163163 140736939172096 18446744073709551615 4693093 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19528/statm: 23828 22629 707 1214 0 22610 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 95312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.09
CPU user time (s): 1767.49
CPU system time (s): 32.6
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 96384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.49
system time used= 32.6
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556029
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= 7
involuntary context switches= 21243
runsolver used 7.37988 second user time and 18.8181 second system time
The end