0.00/0.00 c SCIP version 2.0.1.4 [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-3452267-1307104552.opb>
0.00/0.01 c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.04 o 500
0.00/0.04 c feasible solution found by trivial heuristic, objective value 5.000000e+02
0.00/0.04 c presolving:
0.09/0.13 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 184652 impls, 0 clqs
0.19/0.20 c (0.2s) probing: 101/6828 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (2 rounds):
0.19/0.20 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 184652 implications, 0 cliques
0.19/0.20 c presolved problem has 6828 variables (6828 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.19/0.20 c 6328 constraints of type <and>
0.19/0.20 c 500 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.19
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 2.0.1.4
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1800
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 13950
0.19/0.20 c
0.19/0.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.20 c # [type: int, range: [1,2], default: 1]
0.19/0.20 c timing/clocktype = 2
0.19/0.20 c
0.19/0.20 c # belongs reading time to solving time?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c timing/reading = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/indicator/addCouplingCons = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.29/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c t 0.3s| 1 | 0 | 1000 | - | 31M| 0 |1000 |6828 |6828 |6828 | 13k| 0 | 0 | 0 | 0.000000e+00 | 5.000000e+02 | Inf
0.29/0.34 o 107
0.29/0.34 c s 0.3s| 1 | 0 | 1000 | - | 31M| 0 |1000 |6828 |6828 |6828 | 13k| 0 | 0 | 0 | 0.000000e+00 | 1.070000e+02 | Inf
1.10/1.18 c 1.2s| 1 | 0 | 2500 | - | 32M| 0 |1000 |6828 |6828 |6828 | 14k|1000 | 0 | 0 | 0.000000e+00 | 1.070000e+02 | Inf
1.79/1.85 c 1.9s| 1 | 0 | 4000 | - | 32M| 0 |1000 |6828 |6828 |6828 | 15k|2001 | 0 | 0 | 0.000000e+00 | 1.070000e+02 | Inf
1.79/1.89 o 102
1.79/1.89 c s 1.9s| 1 | 0 | 4000 | - | 33M| 0 |1000 |6828 |6828 |6828 | 15k|2001 | 0 | 0 | 0.000000e+00 | 1.020000e+02 | Inf
2.49/2.59 c 2.6s| 1 | 0 | 5500 | - | 33M| 0 |1000 |6828 |6828 |6828 | 16k|3002 | 0 | 0 | 0.000000e+00 | 1.020000e+02 | Inf
2.59/2.63 o 93
2.59/2.63 c s 2.6s| 1 | 0 | 5500 | - | 33M| 0 |1000 |6828 |6828 |6828 | 16k|3002 | 0 | 0 | 0.000000e+00 | 9.300000e+01 | Inf
3.30/3.38 c 3.4s| 1 | 0 | 7000 | - | 34M| 0 |1000 |6828 |6828 |6828 | 17k|4002 | 0 | 0 | 0.000000e+00 | 9.300000e+01 | Inf
3.39/3.42 o 92
3.39/3.42 c s 3.4s| 1 | 0 | 7000 | - | 34M| 0 |1000 |6828 |6828 |6828 | 17k|4002 | 0 | 0 | 0.000000e+00 | 9.200000e+01 | Inf
8.70/8.73 c 8.7s| 1 | 0 | 18658 | - | 34M| 0 |2416 |6828 |6828 |6828 | 18k|5004 | 0 | 0 | 2.689041e+01 | 9.200000e+01 | 242.13%
16.89/16.97 c 17.0s| 1 | 0 | 28760 | - | 37M| 0 |3525 |6828 |6828 |6828 | 18k|5795 | 0 | 0 | 3.473833e+01 | 9.200000e+01 | 164.84%
28.89/28.94 c 28.9s| 1 | 0 | 33842 | - | 37M| 0 |4033 |6828 |6828 |6828 | 19k|6118 | 0 | 0 | 3.642722e+01 | 9.200000e+01 | 152.56%
34.99/35.11 c 35.1s| 1 | 0 | 35050 | - | 37M| 0 |4300 |6828 |6828 |6828 | 19k|6216 | 0 | 0 | 3.666173e+01 | 9.200000e+01 | 150.94%
41.29/41.32 c 41.3s| 1 | 0 | 35802 | - | 37M| 0 |4469 |6828 |6828 |6828 | 19k|6267 | 0 | 0 | 3.675922e+01 | 9.200000e+01 | 150.28%
47.69/47.78 c 47.8s| 1 | 0 | 36503 | - | 37M| 0 |4645 |6828 |6828 |6828 | 19k|6285 | 0 | 0 | 3.681516e+01 | 9.200000e+01 | 149.90%
53.49/53.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.49/53.54 c 53.5s| 1 | 0 | 36814 | - | 34M| 0 |4697 |6828 |6828 |6827 |7048 |6298 | 0 | 0 | 3.681516e+01 | 9.200000e+01 | 149.90%
53.49/53.54 c 53.5s| 1 | 0 | 36814 | - | 34M| 0 |4697 |6828 |6828 |6827 |7048 |6298 | 0 | 0 | 3.683562e+01 | 9.200000e+01 | 149.76%
54.79/54.82 c 54.8s| 1 | 0 | 36833 | - | 34M| 0 |4718 |6828 |6828 |6827 |7054 |6304 | 0 | 0 | 3.683609e+01 | 9.200000e+01 | 149.76%
56.10/56.14 c 56.1s| 1 | 0 | 36842 | - | 34M| 0 |4742 |6828 |6828 |6827 |7056 |6306 | 0 | 0 | 3.683616e+01 | 9.200000e+01 | 149.75%
57.39/57.42 c 57.4s| 1 | 0 | 36843 | - | 34M| 0 |4742 |6828 |6828 |6827 |7057 |6307 | 0 | 0 | 3.683616e+01 | 9.200000e+01 | 149.75%
58.69/58.75 c 58.7s| 1 | 0 | 36882 | - | 34M| 0 |4701 |6828 |6828 |6827 |7058 |6308 | 0 | 0 | 3.683682e+01 | 9.200000e+01 | 149.75%
59.99/60.04 c 60.0s| 1 | 0 | 36883 | - | 34M| 0 |4702 |6828 |6828 |6827 |7059 |6309 | 0 | 0 | 3.683682e+01 | 9.200000e+01 | 149.75%
67.69/67.79 c 67.8s| 1 | 2 | 36883 | - | 34M| 0 |4702 |6828 |6828 |6827 |7059 |6309 | 0 | 12 | 3.683682e+01 | 9.200000e+01 | 149.75%
1799.97/1800.01 c
1799.97/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1799.97/1800.01 c Solving Time (sec) : 1800.01
1799.97/1800.01 c Solving Nodes : 1166
1799.97/1800.01 c Primal Bound : +9.20000000000000e+01 (5 solutions)
1799.97/1800.01 c Dual Bound : +3.80380036280116e+01
1799.97/1800.01 c Gap : 141.86 %
1799.97/1800.02 s SATISFIABLE
1799.97/1800.02 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1799.97/1800.02 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1799.97/1800.02 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1799.97/1800.02 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416
1799.97/1800.02 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1799.97/1800.02 v -x394 -x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
1799.97/1800.02 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
1799.97/1800.02 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
1799.97/1800.02 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312
1799.97/1800.02 v -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291
1799.97/1800.02 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270
1799.97/1800.02 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
1799.97/1800.02 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
1799.97/1800.02 v -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207
1799.97/1800.02 v -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185
1799.97/1800.02 v -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164
1799.97/1800.02 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
1799.97/1800.02 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 x125 -x124 -x123 -x122
1799.97/1800.02 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
1799.97/1800.02 v -x100 x99 -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
1799.97/1800.02 v x73 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 x47 x46 x45
1799.97/1800.02 v x44 x43 x42 x41 x40 x39 -x38 x37 x36 x35 x34 -x33 -x32 x31 -x30 x29 x28 x27 x26 x25 x24 -x23 x22 x21 x20 x19 x18 x17 x16 x15
1799.97/1800.02 v x14 -x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1799.97/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1799.97/1800.02 c Total Time : 1800.01
1799.97/1800.02 c solving : 1800.01
1799.97/1800.02 c presolving : 0.19 (included in solving)
1799.97/1800.02 c reading : 0.01 (included in solving)
1799.97/1800.02 c Original Problem :
1799.97/1800.02 c Problem name : HOME/instance-3452267-1307104552.opb
1799.97/1800.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.97/1800.02 c Constraints : 500 initial, 500 maximal
1799.97/1800.02 c Presolved Problem :
1799.97/1800.02 c Problem name : t_HOME/instance-3452267-1307104552.opb
1799.97/1800.02 c Variables : 6828 (6828 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.97/1800.02 c Constraints : 6828 initial, 6829 maximal
1799.97/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.97/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.97/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.97/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.97/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.97/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.97/1800.02 c probing : 0.04 0 0 0 0 0 0 0 0 0
1799.97/1800.02 c and : 0.10 0 0 0 0 0 0 0 0 0
1799.97/1800.02 c linear : 0.01 0 0 0 0 0 0 0 0 0
1799.97/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.97/1800.02 c root node : - 0 - - 0 - - - - -
1799.97/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.97/1800.02 c integral : 0 0 0 1164 0 55 0 0 0 0 0 2328
1799.97/1800.02 c and : 6328 4118 31141 0 2 50 28 1 17841 25431 0 0
1799.97/1800.02 c logicor : 500+ 16 11593 0 2 5 1 0 0 0 0 0
1799.97/1800.02 c countsols : 0 0 0 0 2 8 0 0 0 0 0 0
1799.97/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.97/1800.02 c integral : 322.00 0.00 0.00 322.00 0.00 0.00 0.00
1799.97/1800.02 c and : 15.63 11.36 4.26 0.00 0.00 0.01 0.00
1799.97/1800.02 c logicor : 0.06 0.00 0.06 0.00 0.00 0.00 0.00
1799.97/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.97/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.97/1800.02 c vbounds : 0 0 0 0
1799.97/1800.02 c rootredcost : 0 0 0 0
1799.97/1800.02 c pseudoobj : 30979 0 0 0
1799.97/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1799.97/1800.02 c vbounds : 0.01 0.01 0.00
1799.97/1800.02 c rootredcost : 0.01 0.01 0.00
1799.97/1800.02 c pseudoobj : 0.28 0.28 0.00
1799.97/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.97/1800.02 c propagation : 0.00 1 1 1 25.0 0 0.0 -
1799.97/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.97/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.97/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.97/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.97/1800.02 c applied globally : - - - 1 25.0 - - -
1799.97/1800.02 c applied locally : - - - 0 0.0 - - -
1799.97/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.97/1800.02 c cut pool : 0.01 15 - - 0 - (maximal pool size: 6459)
1799.97/1800.02 c redcost : 0.32 4118 0 0 0 0
1799.97/1800.02 c impliedbounds : 0.05 16 0 0 6784 0
1799.97/1800.02 c intobj : 0.00 0 0 0 0 0
1799.97/1800.02 c gomory : 19.02 16 0 0 3178 0
1799.97/1800.02 c cgmip : 0.00 0 0 0 0 0
1799.97/1800.02 c closecuts : 0.00 0 0 0 0 0
1799.97/1800.02 c strongcg : 17.65 16 0 0 3178 0
1799.97/1800.02 c cmir : 2.58 10 0 0 2500 0
1799.97/1800.02 c flowcover : 1.48 10 0 0 0 0
1799.97/1800.02 c clique : 0.20 16 0 0 13 0
1799.97/1800.02 c zerohalf : 0.00 0 0 0 0 0
1799.97/1800.02 c mcf : 0.01 1 0 0 0 0
1799.97/1800.02 c oddcycle : 0.00 0 0 0 0 0
1799.97/1800.02 c rapidlearning : 0.21 1 0 0 0 0
1799.97/1800.02 c Pricers : Time Calls Vars
1799.97/1800.02 c problem variables: 0.17 3183 174
1799.97/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.97/1800.02 c relpscost : 322.00 1164 0 0 0 0 2328
1799.97/1800.02 c pscost : 0.00 0 0 0 0 0 0
1799.97/1800.02 c inference : 0.00 2 0 0 0 0 4
1799.97/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1799.97/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1799.97/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1799.97/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1799.97/1800.02 c random : 0.00 0 0 0 0 0 0
1799.97/1800.02 c Primal Heuristics : Time Calls Found
1799.97/1800.02 c LP solutions : 0.00 - 0
1799.97/1800.02 c pseudo solutions : 0.00 - 0
1799.97/1800.02 c oneopt : 0.02 4 0
1799.97/1800.02 c trivial : 0.01 2 1
1799.97/1800.02 c shiftandpropagate: 0.00 0 0
1799.97/1800.02 c simplerounding : 0.72 0 0
1799.97/1800.02 c zirounding : 1.15 1000 0
1799.97/1800.02 c rounding : 13.52 920 0
1799.97/1800.02 c shifting : 8.16 515 4
1799.97/1800.02 c intshifting : 0.00 0 0
1799.97/1800.02 c twoopt : 0.00 0 0
1799.97/1800.02 c fixandinfer : 0.00 0 0
1799.97/1800.02 c feaspump : 0.00 0 0
1799.97/1800.02 c clique : 0.00 0 0
1799.97/1800.02 c coefdiving : 63.43 7 0
1799.97/1800.02 c pscostdiving : 81.78 5 0
1799.97/1800.02 c fracdiving : 84.25 9 0
1799.97/1800.02 c veclendiving : 61.92 7 0
1799.97/1800.02 c intdiving : 0.00 0 0
1799.97/1800.02 c actconsdiving : 0.00 0 0
1799.97/1800.02 c objpscostdiving : 189.49 2 0
1799.97/1800.02 c rootsoldiving : 17.86 3 0
1799.97/1800.02 c linesearchdiving : 67.64 8 0
1799.97/1800.02 c guideddiving : 92.19 8 0
1799.97/1800.02 c octane : 0.00 0 0
1799.97/1800.02 c rens : 0.01 0 0
1799.97/1800.02 c rins : 0.00 0 0
1799.97/1800.02 c localbranching : 0.00 0 0
1799.97/1800.02 c mutation : 0.00 0 0
1799.97/1800.02 c crossover : 0.07 1 0
1799.97/1800.02 c dins : 0.00 0 0
1799.97/1800.02 c vbounds : 0.00 0 0
1799.97/1800.02 c undercover : 0.01 1 0
1799.97/1800.02 c subnlp : 0.00 0 0
1799.97/1800.02 c trysol : 0.00 0 0
1799.97/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1799.97/1800.02 c primal LP : 21.64 42 1685 40.12 77.87
1799.97/1800.02 c dual LP : 711.14 4381 1018775 232.54 1432.60
1799.97/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1799.97/1800.02 c barrier LP : 0.00 0 0 0.00 -
1799.97/1800.02 c diving/probing LP: 631.87 14916 1228826 82.38 1944.75
1799.97/1800.02 c strong branching : 321.84 1135 453938 399.95 1410.45
1799.97/1800.02 c (at root node) : - 12 10311 859.25 -
1799.97/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1799.97/1800.02 c B&B Tree :
1799.97/1800.02 c number of runs : 1
1799.97/1800.02 c nodes : 1166
1799.97/1800.02 c nodes (total) : 1166
1799.97/1800.02 c nodes left : 1167
1799.97/1800.02 c max depth : 19
1799.97/1800.02 c max depth (total): 19
1799.97/1800.02 c backtracks : 448 (38.4%)
1799.97/1800.02 c delayed cutoffs : 0
1799.97/1800.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.97/1800.02 c avg switch length: 7.87
1799.97/1800.02 c switching time : 19.71
1799.97/1800.02 c Solution :
1799.97/1800.02 c Solutions found : 5 (5 improvements)
1799.97/1800.02 c First Solution : +5.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1799.97/1800.02 c Primal Bound : +9.20000000000000e+01 (in run 1, after 1 nodes, 3.38 seconds, depth 0, found by <shifting>)
1799.97/1800.02 c Dual Bound : +3.80380036280116e+01
1799.97/1800.02 c Gap : 141.86 %
1799.97/1800.02 c Root Dual Bound : +3.68368214105399e+01
1799.97/1800.02 c Root Iterations : 36883
1799.97/1800.06 c Time complete: 1800.03.
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-3452267-1307104552/watcher-3452267-1307104552 -o /tmp/evaluation-result-3452267-1307104552/solver-3452267-1307104552 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452267-1307104552.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.00 2.02 2.00 2/373 10284
/proc/meminfo: memFree=21866572/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=10996 CPUtime=0 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 1746 0 0 0 0 0 0 0 25 0 1 0 822055662 11259904 1699 33554432000 4194304 9128323 140736611935552 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10284/statm: 2749 1699 401 1205 0 1540 0
[startup+0.0892281 s]
/proc/loadavg: 2.00 2.02 2.00 2/373 10284
/proc/meminfo: memFree=21866572/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=37008 CPUtime=0.07 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 7772 0 0 0 7 0 0 0 25 0 1 0 822055662 37896192 7724 33554432000 4194304 9128323 140736611935552 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 9252 7787 499 1205 0 8043 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37008
[startup+0.101221 s]
/proc/loadavg: 2.00 2.02 2.00 2/373 10284
/proc/meminfo: memFree=21866572/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=38236 CPUtime=0.09 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 8498 0 0 0 9 0 0 0 25 0 1 0 822055662 39153664 8193 33554432000 4194304 9128323 140736611935552 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 9559 8193 499 1205 0 8350 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38236
[startup+0.300186 s]
/proc/loadavg: 2.00 2.02 2.00 2/373 10284
/proc/meminfo: memFree=21866572/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=69060 CPUtime=0.29 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 16427 0 0 0 28 1 0 0 18 0 1 0 822055662 70717440 15733 33554432000 4194304 9128323 140736611935552 18446744073709551615 7346285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 17265 15735 652 1205 0 16056 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69060
[startup+0.70011 s]
/proc/loadavg: 2.00 2.02 2.00 2/373 10284
/proc/meminfo: memFree=21866572/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=68268 CPUtime=0.69 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 18804 0 0 0 67 2 0 0 18 0 1 0 822055662 69906432 15969 33554432000 4194304 9128323 140736611935552 18446744073709551615 6889762 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 17067 15969 669 1205 0 15858 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68268
[startup+1.50096 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 10285
/proc/meminfo: memFree=21766496/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=94200 CPUtime=1.49 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 28625 0 0 0 145 4 0 0 19 0 1 0 822055662 96460800 22589 33554432000 4194304 9128323 140736611935552 18446744073709551615 8008905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 23550 22589 714 1205 0 22341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94200
[startup+3.10067 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 10285
/proc/meminfo: memFree=21777456/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=94200 CPUtime=3.09 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 28634 0 0 0 303 6 0 0 24 0 1 0 822055662 96460800 22593 33554432000 4194304 9128323 140736611935552 18446744073709551615 6694272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 23550 22593 709 1205 0 22341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94200
[startup+6.30109 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 10285
/proc/meminfo: memFree=21777504/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=94200 CPUtime=6.29 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 28665 0 0 0 620 9 0 0 25 0 1 0 822055662 96460800 22623 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 23550 22623 711 1205 0 22341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94200
[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 10285
/proc/meminfo: memFree=21777024/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=94792 CPUtime=12.69 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 28691 0 0 0 1255 14 0 0 25 0 1 0 822055662 97067008 22649 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 23698 22649 717 1205 0 22489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 94792
[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10286
/proc/meminfo: memFree=21777032/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=95384 CPUtime=25.49 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 28792 0 0 0 2529 20 0 0 25 0 1 0 822055662 97673216 22750 33554432000 4194304 9128323 140736611935552 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 23846 22750 717 1205 0 22637 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95384
[startup+51.1009 s]
/proc/loadavg: 2.06 2.03 2.00 3/374 10286
/proc/meminfo: memFree=21775632/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=97400 CPUtime=51.09 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 33450 0 0 0 5071 38 0 0 25 0 1 0 822055662 99737600 23085 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 24350 23085 717 1205 0 23141 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 97400
[startup+102.314 s]
/proc/loadavg: 1.94 2.01 1.99 3/374 10316
/proc/meminfo: memFree=22703820/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=103884 CPUtime=102.3 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 34779 0 0 0 10164 66 0 0 25 0 1 0 822055662 106377216 23917 33554432000 4194304 9128323 140736611935552 18446744073709551615 7286084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 25971 23917 724 1205 0 24762 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 103884
[startup+162.301 s]
/proc/loadavg: 1.98 2.00 1.99 3/374 10344
/proc/meminfo: memFree=22663188/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=103884 CPUtime=162.28 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 34779 0 0 0 16140 88 0 0 25 0 1 0 822055662 106377216 23917 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 25971 23917 724 1205 0 24762 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 103884
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/374 10346
/proc/meminfo: memFree=22663228/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=103884 CPUtime=222.29 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 34781 0 0 0 22116 113 0 0 25 0 1 0 822055662 106377216 23919 33554432000 4194304 9128323 140736611935552 18446744073709551615 4684053 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 25971 23919 726 1205 0 24762 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 103884
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/374 10348
/proc/meminfo: memFree=22662324/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=103884 CPUtime=282.29 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 34782 0 0 0 28086 143 0 0 25 0 1 0 822055662 106377216 23920 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 25971 23920 727 1205 0 24762 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 103884
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/374 10349
/proc/meminfo: memFree=22662392/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=103884 CPUtime=342.29 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 34863 0 0 0 34056 173 0 0 25 0 1 0 822055662 106377216 24001 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 25971 24001 727 1205 0 24762 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 103884
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/374 10351
/proc/meminfo: memFree=22662360/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=103884 CPUtime=402.28 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 34865 0 0 0 40025 203 0 0 25 0 1 0 822055662 106377216 24003 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 25971 24003 727 1205 0 24762 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 103884
[startup+462.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/374 10352
/proc/meminfo: memFree=22659232/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=104940 CPUtime=462.29 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 35314 0 0 0 45993 236 0 0 25 0 1 0 822055662 107458560 24431 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 26235 24431 727 1205 0 25026 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 104940
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 10354
/proc/meminfo: memFree=22657696/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=104940 CPUtime=522.28 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 35314 0 0 0 51948 280 0 0 25 0 1 0 822055662 107458560 24431 33554432000 4194304 9128323 140736611935552 18446744073709551615 7286031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 26235 24431 727 1205 0 25026 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 104940
[startup+582.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/374 10356
/proc/meminfo: memFree=22655428/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=104940 CPUtime=582.29 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 35317 0 0 0 57903 326 0 0 25 0 1 0 822055662 107458560 24434 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 26235 24434 727 1205 0 25026 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 104940
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=22621312/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=107136 CPUtime=1122.27 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 41643 0 0 0 111652 575 0 0 25 0 1 0 822055662 109707264 24982 33554432000 4194304 9128323 140736611935552 18446744073709551615 7315261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 26784 24982 731 1205 0 25575 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 107136
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 10372
/proc/meminfo: memFree=22591264/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=107136 CPUtime=1182.28 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 41643 0 0 0 117626 602 0 0 25 0 1 0 822055662 109707264 24982 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 26784 24982 731 1205 0 25575 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 107136
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/374 10373
/proc/meminfo: memFree=22591324/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=107136 CPUtime=1242.28 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 41643 0 0 0 123601 627 0 0 25 0 1 0 822055662 109707264 24982 33554432000 4194304 9128323 140736611935552 18446744073709551615 7356876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 26784 24982 731 1205 0 25575 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 107136
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10375
/proc/meminfo: memFree=22590176/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=107808 CPUtime=1302.29 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 41815 0 0 0 129575 654 0 0 25 0 1 0 822055662 110395392 25154 33554432000 4194304 9128323 140736611935552 18446744073709551615 7357898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 26952 25154 731 1205 0 25743 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 107808
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 10376
/proc/meminfo: memFree=22589520/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=108572 CPUtime=1362.27 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 41988 0 0 0 135545 682 0 0 25 0 1 0 822055662 111177728 25327 33554432000 4194304 9128323 140736611935552 18446744073709551615 6505877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27143 25327 731 1205 0 25934 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 108572
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 10378
/proc/meminfo: memFree=22587492/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=108572 CPUtime=1422.28 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 41989 0 0 0 141516 712 0 0 25 0 1 0 822055662 111177728 25328 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27143 25328 731 1205 0 25934 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 108572
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 10380
/proc/meminfo: memFree=22587320/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=108572 CPUtime=1482.27 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 41994 0 0 0 147486 741 0 0 25 0 1 0 822055662 111177728 25333 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27143 25333 731 1205 0 25934 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 108572
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 10390
/proc/meminfo: memFree=22583456/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=108572 CPUtime=1542.27 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42034 0 0 0 153458 769 0 0 25 0 1 0 822055662 111177728 25373 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27143 25373 731 1205 0 25934 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 108572
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/374 10392
/proc/meminfo: memFree=22577088/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=108572 CPUtime=1602.27 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42036 0 0 0 159431 796 0 0 25 0 1 0 822055662 111177728 25375 33554432000 4194304 9128323 140736611935552 18446744073709551615 7286040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27143 25375 733 1205 0 25934 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 108572
[startup+1662.3 s]
/proc/loadavg: 2.10 2.02 2.01 3/374 10393
/proc/meminfo: memFree=22570616/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=108704 CPUtime=1662.28 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42044 0 0 0 165406 822 0 0 25 0 1 0 822055662 111312896 25383 33554432000 4194304 9128323 140736611935552 18446744073709551615 7315263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27176 25383 733 1205 0 25967 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 108704
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/374 10398
/proc/meminfo: memFree=22563956/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=108704 CPUtime=1722.27 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42046 0 0 0 171379 848 0 0 25 0 1 0 822055662 111312896 25385 33554432000 4194304 9128323 140736611935552 18446744073709551615 7357058 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27176 25385 733 1205 0 25967 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 108704
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/374 10400
/proc/meminfo: memFree=22554904/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=109740 CPUtime=1782.26 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42285 0 0 0 177354 872 0 0 25 0 1 0 822055662 112373760 25624 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27435 25624 733 1205 0 26226 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 109740
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 10400
/proc/meminfo: memFree=22555128/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=109740 CPUtime=1791.88 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42285 0 0 0 178310 878 0 0 25 0 1 0 822055662 112373760 25624 33554432000 4194304 9128323 140736611935552 18446744073709551615 7315305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27435 25624 733 1205 0 26226 0
Current children cumulated CPU time (s) 1791.88
Current children cumulated vsize (KiB) 109740
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 10400
/proc/meminfo: memFree=22554880/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=109740 CPUtime=1795.08 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42285 0 0 0 178628 880 0 0 25 0 1 0 822055662 112373760 25624 33554432000 4194304 9128323 140736611935552 18446744073709551615 7358864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27435 25624 733 1205 0 26226 0
Current children cumulated CPU time (s) 1795.08
Current children cumulated vsize (KiB) 109740
[startup+1798.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 10400
/proc/meminfo: memFree=22554880/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=109740 CPUtime=1798.27 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42285 0 0 0 178946 881 0 0 25 0 1 0 822055662 112373760 25624 33554432000 4194304 9128323 140736611935552 18446744073709551615 7349539 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27435 25624 733 1205 0 26226 0
Current children cumulated CPU time (s) 1798.27
Current children cumulated vsize (KiB) 109740
[startup+1799.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 10400
/proc/meminfo: memFree=22554756/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=109740 CPUtime=1799.06 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42285 0 0 0 179025 881 0 0 25 0 1 0 822055662 112373760 25624 33554432000 4194304 9128323 140736611935552 18446744073709551615 7357856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27435 25624 733 1205 0 26226 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 109740
[startup+1799.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 10400
/proc/meminfo: memFree=22554756/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=109740 CPUtime=1799.48 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42285 0 0 0 179066 882 0 0 25 0 1 0 822055662 112373760 25624 33554432000 4194304 9128323 140736611935552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27435 25624 733 1205 0 26226 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 109740
[startup+1799.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 10400
/proc/meminfo: memFree=22554756/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=109740 CPUtime=1799.87 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42286 0 0 0 179105 882 0 0 25 0 1 0 822055662 112373760 25625 33554432000 4194304 9128323 140736611935552 18446744073709551615 7357877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27435 25625 733 1205 0 26226 0
Current children cumulated CPU time (s) 1799.87
Current children cumulated vsize (KiB) 109740
[startup+1800 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 10400
/proc/meminfo: memFree=22554756/32951124 swapFree=37148216/67111528
[pid=10284] ppid=10282 vsize=109740 CPUtime=1799.97 cores=1,3,5,7
/proc/10284/stat : 10284 (scip-2.0.1.4.li) R 10282 10284 9067 0 -1 4202496 42287 0 0 0 179115 882 0 0 25 0 1 0 822055662 112373760 25626 33554432000 4194304 9128323 140736611935552 18446744073709551615 7346751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10284/statm: 27435 25626 734 1205 0 26226 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 109740
Child status: 0
Real time (s): 1800.06
CPU time (s): 1800.04
CPU user time (s): 1791.21
CPU system time (s): 8.82866
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 125764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.21
system time used= 8.82866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42291
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 21064
runsolver used 6.31204 second user time and 14.9547 second system time
The end