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-3450758-1307111601.opb>
0.00/0.04 c original problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 7261 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.07 o 0
0.00/0.07 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.07 c presolving:
0.09/0.13 c (round 1) 0 del vars, 6660 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 50480 impls, 399 clqs
0.09/0.15 c (round 2) 6260 del vars, 6660 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50480 impls, 0 clqs
0.09/0.18 c (0.2s) probing: 101/400 (25.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 6260 deleted vars, 6660 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 50480 implications, 0 cliques
0.09/0.18 c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.09/0.18 c 400 constraints of type <knapsack>
0.09/0.18 c 200 constraints of type <setppc>
0.09/0.18 c 1 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.12
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 2.0.1.5
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1800
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 13950
0.09/0.18 c
0.09/0.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.18 c # [type: int, range: [1,2], default: 1]
0.09/0.18 c timing/clocktype = 2
0.09/0.18 c
0.09/0.18 c # belongs reading time to solving time?
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c timing/reading = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/indicator/addCouplingCons = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
1.19/1.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.25 c t 1.3s| 1 | 0 | 4534 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
1.19/1.26 o -1
1.19/1.26 c R 1.3s| 1 | 0 | 4534 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
1.39/1.42 o -21
1.39/1.42 c y 1.4s| 1 | 0 | 4534 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-2.100000e+01 | 79.00%
12.49/12.50 c 12.5s| 1 | 2 | 4534 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 39 |-1.000000e+02 |-2.100000e+01 | 79.00%
34.20/34.26 o -25
34.20/34.26 c p34.3s| 26 | 27 | 8381 | 153.9 | 17M| 13 | - | 400 | 601 | 400 | 601 | 0 | 0 | 520 |-9.977317e+01 |-2.500000e+01 | 74.94%
42.60/42.60 o -26
42.60/42.60 c f42.6s| 38 | 39 | 10136 | 151.4 | 17M| 13 | - | 400 | 601 | 400 | 601 | 0 | 0 | 730 |-9.955427e+01 |-2.600000e+01 | 73.88%
69.89/69.96 o -29
69.89/69.96 c l70.0s| 86 | 87 | 19883 | 180.6 | 17M| 15 | - | 400 | 611 | 400 | 601 | 0 | 10 |1379 |-9.909313e+01 |-2.900000e+01 | 70.73%
85.00/85.08 o -30
85.00/85.08 c l85.1s| 394 | 395 | 63902 | 151.1 | 19M| 25 | - | 400 | 634 | 400 | 601 | 0 | 33 |1466 |-9.713508e+01 |-3.000000e+01 | 69.12%
91.79/91.89 o -31
91.79/91.89 c f91.9s| 541 | 542 | 87719 | 154.0 | 19M| 36 | - | 400 | 642 | 400 | 601 | 0 | 41 |1466 |-9.464255e+01 |-3.100000e+01 | 67.25%
92.50/92.53 o -32
92.50/92.53 c l92.5s| 545 | 546 | 88887 | 155.1 | 19M| 36 | - | 400 | 642 | 400 | 601 | 0 | 41 |1466 |-9.444882e+01 |-3.200000e+01 | 66.12%
554.21/554.29 c 554s| 10000 | 10001 | 1469k| 146.5 | 31M| 101 | 197 | 400 | 758 | 400 | 601 | 0 | 196 |1678 |-8.768561e+01 |-3.200000e+01 | 63.51%
877.73/877.81 c 878s| 20000 | 20001 | 2751k| 137.4 | 43M| 101 | 149 | 400 | 801 | 400 | 601 | 0 | 341 |2253 |-8.566030e+01 |-3.200000e+01 | 62.64%
1181.03/1181.08 c 1181s| 30000 | 30001 | 4030k| 134.2 | 55M| 101 | 146 | 400 | 995 | 400 | 601 | 0 | 709 |2791 |-8.497093e+01 |-3.200000e+01 | 62.34%
1464.74/1464.76 c 1465s| 40000 | 40001 | 5276k| 131.8 | 67M| 101 | 115 | 400 |1000 | 400 | 601 | 0 | 927 |3242 |-8.437120e+01 |-3.200000e+01 | 62.07%
1738.25/1738.27 c 1738s| 50000 | 50001 | 6518k| 130.3 | 80M| 101 | 157 | 400 |1068 | 400 | 601 | 0 |1293 |3633 |-8.388098e+01 |-3.200000e+01 | 61.85%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 52301
1800.05/1800.00 c Primal Bound : -3.20000000000000e+01 (649 solutions)
1800.05/1800.00 c Dual Bound : -8.37966655837373e+01
1800.05/1800.00 c Gap : 61.81 %
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v -x371 -x383 x336 -x224 -x320 x326 -x282 x353 -x272 -x295 -x351 -x216 -x375 -x311 x400 -x354 -x236 -x256 -x234 -x289 -x316 -x307
1800.05/1800.01 v -x242 -x328 -x366 -x209 -x349 -x346 -x293 -x277 -x218 x276 -x281 -x396 -x359 -x261 -x208 -x337 -x252 x285 -x243 -x230 -x358
1800.05/1800.01 v -x225 -x241 x331 -x254 -x211 -x347 -x330 -x382 -x333 -x206 -x398 -x288 -x274 -x255 -x246 -x228 -x324 -x237 -x352 -x387 -x360
1800.05/1800.01 v -x310 -x271 -x391 -x363 x357 -x339 -x329 -x259 -x258 -x217 -x385 -x389 x265 -x313 -x379 x397 x380 x356 -x341 -x298 -x279 x269
1800.05/1800.01 v -x260 x251 x235 -x214 -x213 -x286 x378 -x249 -x264 -x306 -x361 -x268 -x233 -x247 -x301 -x203 -x381 x334 -x270 -x266 -x250 -x239
1800.05/1800.01 v -x297 -x291 x370 -x362 -x308 x340 -x392 -x232 x394 -x373 -x317 -x207 -x296 -x287 -x222 -x368 x348 -x390 -x388 -x372 -x367
1800.05/1800.01 v -x314 -x312 -x304 x294 -x292 -x290 -x278 -x248 -x244 -x227 -x219 -x212 -x210 -x344 -x273 x299 -x343 -x332 -x245 -x376 x377 -x223
1800.05/1800.01 v -x384 x325 -x395 -x220 -x300 -x257 -x305 -x231 -x221 -x321 x283 -x323 -x201 -x399 -x393 -x335 x322 -x309 -x267 x263 -x262
1800.05/1800.01 v -x253 -x240 -x238 -x319 -x374 -x280 -x369 -x205 x318 -x350 -x202 -x342 x303 -x215 -x204 -x365 -x315 -x355 -x345 -x386 x229
1800.05/1800.01 v -x226 -x338 x364 -x327 -x275 -x284 -x302 -x200 -x199 x198 -x197 -x196 x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186
1800.05/1800.01 v x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 x165
1800.05/1800.01 v -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 x147 -x146 x145 -x144 -x143
1800.05/1800.01 v x142 -x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 x124 x123 -x122 -x121
1800.05/1800.01 v -x120 -x119 -x118 -x117 x116 x115 -x114 -x113 x112 -x111 -x110 -x109 x108 x107 -x106 x105 -x104 -x103 -x102 x101 -x100 -x99
1800.05/1800.01 v -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73
1800.05/1800.01 v -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48
1800.05/1800.01 v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23
1800.05/1800.01 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Total Time : 1800.00
1800.05/1800.01 c solving : 1800.00
1800.05/1800.01 c presolving : 0.12 (included in solving)
1800.05/1800.01 c reading : 0.04 (included in solving)
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-3450758-1307111601.opb
1800.05/1800.01 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 7261 initial, 7261 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-3450758-1307111601.opb
1800.05/1800.01 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 601 initial, 1096 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.01 6260 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c pseudoboolean : 0.02 0 0 0 0 0 6660 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 52301 0 654 0 0 0 0 0 104602
1800.05/1800.01 c knapsack : 400 1 563908 0 0 649 26400 134 469365 0 0 0
1800.05/1800.01 c setppc : 200 1 532632 0 0 648 1481 0 33637 0 0 0
1800.05/1800.01 c linear : 1 1 563773 0 0 648 0 497 0 0 0 0
1800.05/1800.01 c logicor : 0+ 0 64573 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 0 652 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.01 c integral : 142.12 0.00 0.00 142.12 0.00 0.00 0.00
1800.05/1800.01 c knapsack : 4.94 0.01 4.70 0.00 0.00 0.21 0.01
1800.05/1800.01 c setppc : 0.67 0.00 0.65 0.00 0.00 0.01 0.00
1800.05/1800.01 c linear : 0.60 0.01 0.59 0.00 0.00 0.01 0.00
1800.05/1800.01 c logicor : 0.22 0.00 0.22 0.00 0.00 0.00 0.00
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.01 c vbounds : 0 0 0 0
1800.05/1800.01 c rootredcost : 7 0 0 0
1800.05/1800.01 c pseudoobj : 564646 268 443 0
1800.05/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.01 c vbounds : 0.11 0.11 0.00
1800.05/1800.01 c rootredcost : 0.13 0.13 0.00
1800.05/1800.01 c pseudoobj : 2.56 2.55 0.00
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.06 134 134 2616 117.0 0 0.0 -
1800.05/1800.01 c infeasible LP : 0.09 1569 1545 4241 38.6 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 1324 11.9 - - -
1800.05/1800.01 c applied locally : - - - 49 56.1 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.01 c redcost : 0.54 52301 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 1 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.02 1 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.02 1 0 0 0 0
1800.05/1800.01 c cmir : 0.00 1 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 1 0 0 0 0
1800.05/1800.01 c clique : 0.00 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.11 1 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 142.09 52301 0 0 0 0 104602
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c oneopt : 0.02 7 0
1800.05/1800.01 c crossover : 1.16 7 2
1800.05/1800.01 c fracdiving : 58.75 887 2
1800.05/1800.01 c pscostdiving : 100.36 888 1
1800.05/1800.01 c linesearchdiving : 62.91 888 3
1800.05/1800.01 c trivial : 0.01 2 1
1800.05/1800.01 c shiftandpropagate: 0.00 0 0
1800.05/1800.01 c simplerounding : 0.01 0 0
1800.05/1800.01 c zirounding : 4.50 0 0
1800.05/1800.01 c rounding : 24.97 10611 1
1800.05/1800.01 c shifting : 19.29 5234 557
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c clique : 0.00 0 0
1800.05/1800.01 c coefdiving : 87.93 888 0
1800.05/1800.01 c veclendiving : 19.81 149 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 24.96 136 37
1800.05/1800.01 c rootsoldiving : 11.79 245 44
1800.05/1800.01 c guideddiving : 41.46 777 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.01 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c vbounds : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c subnlp : 0.01 0 0
1800.05/1800.01 c trysol : 0.01 0 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 1187.36 52301 5002518 95.65 4213.16
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 360.52 425520 1799843 4.23 4992.36
1800.05/1800.01 c strong branching : 139.72 3716 184983 49.78 1324.00
1800.05/1800.01 c (at root node) : - 39 16626 426.31 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 52301
1800.05/1800.01 c nodes (total) : 52301
1800.05/1800.01 c nodes left : 52302
1800.05/1800.01 c max depth : 101
1800.05/1800.01 c max depth (total): 101
1800.05/1800.01 c backtracks : 5043 (9.6%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 3.62
1800.05/1800.01 c switching time : 2.56
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 649 (9 improvements)
1800.05/1800.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : -3.20000000000000e+01 (in run 1, after 545 nodes, 92.53 seconds, depth 228, found by <linesearchdiving>)
1800.05/1800.01 c Dual Bound : -8.37966655837373e+01
1800.05/1800.01 c Gap : 61.81 %
1800.05/1800.01 c Root Dual Bound : -1.00000000000000e+02
1800.05/1800.01 c Root Iterations : 4534
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-3450758-1307111601/watcher-3450758-1307111601 -o /tmp/evaluation-result-3450758-1307111601/solver-3450758-1307111601 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450758-1307111601.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.84 1.97 1.92 3/428 27280
/proc/meminfo: memFree=29107124/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=17344 CPUtime=0.01 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 3313 0 0 0 1 0 0 0 22 0 1 0 822760516 17760256 3267 33554432000 4194304 9163163 140736950741312 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27280/statm: 4336 3273 410 1214 0 3118 0
[startup+0.0925909 s]
/proc/loadavg: 1.84 1.97 1.92 3/428 27280
/proc/meminfo: memFree=29107124/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=39984 CPUtime=0.09 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 9020 0 0 0 8 1 0 0 22 0 1 0 822760516 40943616 8716 33554432000 4194304 9163163 140736950741312 18446744073709551615 18446744073699065918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 9996 8716 509 1214 0 8778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39984
[startup+0.100571 s]
/proc/loadavg: 1.84 1.97 1.92 3/428 27280
/proc/meminfo: memFree=29107124/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=39984 CPUtime=0.09 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 9020 0 0 0 8 1 0 0 22 0 1 0 822760516 40943616 8716 33554432000 4194304 9163163 140736950741312 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 9996 8716 509 1214 0 8778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39984
[startup+0.300533 s]
/proc/loadavg: 1.84 1.97 1.92 3/428 27280
/proc/meminfo: memFree=29107124/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=49280 CPUtime=0.29 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 11513 0 0 0 28 1 0 0 23 0 1 0 822760516 50462720 11189 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 12320 11189 674 1214 0 11102 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49280
[startup+0.700447 s]
/proc/loadavg: 1.84 1.97 1.92 3/428 27280
/proc/meminfo: memFree=29107124/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=51452 CPUtime=0.69 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 12020 0 0 0 67 2 0 0 25 0 1 0 822760516 52686848 11682 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 12863 11682 660 1214 0 11645 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51452
[startup+1.5003 s]
/proc/loadavg: 1.84 1.97 1.92 3/430 27310
/proc/meminfo: memFree=29048396/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=52224 CPUtime=1.49 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 18165 0 0 0 145 4 0 0 25 0 1 0 822760516 53477376 11888 33554432000 4194304 9163163 140736950741312 18446744073709551615 7373936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 13056 11890 731 1214 0 11838 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52224
[startup+3.101 s]
/proc/loadavg: 1.84 1.97 1.92 3/430 27310
/proc/meminfo: memFree=29033020/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=52060 CPUtime=3.09 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 19681 0 0 0 304 5 0 0 25 0 1 0 822760516 53309440 12033 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 13015 12033 734 1214 0 11797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52060
[startup+6.30041 s]
/proc/loadavg: 1.85 1.97 1.92 3/430 27310
/proc/meminfo: memFree=29032244/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=52036 CPUtime=6.29 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 23094 0 0 0 622 7 0 0 25 0 1 0 822760516 53284864 12018 33554432000 4194304 9163163 140736950741312 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 13009 12018 734 1214 0 11791 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52036
[startup+12.7002 s]
/proc/loadavg: 1.86 1.97 1.92 3/430 27310
/proc/meminfo: memFree=29032516/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=50420 CPUtime=12.69 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 31277 0 0 0 1256 13 0 0 25 0 1 0 822760516 51630080 11595 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 12605 11595 733 1214 0 11387 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50420
[startup+25.5008 s]
/proc/loadavg: 1.89 1.97 1.92 3/430 27310
/proc/meminfo: memFree=29032300/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=52088 CPUtime=25.49 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 31664 0 0 0 2523 26 0 0 25 0 1 0 822760516 53338112 11982 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 13022 11982 733 1214 0 11804 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52088
[startup+51.1011 s]
/proc/loadavg: 1.93 1.97 1.92 3/430 27311
/proc/meminfo: memFree=29032640/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=51776 CPUtime=51.1 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 33363 0 0 0 5068 42 0 0 25 0 1 0 822760516 53018624 11936 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 12944 11936 733 1214 0 11726 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 51776
[startup+102.317 s]
/proc/loadavg: 2.04 1.99 1.93 3/430 27312
/proc/meminfo: memFree=29027948/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=54736 CPUtime=102.31 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 45468 0 0 0 10121 110 0 0 25 0 1 0 822760516 56049664 12717 33554432000 4194304 9163163 140736950741312 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 13684 12717 743 1214 0 12466 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 54736
[startup+162.3 s]
/proc/loadavg: 2.01 1.99 1.93 3/430 27314
/proc/meminfo: memFree=29026164/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=56740 CPUtime=162.29 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 45886 0 0 0 16053 176 0 0 25 0 1 0 822760516 58101760 13135 33554432000 4194304 9163163 140736950741312 18446744073709551615 4817040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 14185 13135 743 1214 0 12967 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 56740
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/430 27315
/proc/meminfo: memFree=29024012/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=57788 CPUtime=222.29 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 46183 0 0 0 21973 256 0 0 25 0 1 0 822760516 59174912 13432 33554432000 4194304 9163163 140736950741312 18446744073709551615 7357978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 14447 13432 743 1214 0 13229 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 57788
[startup+282.3 s]
/proc/loadavg: 2.10 2.02 1.94 3/430 27317
/proc/meminfo: memFree=29024328/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=58056 CPUtime=282.3 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 47086 0 0 0 27895 335 0 0 25 0 1 0 822760516 59449344 13561 33554432000 4194304 9163163 140736950741312 18446744073709551615 7357639 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 14514 13561 743 1214 0 13296 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 58056
[startup+342.301 s]
/proc/loadavg: 2.04 2.01 1.94 3/430 27319
/proc/meminfo: memFree=29023904/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=58184 CPUtime=342.31 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 55356 0 0 0 33819 412 0 0 25 0 1 0 822760516 59580416 13531 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 14546 13531 743 1214 0 13328 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 58184
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/430 27320
/proc/meminfo: memFree=29021260/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=60656 CPUtime=402.31 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 58938 0 0 0 39732 499 0 0 25 0 1 0 822760516 62111744 14147 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 15164 14147 743 1214 0 13946 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 60656
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/430 27322
/proc/meminfo: memFree=29019604/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=61980 CPUtime=462.31 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 63132 0 0 0 45626 605 0 0 25 0 1 0 822760516 63467520 14523 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 15495 14523 743 1214 0 14277 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 61980
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/430 27323
/proc/meminfo: memFree=29011868/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=66492 CPUtime=522.31 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 64951 0 0 0 51519 712 0 0 25 0 1 0 822760516 68087808 15614 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 16623 15614 743 1214 0 15405 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 66492
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/430 27325
/proc/meminfo: memFree=29007488/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=69368 CPUtime=582.31 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 68706 0 0 0 57414 817 0 0 25 0 1 0 822760516 71032832 16285 33554432000 4194304 9163163 140736950741312 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 17342 16285 743 1214 0 16124 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 69368
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.08 2.04 1.96 3/430 27331
/proc/meminfo: memFree=28987864/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=83496 CPUtime=822.32 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 75075 0 0 0 80987 1245 0 0 25 0 1 0 822760516 85499904 19737 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 20874 19737 743 1214 0 19656 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 83496
[startup+882.301 s]
/proc/loadavg: 2.03 2.03 1.96 3/430 27333
/proc/meminfo: memFree=28984720/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=84676 CPUtime=882.32 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 75418 0 0 0 86879 1353 0 0 25 0 1 0 822760516 86708224 20080 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 21169 20080 743 1214 0 19951 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 84676
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 1.96 3/430 27335
/proc/meminfo: memFree=28982444/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=85484 CPUtime=942.32 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 75632 0 0 0 92764 1468 0 0 25 0 1 0 822760516 87535616 20294 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 21371 20294 743 1214 0 20153 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 85484
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/430 27336
/proc/meminfo: memFree=28976068/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=89932 CPUtime=1002.32 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 76736 0 0 0 98649 1583 0 0 25 0 1 0 822760516 92090368 21398 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 22483 21398 743 1214 0 21265 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 89932
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/430 27338
/proc/meminfo: memFree=28972072/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=91828 CPUtime=1062.33 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 77198 0 0 0 104529 1704 0 0 25 0 1 0 822760516 94031872 21860 33554432000 4194304 9163163 140736950741312 18446744073709551615 7346183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 22957 21860 743 1214 0 21739 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 91828
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/430 27339
/proc/meminfo: memFree=28968676/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=94264 CPUtime=1122.33 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 77875 0 0 0 110410 1823 0 0 25 0 1 0 822760516 96526336 22537 33554432000 4194304 9163163 140736950741312 18446744073709551615 7390599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 23566 22537 743 1214 0 22348 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 94264
[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/430 27341
/proc/meminfo: memFree=28958580/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=100452 CPUtime=1182.33 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 82664 0 0 0 116288 1945 0 0 25 0 1 0 822760516 102862848 24102 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 25113 24102 743 1214 0 23895 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 100452
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/430 27343
/proc/meminfo: memFree=28952964/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=103708 CPUtime=1242.33 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 83359 0 0 0 122176 2057 0 0 25 0 1 0 822760516 106196992 24797 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 25927 24797 743 1214 0 24709 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 103708
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/430 27344
/proc/meminfo: memFree=28945972/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=107604 CPUtime=1302.35 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 84461 0 0 0 128061 2174 0 0 25 0 1 0 822760516 110186496 25899 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 26901 25899 743 1214 0 25683 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 107604
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 1.97 3/430 27346
/proc/meminfo: memFree=28943312/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=110600 CPUtime=1362.33 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 85200 0 0 0 133938 2295 0 0 25 0 1 0 822760516 113254400 26638 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 27650 26638 743 1214 0 26432 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 110600
[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 1.98 3/430 27347
/proc/meminfo: memFree=28938944/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=111360 CPUtime=1422.35 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 85321 0 0 0 139818 2417 0 0 25 0 1 0 822760516 114032640 26759 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 27840 26759 743 1214 0 26622 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 111360
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/430 27349
/proc/meminfo: memFree=28936300/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=113356 CPUtime=1482.34 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 85933 0 0 0 145698 2536 0 0 25 0 1 0 822760516 116076544 27371 33554432000 4194304 9163163 140736950741312 18446744073709551615 7391797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 28339 27371 743 1214 0 27121 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 113356
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/430 27351
/proc/meminfo: memFree=28932784/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=116824 CPUtime=1542.34 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 86796 0 0 0 151570 2664 0 0 25 0 1 0 822760516 119627776 28234 33554432000 4194304 9163163 140736950741312 18446744073709551615 7388813 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 29206 28234 743 1214 0 27988 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 116824
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/430 27352
/proc/meminfo: memFree=28927888/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=117672 CPUtime=1602.34 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 86996 0 0 0 157448 2786 0 0 25 0 1 0 822760516 120496128 28434 33554432000 4194304 9163163 140736950741312 18446744073709551615 7390360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 29418 28434 743 1214 0 28200 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 117672
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/430 27363
/proc/meminfo: memFree=28922760/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=118772 CPUtime=1662.34 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 88698 0 0 0 163323 2911 0 0 25 0 1 0 822760516 121622528 28700 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 29693 28700 743 1214 0 28475 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 118772
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/430 27364
/proc/meminfo: memFree=28917748/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=124656 CPUtime=1722.35 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 92315 0 0 0 169205 3030 0 0 25 0 1 0 822760516 127647744 30182 33554432000 4194304 9163163 140736950741312 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 31164 30182 743 1214 0 29946 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 124656
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/430 27366
/proc/meminfo: memFree=28910408/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=127456 CPUtime=1782.35 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 93052 0 0 0 175084 3151 0 0 25 0 1 0 822760516 130514944 30919 33554432000 4194304 9163163 140736950741312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27280/statm: 31864 30919 743 1214 0 30646 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 127456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 1.98 3/430 27366
/proc/meminfo: memFree=28907056/32951124 swapFree=43324008/67111528
[pid=27280] ppid=27278 vsize=130220 CPUtime=1800.06 cores=1,3,5,7
/proc/27280/stat : 27280 (scip-2.0.1.4b.l) R 27278 27280 22076 0 -1 4202496 93726 0 0 0 176818 3188 0 0 25 0 1 0 822760516 133345280 31593 33554432000 4194304 9163163 140736950741312 18446744073709551615 6923170 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27280/statm: 32555 31593 746 1214 0 31337 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 130220
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.08
CPU user time (s): 1768.19
CPU system time (s): 31.8942
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 130220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.19
system time used= 31.8942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93726
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= 6
involuntary context switches= 2719
runsolver used 6.96994 second user time and 17.6063 second system time
The end