0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3488635-1307785598.opb>
0.00/0.03 c original problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 7205 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.06 o 0
0.00/0.06 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.06 c presolving:
0.09/0.13 c (round 1) 0 del vars, 7004 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 50032 impls, 399 clqs
0.09/0.14 c (round 2) 6204 del vars, 7004 del conss, 400 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50032 impls, 0 clqs
0.09/0.17 c (0.2s) probing: 101/400 (25.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (3 rounds):
0.09/0.17 c 6204 deleted vars, 7004 deleted constraints, 400 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 50032 implications, 0 cliques
0.09/0.17 c presolved problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.09/0.17 c 400 constraints of type <knapsack>
0.09/0.17 c 200 constraints of type <setppc>
0.09/0.17 c 1 constraints of type <linear>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.12
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 2.0.1.5
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1797
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 13950
0.09/0.17 c
0.09/0.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17 c # [type: int, range: [1,2], default: 1]
0.09/0.17 c timing/clocktype = 2
0.09/0.17 c
0.09/0.17 c # belongs reading time to solving time?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c timing/reading = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/indicator/addCouplingCons = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.69/0.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.77 c t 0.8s| 1 | 0 | 2842 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.69/0.78 o -1
0.69/0.78 c R 0.8s| 1 | 0 | 2842 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
1.59/1.60 o -23
1.59/1.60 c F 1.6s| 1 | 0 | 6794 | - | 17M| 0 | 0 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-2.300000e+01 | 77.00%
1.59/1.64 c 1.6s| 1 | 0 | 6794 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 0 |-1.000000e+02 |-2.300000e+01 | 77.00%
5.89/5.92 c 5.9s| 1 | 2 | 6794 | - | 17M| 0 | 400 | 400 | 601 | 400 | 601 | 0 | 0 | 14 |-1.000000e+02 |-2.300000e+01 | 77.00%
36.89/36.96 o -26
36.89/36.96 c c37.0s| 17 | 18 | 8793 | 371.9 | 17M| 16 | - | 400 | 601 | 400 | 601 | 0 | 0 | 234 |-9.885351e+01 |-2.600000e+01 | 73.70%
68.39/68.40 o -29
68.39/68.40 c f68.4s| 41 | 42 | 12340 | 237.4 | 17M| 16 | - | 400 | 601 | 400 | 601 | 0 | 0 | 611 |-9.885351e+01 |-2.900000e+01 | 70.66%
127.20/127.29 o -30
127.20/127.29 c l 127s| 89 | 90 | 32081 | 332.3 | 17M| 17 | - | 400 | 621 | 400 | 601 | 0 | 20 |1366 |-9.865842e+01 |-3.000000e+01 | 69.59%
163.70/163.72 o -32
163.70/163.72 c f 164s| 562 | 563 | 96638 | 167.2 | 19M| 29 | - | 400 | 640 | 400 | 601 | 0 | 39 |1605 |-9.794206e+01 |-3.200000e+01 | 67.33%
625.41/625.46 c 625s| 10000 | 10001 | 1434k| 143.2 | 30M| 101 | 219 | 400 | 836 | 400 | 601 | 0 | 298 |2302 |-8.824861e+01 |-3.200000e+01 | 63.74%
978.62/978.61 c 979s| 20000 | 20001 | 2731k| 136.4 | 43M| 101 | 199 | 400 |1003 | 400 | 601 | 0 | 602 |3146 |-8.657185e+01 |-3.200000e+01 | 63.04%
1326.53/1326.59 c 1327s| 30000 | 30001 | 4059k| 135.2 | 55M| 101 | 154 | 400 | 995 | 400 | 601 | 0 | 869 |3815 |-8.577454e+01 |-3.200000e+01 | 62.69%
1650.05/1650.06 c 1650s| 40000 | 40001 | 5362k| 134.0 | 68M| 101 | 145 | 400 |1207 | 400 | 601 | 0 |1364 |4323 |-8.520202e+01 |-3.200000e+01 | 62.44%
1797.05/1797.01 c
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Solving Time (sec) : 1797.01
1797.05/1797.01 c Solving Nodes : 44594
1797.05/1797.01 c Primal Bound : -3.20000000000000e+01 (632 solutions)
1797.05/1797.01 c Dual Bound : -8.49351592005523e+01
1797.05/1797.01 c Gap : 62.32 %
1797.05/1797.02 s SATISFIABLE
1797.05/1797.02 v -x375 -x317 -x361 -x286 -x342 -x224 -x249 -x359 -x390 -x297 -x299 -x251 -x256 -x319 -x273 -x231 -x360 -x348 -x240 -x382 -x334 -x332
1797.05/1797.02 v x269 x237 -x362 -x217 -x321 -x349 -x278 -x239 -x398 -x265 -x343 -x391 -x300 -x264 -x370 -x339 -x377 -x207 x392 -x353 -x234
1797.05/1797.02 v -x238 -x352 -x233 -x388 -x315 -x229 -x356 x322 -x206 -x395 -x380 -x345 -x289 -x221 -x246 x219 -x350 -x309 -x304 -x272 -x329
1797.05/1797.02 v -x225 -x284 -x366 -x354 x335 -x312 x208 x276 x372 -x232 -x220 -x245 -x290 x242 -x253 -x318 -x303 -x298 -x204 x344 -x310 -x267
1797.05/1797.02 v -x266 -x255 -x236 -x396 -x295 -x213 -x340 -x261 -x333 x400 x355 -x252 -x389 x277 -x209 -x288 -x351 -x244 -x365 -x386 -x367
1797.05/1797.02 v -x347 -x323 x294 -x271 -x254 -x248 -x226 -x218 -x216 -x215 -x346 -x258 -x314 -x247 x328 -x326 -x306 x282 x397 -x274 -x357 -x381
1797.05/1797.02 v x292 -x214 -x202 -x307 -x305 -x302 -x301 -x296 -x279 -x210 x205 x371 x325 x399 -x338 -x385 -x320 -x374 -x243 -x257 -x270
1797.05/1797.02 v -x259 -x223 -x203 -x330 -x268 -x324 x263 -x331 -x201 -x393 -x379 -x376 -x358 -x313 -x311 -x308 -x285 -x283 -x281 -x280 x275 -x262
1797.05/1797.02 v -x241 -x235 -x211 x383 -x230 x368 -x369 -x212 -x337 -x373 -x227 -x341 -x327 x364 -x260 -x291 -x228 -x363 -x222 -x250 x293
1797.05/1797.02 v -x387 -x336 x394 -x316 x378 -x287 x384 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 -x186
1797.05/1797.02 v x185 -x184 -x183 x182 -x181 -x180 x179 -x178 -x177 -x176 x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165
1797.05/1797.02 v -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 x143
1797.05/1797.02 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122
1797.05/1797.02 v -x121 -x120 -x119 -x118 -x117 x116 x115 -x114 x113 -x112 x111 -x110 -x109 x108 -x107 x106 -x105 x104 -x103 -x102 -x101 x100
1797.05/1797.02 v 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
1797.05/1797.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
1797.05/1797.02 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
1797.05/1797.02 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.05/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.02 c Total Time : 1797.01
1797.05/1797.02 c solving : 1797.01
1797.05/1797.02 c presolving : 0.12 (included in solving)
1797.05/1797.02 c reading : 0.03 (included in solving)
1797.05/1797.02 c Original Problem :
1797.05/1797.02 c Problem name : HOME/instance-3488635-1307785598.opb
1797.05/1797.02 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.02 c Constraints : 7205 initial, 7205 maximal
1797.05/1797.02 c Presolved Problem :
1797.05/1797.02 c Problem name : t_HOME/instance-3488635-1307785598.opb
1797.05/1797.02 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.02 c Constraints : 601 initial, 1307 maximal
1797.05/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c dualfix : 0.01 6204 0 0 0 0 0 0 0 0
1797.05/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c pseudoboolean : 0.02 0 0 0 0 0 7004 400 0 0
1797.05/1797.02 c root node : - 0 - - 0 - - - - -
1797.05/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.02 c integral : 0 0 0 44592 0 637 0 0 0 0 0 89184
1797.05/1797.02 c knapsack : 400 2 430363 0 2 632 31558 155 407495 0 0 0
1797.05/1797.02 c setppc : 200 2 408669 0 2 631 1588 0 29336 0 0 0
1797.05/1797.02 c linear : 1 2 430207 0 0 631 0 438 0 0 0 0
1797.05/1797.02 c logicor : 0+ 0 61346 0 0 0 0 0 0 0 0 0
1797.05/1797.02 c countsols : 0 0 0 0 2 635 0 0 0 0 0 0
1797.05/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.02 c integral : 227.06 0.00 0.00 227.06 0.00 0.00 0.00
1797.05/1797.02 c knapsack : 4.30 0.01 4.05 0.00 0.00 0.22 0.02
1797.05/1797.02 c setppc : 0.57 0.00 0.56 0.00 0.00 0.01 0.00
1797.05/1797.02 c linear : 0.46 0.01 0.44 0.00 0.00 0.01 0.00
1797.05/1797.02 c logicor : 0.25 0.00 0.25 0.00 0.00 0.00 0.00
1797.05/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.02 c vbounds : 0 0 0 0
1797.05/1797.02 c rootredcost : 4 0 0 0
1797.05/1797.02 c pseudoobj : 430972 310 385 0
1797.05/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.02 c vbounds : 0.09 0.09 0.00
1797.05/1797.02 c rootredcost : 0.08 0.08 0.00
1797.05/1797.02 c pseudoobj : 2.08 2.07 0.00
1797.05/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.02 c propagation : 0.07 155 155 2985 117.1 0 0.0 -
1797.05/1797.02 c infeasible LP : 0.11 1706 1665 5186 39.0 0 0.0 0
1797.05/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.02 c applied globally : - - - 1565 13.9 - - -
1797.05/1797.02 c applied locally : - - - 46 59.0 - - -
1797.05/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.05/1797.02 c redcost : 0.50 44593 0 0 0 0
1797.05/1797.02 c impliedbounds : 0.00 2 0 0 0 0
1797.05/1797.02 c intobj : 0.00 0 0 0 0 0
1797.05/1797.02 c gomory : 0.05 2 0 0 0 0
1797.05/1797.02 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.02 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.02 c strongcg : 0.05 2 0 0 0 0
1797.05/1797.02 c cmir : 0.00 2 0 0 0 0
1797.05/1797.02 c flowcover : 0.01 2 0 0 0 0
1797.05/1797.02 c clique : 0.00 1 0 0 0 0
1797.05/1797.02 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.02 c mcf : 0.00 1 0 0 0 0
1797.05/1797.02 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.02 c rapidlearning : 0.15 1 0 0 0 0
1797.05/1797.02 c Pricers : Time Calls Vars
1797.05/1797.02 c problem variables: 0.00 0 0
1797.05/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.02 c relpscost : 227.03 44592 0 0 0 0 89184
1797.05/1797.02 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.02 c inference : 0.00 2 0 0 0 0 4
1797.05/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.02 c random : 0.00 0 0 0 0 0 0
1797.05/1797.02 c Primal Heuristics : Time Calls Found
1797.05/1797.02 c LP solutions : 0.00 - 0
1797.05/1797.02 c pseudo solutions : 0.00 - 0
1797.05/1797.02 c oneopt : 0.01 5 0
1797.05/1797.02 c crossover : 0.39 6 1
1797.05/1797.02 c linesearchdiving : 50.04 730 1
1797.05/1797.02 c coefdiving : 82.70 731 1
1797.05/1797.02 c fracdiving : 53.20 731 2
1797.05/1797.02 c pscostdiving : 68.50 731 0
1797.05/1797.02 c trivial : 0.01 2 1
1797.05/1797.02 c shiftandpropagate: 0.00 0 0
1797.05/1797.02 c simplerounding : 0.01 0 0
1797.05/1797.02 c zirounding : 4.15 0 0
1797.05/1797.02 c rounding : 24.75 9755 1
1797.05/1797.02 c shifting : 17.43 4449 537
1797.05/1797.02 c intshifting : 0.00 0 0
1797.05/1797.02 c twoopt : 0.00 0 0
1797.05/1797.02 c fixandinfer : 0.00 0 0
1797.05/1797.02 c feaspump : 0.63 1 1
1797.05/1797.02 c clique : 0.00 0 0
1797.05/1797.02 c veclendiving : 20.51 172 0
1797.05/1797.02 c intdiving : 0.00 0 0
1797.05/1797.02 c actconsdiving : 0.00 0 0
1797.05/1797.02 c objpscostdiving : 22.46 90 21
1797.05/1797.02 c rootsoldiving : 14.27 274 66
1797.05/1797.02 c guideddiving : 38.86 665 0
1797.05/1797.02 c octane : 0.00 0 0
1797.05/1797.02 c rens : 0.01 0 0
1797.05/1797.02 c rins : 0.00 0 0
1797.05/1797.02 c localbranching : 0.00 0 0
1797.05/1797.02 c mutation : 0.00 0 0
1797.05/1797.02 c dins : 0.00 0 0
1797.05/1797.02 c vbounds : 0.00 0 0
1797.05/1797.02 c undercover : 0.00 0 0
1797.05/1797.02 c subnlp : 0.01 0 0
1797.05/1797.02 c trysol : 0.01 0 0
1797.05/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.02 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.02 c dual LP : 1160.26 44593 4488252 100.65 3868.31
1797.05/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.02 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.02 c diving/probing LP: 312.72 312525 1474664 4.72 4715.59
1797.05/1797.02 c strong branching : 224.84 4550 192039 42.21 854.12
1797.05/1797.02 c (at root node) : - 14 5776 412.57 -
1797.05/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.02 c B&B Tree :
1797.05/1797.02 c number of runs : 1
1797.05/1797.02 c nodes : 44594
1797.05/1797.02 c nodes (total) : 44594
1797.05/1797.02 c nodes left : 44595
1797.05/1797.02 c max depth : 101
1797.05/1797.02 c max depth (total): 101
1797.05/1797.02 c backtracks : 4153 (9.3%)
1797.05/1797.02 c delayed cutoffs : 0
1797.05/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.02 c avg switch length: 3.66
1797.05/1797.02 c switching time : 2.19
1797.05/1797.02 c Solution :
1797.05/1797.02 c Solutions found : 632 (7 improvements)
1797.05/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1797.05/1797.02 c Primal Bound : -3.20000000000000e+01 (in run 1, after 562 nodes, 163.72 seconds, depth 156, found by <fracdiving>)
1797.05/1797.02 c Dual Bound : -8.49351592005523e+01
1797.05/1797.02 c Gap : 62.32 %
1797.05/1797.02 c Root Dual Bound : -1.00000000000000e+02
1797.05/1797.02 c Root Iterations : 2842
1797.15/1797.11 c Time complete: 1797.16.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488635-1307785598/watcher-3488635-1307785598 -o /tmp/evaluation-result-3488635-1307785598/solver-3488635-1307785598 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488635-1307785598.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.98 1.95 2/172 9243
/proc/meminfo: memFree=31689940/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=12876 CPUtime=0 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 2213 0 0 0 0 0 0 0 25 0 1 0 968790472 13185024 2167 33554432000 4194304 9016284 140735348059744 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9243/statm: 3219 2180 368 1178 0 2037 0
[startup+0.082055 s]
/proc/loadavg: 1.84 1.98 1.95 2/172 9243
/proc/meminfo: memFree=31689940/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=38432 CPUtime=0.07 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 8643 0 0 0 7 0 0 0 25 0 1 0 968790472 39354368 8340 33554432000 4194304 9016284 140735348059744 18446744073709551615 5045629 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 9608 8340 485 1178 0 8426 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38432
[startup+0.101049 s]
/proc/loadavg: 1.84 1.98 1.95 2/172 9243
/proc/meminfo: memFree=31689940/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=39936 CPUtime=0.09 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 9019 0 0 0 9 0 0 0 25 0 1 0 968790472 40894464 8716 33554432000 4194304 9016284 140735348059744 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 9984 8716 485 1178 0 8802 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39936
[startup+0.301062 s]
/proc/loadavg: 1.84 1.98 1.95 2/172 9243
/proc/meminfo: memFree=31689940/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=48668 CPUtime=0.29 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 11393 0 0 0 28 1 0 0 25 0 1 0 968790472 49836032 11055 33554432000 4194304 9016284 140735348059744 18446744073709551615 7227736 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 12167 11055 638 1178 0 10985 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48668
[startup+0.700941 s]
/proc/loadavg: 1.84 1.98 1.95 2/172 9243
/proc/meminfo: memFree=31689940/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=50684 CPUtime=0.69 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 11823 0 0 0 68 1 0 0 25 0 1 0 968790472 51900416 11466 33554432000 4194304 9016284 140735348059744 18446744073709551615 7219239 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 12671 11466 638 1178 0 11489 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50684
[startup+1.50093 s]
/proc/loadavg: 1.84 1.98 1.95 3/178 9253
/proc/meminfo: memFree=31616120/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=50596 CPUtime=1.49 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 16064 0 0 0 147 2 0 0 25 0 1 0 968790472 51810304 11708 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 12649 11708 707 1178 0 11467 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50596
[startup+3.10064 s]
/proc/loadavg: 1.84 1.98 1.95 3/178 9253
/proc/meminfo: memFree=31616004/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=52132 CPUtime=3.09 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 22128 0 0 0 306 3 0 0 25 0 1 0 968790472 53383168 11996 33554432000 4194304 9016284 140735348059744 18446744073709551615 7199015 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 13033 11996 708 1178 0 11851 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52132
[startup+6.30104 s]
/proc/loadavg: 1.86 1.98 1.95 3/178 9253
/proc/meminfo: memFree=31615896/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=53300 CPUtime=6.29 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 32204 0 0 0 625 4 0 0 25 0 1 0 968790472 54579200 12152 33554432000 4194304 9016284 140735348059744 18446744073709551615 7219235 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 13325 12152 708 1178 0 12143 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53300
[startup+12.7009 s]
/proc/loadavg: 1.87 1.98 1.95 3/178 9253
/proc/meminfo: memFree=31616160/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=51908 CPUtime=12.69 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 46195 0 0 0 1263 6 0 0 25 0 1 0 968790472 53153792 12026 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 12977 12026 708 1178 0 11795 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51908
[startup+25.5005 s]
/proc/loadavg: 1.90 1.98 1.95 3/178 9254
/proc/meminfo: memFree=31617248/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=52008 CPUtime=25.49 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 50286 0 0 0 2541 8 0 0 25 0 1 0 968790472 53256192 12031 33554432000 4194304 9016284 140735348059744 18446744073709551615 7219008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 13002 12031 708 1178 0 11820 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52008
[startup+51.1007 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 9255
/proc/meminfo: memFree=31618412/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=52632 CPUtime=51.09 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 51834 0 0 0 5097 12 0 0 25 0 1 0 968790472 53895168 12170 33554432000 4194304 9016284 140735348059744 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 13158 12170 708 1178 0 11976 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52632
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 9256
/proc/meminfo: memFree=31617332/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=51532 CPUtime=102.3 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 54335 0 0 0 10213 17 0 0 25 0 1 0 968790472 52768768 11859 33554432000 4194304 9016284 140735348059744 18446744073709551615 7219247 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 12883 11859 708 1178 0 11701 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 51532
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9257
/proc/meminfo: memFree=31612636/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=53472 CPUtime=162.3 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 63360 0 0 0 16199 31 0 0 25 0 1 0 968790472 54755328 12399 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 13368 12399 711 1178 0 12186 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 53472
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9259
/proc/meminfo: memFree=31599212/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=54208 CPUtime=222.3 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 81813 0 0 0 22183 47 0 0 25 0 1 0 968790472 55508992 12571 33554432000 4194304 9016284 140735348059744 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 13552 12571 711 1178 0 12370 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 54208
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9261
/proc/meminfo: memFree=31597296/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=55448 CPUtime=282.3 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 97552 0 0 0 28160 70 0 0 25 0 1 0 968790472 56778752 12854 33554432000 4194304 9016284 140735348059744 18446744073709551615 7178597 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 13862 12854 714 1178 0 12680 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 55448
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9262
/proc/meminfo: memFree=31597244/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=55836 CPUtime=342.3 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 119661 0 0 0 34130 100 0 0 25 0 1 0 968790472 57176064 12971 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 13959 12971 714 1178 0 12777 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 55836
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9264
/proc/meminfo: memFree=31592472/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=58076 CPUtime=402.31 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 137792 0 0 0 40098 133 0 0 25 0 1 0 968790472 59469824 13517 33554432000 4194304 9016284 140735348059744 18446744073709551615 7219597 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 14519 13517 714 1178 0 13337 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 58076
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9265
/proc/meminfo: memFree=31589044/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=61504 CPUtime=462.31 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 141944 0 0 0 46070 161 0 0 25 0 1 0 968790472 62980096 14415 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 15376 14415 714 1178 0 14194 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 61504
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9267
/proc/meminfo: memFree=31588128/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=61940 CPUtime=522.3 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 147771 0 0 0 52040 190 0 0 25 0 1 0 968790472 63426560 14542 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 15485 14542 717 1178 0 14303 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 61940
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9269
/proc/meminfo: memFree=31580520/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=65452 CPUtime=582.31 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 155876 0 0 0 58013 218 0 0 25 0 1 0 968790472 67022848 15426 33554432000 4194304 9016284 140735348059744 18446744073709551615 7189203 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 16363 15426 717 1178 0 15181 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 65452
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31543764/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=83648 CPUtime=1062.32 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 163508 0 0 0 105769 463 0 0 25 0 1 0 968790472 85655552 20002 33554432000 4194304 9016284 140735348059744 18446744073709551615 4555275 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 20912 20002 717 1178 0 19730 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 83648
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9292
/proc/meminfo: memFree=31537636/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=87308 CPUtime=1122.33 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 164464 0 0 0 111742 491 0 0 25 0 1 0 968790472 89403392 20958 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 21827 20958 717 1178 0 20645 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 87308
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9294
/proc/meminfo: memFree=31532004/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=91580 CPUtime=1182.33 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 165520 0 0 0 117709 524 0 0 25 0 1 0 968790472 93777920 22014 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 22895 22014 717 1178 0 21713 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 91580
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9295
/proc/meminfo: memFree=31527120/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=94900 CPUtime=1242.33 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 169484 0 0 0 123674 559 0 0 25 0 1 0 968790472 97177600 22796 33554432000 4194304 9016284 140735348059744 18446744073709551615 7219660 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 23725 22796 717 1178 0 22543 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 94900
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9297
/proc/meminfo: memFree=31518752/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=98164 CPUtime=1302.34 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 170366 0 0 0 129641 593 0 0 25 0 1 0 968790472 100519936 23678 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 24541 23678 717 1178 0 23359 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 98164
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9298
/proc/meminfo: memFree=31513720/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=101532 CPUtime=1362.33 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 171153 0 0 0 135610 623 0 0 25 0 1 0 968790472 103968768 24465 33554432000 4194304 9016284 140735348059744 18446744073709551615 7189200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 25383 24465 717 1178 0 24201 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 101532
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9300
/proc/meminfo: memFree=31507840/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=103592 CPUtime=1422.35 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 171708 0 0 0 141581 654 0 0 25 0 1 0 968790472 106078208 25020 33554432000 4194304 9016284 140735348059744 18446744073709551615 7220766 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 25898 25020 717 1178 0 24716 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 103592
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9302
/proc/meminfo: memFree=31503328/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=105008 CPUtime=1482.34 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 172117 0 0 0 147549 685 0 0 25 0 1 0 968790472 107528192 25429 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 26252 25429 717 1178 0 25070 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 105008
[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/178 9303
/proc/meminfo: memFree=31498192/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=107856 CPUtime=1542.34 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 172794 0 0 0 153517 717 0 0 25 0 1 0 968790472 110444544 26106 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 26964 26106 717 1178 0 25782 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 107856
[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 1.96 3/178 9305
/proc/meminfo: memFree=31493060/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=108984 CPUtime=1602.34 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 173123 0 0 0 159487 747 0 0 25 0 1 0 968790472 111599616 26435 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 27246 26435 717 1178 0 26064 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 108984
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 9306
/proc/meminfo: memFree=31488304/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=112396 CPUtime=1662.34 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 173972 0 0 0 165454 780 0 0 25 0 1 0 968790472 115093504 27284 33554432000 4194304 9016284 140735348059744 18446744073709551615 7219008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 28099 27284 717 1178 0 26917 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 112396
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/178 9308
/proc/meminfo: memFree=31482808/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=114808 CPUtime=1722.34 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 174585 0 0 0 171422 812 0 0 25 0 1 0 968790472 117563392 27897 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 28702 27897 717 1178 0 27520 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 114808
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31480648/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=115320 CPUtime=1782.34 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 174729 0 0 0 177386 848 0 0 25 0 1 0 968790472 118087680 28041 33554432000 4194304 9016284 140735348059744 18446744073709551615 7219243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 28830 28041 717 1178 0 27648 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 115320
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31480772/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=115320 CPUtime=1785.55 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 174729 0 0 0 177705 850 0 0 25 0 1 0 968790472 118087680 28041 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 28830 28041 717 1178 0 27648 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 115320
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31479516/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=116132 CPUtime=1791.95 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 174912 0 0 0 178340 855 0 0 25 0 1 0 968790472 118919168 28224 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 29033 28224 717 1178 0 27851 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 116132
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31479516/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=116132 CPUtime=1795.15 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 174927 0 0 0 178658 857 0 0 25 0 1 0 968790472 118919168 28239 33554432000 4194304 9016284 140735348059744 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 29033 28239 717 1178 0 27851 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 116132
[startup+1795.9 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31479516/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=116132 CPUtime=1795.94 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 174927 0 0 0 178737 857 0 0 25 0 1 0 968790472 118919168 28239 33554432000 4194304 9016284 140735348059744 18446744073709551615 7220586 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 29033 28239 717 1178 0 27851 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 116132
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31479516/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=116132 CPUtime=1796.75 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 174927 0 0 0 178817 858 0 0 25 0 1 0 968790472 118919168 28239 33554432000 4194304 9016284 140735348059744 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9243/statm: 29033 28239 717 1178 0 27851 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 116132
[startup+1797.1 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 9310
/proc/meminfo: memFree=31479516/32950928 swapFree=67051812/67111528
[pid=9243] ppid=9241 vsize=115544 CPUtime=1797.15 cores=0,2,4,6
/proc/9243/stat : 9243 (scip-2.0.1.4b_2) R 9241 9243 9206 0 -1 4202496 174929 0 0 0 178857 858 0 0 25 0 1 0 968790472 118317056 28094 33554432000 4194304 9016284 140735348059744 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9243/statm: 28886 28094 719 1178 0 27704 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 115544
Child status: 0
Real time (s): 1797.12
CPU time (s): 1797.17
CPU user time (s): 1788.58
CPU system time (s): 8.58769
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 116132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.58
system time used= 8.58769
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174934
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= 3209
runsolver used 2.6426 second user time and 5.52916 second system time
The end