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-3450529-1307100941.opb>
0.00/0.00 c original problem has 432 variables (432 bin, 0 int, 0 impl, 0 cont) and 313 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 8 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 36 chg coeffs, 0 upgd conss, 1908 impls, 0 clqs
0.00/0.01 c (round 2) 8 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 36 chg coeffs, 10 upgd conss, 1930 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 198/424 (46.7%) - 0 fixings, 0 aggregations, 41 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 8 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 36 changed coefficients
0.00/0.02 c 2012 implications, 0 cliques
0.00/0.02 c presolved problem has 424 variables (424 bin, 0 int, 0 impl, 0 cont) and 313 constraints
0.00/0.02 c 287 constraints of type <and>
0.00/0.02 c 8 constraints of type <linear>
0.00/0.02 c 10 constraints of type <logicor>
0.00/0.02 c 8 constraints of type <pseudoboolean>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.0.1.5
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 13 | - |1998k| 0 | 4 | 424 | 322 | 424 | 592 | 0 | 9 | 0 | 2.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 271 | - |2080k| 0 | 18 | 424 | 367 | 424 | 600 | 8 | 47 | 0 | 2.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 292 | - |2120k| 0 | 36 | 424 | 367 | 424 | 613 | 21 | 47 | 0 | 2.000000e+00 | -- | Inf
0.09/0.17 c 0.2s| 1 | 0 | 316 | - |2229k| 0 | 45 | 424 | 367 | 424 | 637 | 45 | 47 | 0 | 2.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 353 | - |2333k| 0 | 56 | 424 | 367 | 424 | 663 | 71 | 47 | 0 | 2.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 397 | - |2366k| 0 | 78 | 424 | 367 | 424 | 684 | 92 | 47 | 0 | 2.000000e+00 | -- | Inf
0.19/0.26 c 0.3s| 1 | 0 | 473 | - |2420k| 0 | 102 | 424 | 367 | 424 | 724 | 132 | 47 | 0 | 2.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 2 | 473 | - |2421k| 0 | 102 | 424 | 367 | 424 | 724 | 132 | 47 | 10 | 2.000000e+00 | -- | Inf
9.09/9.18 c 9.2s| 10000 | 3289 | 82760 | 8.2 |8154k| 69 | 19 | 424 |2445 | 424 | 327 | 21k| 11k| 993 | 2.000000e+00 | -- | Inf
15.49/15.50 c 15.5s| 20000 | 4288 |128449 | 6.4 | 11M| 75 | - | 424 |5854 | 0 | 0 | 34k| 25k|1046 | 2.000000e+00 | -- | Inf
21.90/21.97 c 22.0s| 30000 | 4787 |174399 | 5.8 | 14M| 75 | 19 | 424 |7312 | 424 | 302 | 46k| 36k|1111 | 2.000000e+00 | -- | Inf
28.50/28.51 c 28.5s| 40000 | 5311 |218481 | 5.5 | 16M| 75 | 7 | 424 |8337 | 424 | 304 | 58k| 47k|1207 | 2.000000e+00 | -- | Inf
35.99/36.04 c 36.0s| 50000 | 8059 |281414 | 5.6 | 18M| 75 | 28 | 424 |2234 | 424 | 335 | 78k| 59k|2273 | 2.000000e+00 | -- | Inf
42.69/42.77 o 5
42.69/42.77 c *42.8s| 59642 | 11896 |343244 | 5.7 | 23M| 75 | - | 424 |2159 | 424 | 330 | 96k| 68k|2792 | 2.000000e+00 | 5.000000e+00 | 150.00%
42.99/43.06 c 43.1s| 60000 | 12078 |346156 | 5.8 | 23M| 75 | 18 | 424 |1536 | 424 | 336 | 97k| 69k|2806 | 2.000000e+00 | 5.000000e+00 | 150.00%
48.00/48.00 o 3
48.00/48.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.00/48.00 c f48.0s| 66393 | 12229 |396105 | 6.0 | 23M| 75 | - | 424 |1686 | 424 | 314 | 110k| 74k|3149 | 2.000000e+00 | 3.000000e+00 | 50.00%
50.69/50.73 c 50.7s| 70000 | 13780 |421938 | 6.0 | 24M| 75 | - | 424 |1590 | 0 | 0 | 116k| 78k|3172 | 2.000000e+00 | 3.000000e+00 | 50.00%
52.29/52.31 o 2
52.29/52.31 c *52.3s| 72265 | 0 |436339 | 6.0 |5322k| 75 | - | 424 |2131 | 424 | 312 | 120k| 80k|3199 | 2.000000e+00 | 2.000000e+00 | 0.00%
52.29/52.31 c
52.29/52.31 c SCIP Status : problem is solved [optimal solution found]
52.29/52.31 c Solving Time (sec) : 52.31
52.29/52.31 c Solving Nodes : 72265
52.29/52.31 c Primal Bound : +2.00000000000000e+00 (3 solutions)
52.29/52.31 c Dual Bound : +2.00000000000000e+00
52.29/52.31 c Gap : 0.00 %
52.29/52.31 c [pseudoboolean] <pseudoboolean10>: -1 <x61>[B] -2 <x62>[B] -4 <x63>[B] -8 <x64>[B] -16 <x65>[B] -32 <x66>[B] -64 <x103>[B] -128 <x104>[B] -256 <x105>[B] -512 <x106>[B] -1024 <x107>[B] -2048 <x108>[B] +1024 <x18>[B], <x60>[B] +512 <x18>[B], <x59>[B] +256 <x18>[B], <x58>[B] +128 <x18>[B], <x57>[B] +64 <x18>[B], <x56>[B] +512 <x17>[B], <x60>[B] +256 <x17>[B], <x59>[B] +128 <x17>[B], <x58>[B] +64 <x17>[B], <x57>[B] +32 <x17>[B], <x56>[B] +256 <x16>[B], <x60>[B] +128 <x16>[B], <x59>[B] +64 <x16>[B], <x58>[B] +32 <x16>[B], <x57>[B] +16 <x16>[B], <x56>[B] +128 <x15>[B], <x60>[B] +64 <x15>[B], <x59>[B] +32 <x15>[B], <x58>[B] +16 <x15>[B], <x57>[B] +8 <x15>[B], <x56>[B] +64 <x14>[B], <x60>[B] +32 <x14>[B], <x59>[B] +16 <x14>[B], <x58>[B] +8 <x14>[B], <x57>[B] +4 <x14>[B], <x56>[B] +2 <x14>[B], <x55>[B] +32 <x13>[B], <x60>[B] +16 <x13>[B], <x59>[B] +8 <x13>[B], <x58>[B] +4 <x13>[B], <x57>[B] +2 <x13>[B], <x56>[B]== 0;
52.29/52.31 c violation: left hand side is violated by 4
52.29/52.31 c best solution is not feasible in original problem
52.29/52.31 c internal error
52.29/52.31 s UNKNOWN
52.29/52.31 c SCIP Status : problem is solved [optimal solution found]
52.29/52.31 c Total Time : 52.31
52.29/52.31 c solving : 52.31
52.29/52.31 c presolving : 0.02 (included in solving)
52.29/52.31 c reading : 0.00 (included in solving)
52.29/52.31 c Original Problem :
52.29/52.31 c Problem name : HOME/instance-3450529-1307100941.opb
52.29/52.31 c Variables : 432 (432 binary, 0 integer, 0 implicit integer, 0 continuous)
52.29/52.31 c Constraints : 313 initial, 313 maximal
52.29/52.31 c Presolved Problem :
52.29/52.31 c Problem name : t_HOME/instance-3450529-1307100941.opb
52.29/52.31 c Variables : 424 (424 binary, 0 integer, 0 implicit integer, 0 continuous)
52.29/52.31 c Constraints : 313 initial, 9248 maximal
52.29/52.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
52.29/52.31 c trivial : 0.00 0 0 0 0 0 0 0 0 0
52.29/52.31 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
52.29/52.31 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
52.29/52.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
52.29/52.31 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
52.29/52.31 c implics : 0.00 0 0 0 0 0 0 0 0 0
52.29/52.31 c probing : 0.01 0 0 0 0 0 0 0 0 0
52.29/52.31 c and : 0.01 0 0 0 0 0 0 0 0 0
52.29/52.31 c linear : 0.00 1 7 0 0 0 0 0 0 36
52.29/52.31 c logicor : 0.00 0 0 0 0 0 0 0 0 0
52.29/52.31 c pseudoboolean : 0.00 0 0 0 0 0 1 0 0 0
52.29/52.31 c root node : - 74 - - 74 - - - - -
52.29/52.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
52.29/52.31 c integral : 0 0 0 55072 0 7 0 2 1290 0 0 109492
52.29/52.31 c and : 287 108866 269739 0 0 0 1900922 4794 471723 119938 0 0
52.29/52.31 c linear : 8+ 7 265028 2 0 6 437961 24730 194213 2 0 0
52.29/52.31 c logicor : 10+ 6 144866 2 0 3 178779 2121 70720 37 0 0
52.29/52.31 c pseudoboolean : 8 0 0 0 0 3 0 0 0 0 0 0
52.29/52.31 c countsols : 0 0 0 2 0 1 0 0 0 0 0 0
52.29/52.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
52.29/52.31 c integral : 2.42 0.00 0.00 2.42 0.00 0.00 0.00
52.29/52.31 c and : 3.08 1.37 1.39 0.00 0.00 0.00 0.32
52.29/52.31 c linear : 4.00 0.00 3.24 0.00 0.00 0.00 0.76
52.29/52.31 c logicor : 2.36 0.00 2.16 0.00 0.00 0.00 0.20
52.29/52.31 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
52.29/52.31 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
52.29/52.31 c Propagators : #Propagate #Resprop Cutoffs DomReds
52.29/52.31 c vbounds : 0 0 0 0
52.29/52.31 c rootredcost : 2 0 0 4
52.29/52.31 c pseudoobj : 269409 11 1 76
52.29/52.31 c Propagator Timings : TotalTime Propagate Resprop
52.29/52.31 c vbounds : 0.04 0.04 0.00
52.29/52.31 c rootredcost : 0.04 0.04 0.00
52.29/52.31 c pseudoobj : 0.11 0.11 0.00
52.29/52.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
52.29/52.31 c propagation : 3.03 31646 31605 372372 47.6 12453 26.9 -
52.29/52.31 c infeasible LP : 0.01 236 225 757 20.8 53 13.2 0
52.29/52.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
52.29/52.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
52.29/52.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
52.29/52.31 c applied globally : - - - 77158 25.5 - - -
52.29/52.31 c applied locally : - - - 3190 44.8 - - -
52.29/52.31 c Separators : Time Calls Cutoffs DomReds Cuts Conss
52.29/52.31 c cut pool : 0.00 5 - - 32 - (maximal pool size: 204)
52.29/52.31 c redcost : 0.69 108911 0 59 0 0
52.29/52.31 c impliedbounds : 0.00 6 0 0 71 0
52.29/52.31 c intobj : 0.00 0 0 0 0 0
52.29/52.31 c gomory : 0.04 6 0 0 18 0
52.29/52.31 c cgmip : 0.00 0 0 0 0 0
52.29/52.31 c closecuts : 0.00 0 0 0 0 0
52.29/52.31 c strongcg : 0.03 6 0 0 218 0
52.29/52.31 c cmir : 0.02 6 0 0 60 0
52.29/52.31 c flowcover : 0.03 6 0 0 109 0
52.29/52.31 c clique : 0.00 1 0 0 0 0
52.29/52.31 c zerohalf : 0.00 0 0 0 0 0
52.29/52.31 c mcf : 0.00 1 0 0 0 0
52.29/52.31 c oddcycle : 0.00 0 0 0 0 0
52.29/52.31 c rapidlearning : 0.02 1 0 0 0 5
52.29/52.31 c Pricers : Time Calls Vars
52.29/52.31 c problem variables: 0.00 0 0
52.29/52.31 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
52.29/52.31 c relpscost : 2.38 54987 2 1290 0 0 109326
52.29/52.31 c pscost : 0.00 0 0 0 0 0 0
52.29/52.31 c inference : 0.00 83 0 0 0 0 166
52.29/52.31 c mostinf : 0.00 0 0 0 0 0 0
52.29/52.31 c leastinf : 0.00 0 0 0 0 0 0
52.29/52.31 c fullstrong : 0.00 0 0 0 0 0 0
52.29/52.31 c allfullstrong : 0.00 0 0 0 0 0 0
52.29/52.31 c random : 0.00 0 0 0 0 0 0
52.29/52.31 c Primal Heuristics : Time Calls Found
52.29/52.31 c LP solutions : 0.03 - 2
52.29/52.31 c pseudo solutions : 0.00 - 0
52.29/52.31 c crossover : 0.02 0 0
52.29/52.31 c intshifting : 0.00 0 0
52.29/52.31 c oneopt : 0.03 2 0
52.29/52.31 c coefdiving : 0.14 33 0
52.29/52.31 c objpscostdiving : 0.13 17 0
52.29/52.31 c rootsoldiving : 0.26 17 0
52.29/52.31 c pscostdiving : 0.12 34 0
52.29/52.31 c fracdiving : 0.09 34 1
52.29/52.31 c veclendiving : 0.07 34 0
52.29/52.31 c linesearchdiving : 0.11 34 0
52.29/52.31 c guideddiving : 0.10 34 0
52.29/52.31 c feaspump : 0.08 17 0
52.29/52.31 c trivial : 0.00 2 0
52.29/52.31 c shiftandpropagate: 0.00 1 0
52.29/52.31 c simplerounding : 0.02 0 0
52.29/52.31 c zirounding : 0.37 0 0
52.29/52.31 c rounding : 0.13 4598 0
52.29/52.31 c shifting : 0.80 1351 0
52.29/52.31 c twoopt : 0.00 0 0
52.29/52.31 c fixandinfer : 0.00 0 0
52.29/52.31 c clique : 0.00 0 0
52.29/52.31 c intdiving : 0.00 0 0
52.29/52.31 c actconsdiving : 0.00 0 0
52.29/52.31 c octane : 0.00 0 0
52.29/52.31 c rens : 0.01 1 0
52.29/52.31 c rins : 0.00 0 0
52.29/52.31 c localbranching : 0.00 0 0
52.29/52.31 c mutation : 0.00 0 0
52.29/52.31 c dins : 0.00 0 0
52.29/52.31 c vbounds : 0.00 0 0
52.29/52.31 c undercover : 0.08 1 0
52.29/52.31 c subnlp : 0.01 0 0
52.29/52.31 c trysol : 0.02 0 0
52.29/52.31 c LP : Time Calls Iterations Iter/call Iter/sec
52.29/52.31 c primal LP : 1.13 0 0 0.00 0.00
52.29/52.31 c dual LP : 24.11 109672 422019 3.85 17502.34
52.29/52.31 c lex dual LP : 0.00 0 0 0.00 -
52.29/52.31 c barrier LP : 0.00 0 0 0.00 -
52.29/52.31 c diving/probing LP: 0.68 3304 14320 4.33 21069.82
52.29/52.31 c strong branching : 2.00 3199 40148 12.55 20084.34
52.29/52.31 c (at root node) : - 10 950 95.00 -
52.29/52.31 c conflict analysis: 0.00 0 0 0.00 -
52.29/52.31 c B&B Tree :
52.29/52.31 c number of runs : 1
52.29/52.31 c nodes : 72265
52.29/52.31 c nodes (total) : 72265
52.29/52.31 c nodes left : 0
52.29/52.31 c max depth : 75
52.29/52.31 c max depth (total): 75
52.29/52.31 c backtracks : 15922 (22.0%)
52.29/52.31 c delayed cutoffs : 18939
52.29/52.31 c repropagations : 50958 (248760 domain reductions, 13580 cutoffs)
52.29/52.31 c avg switch length: 5.20
52.29/52.31 c switching time : 4.43
52.29/52.31 c Solution :
52.29/52.31 c Solutions found : 3 (3 improvements)
52.29/52.31 c First Solution : +5.00000000000000e+00 (in run 1, after 59642 nodes, 42.77 seconds, depth 64, found by <relaxation>)
52.29/52.31 c Primal Bound : +2.00000000000000e+00 (in run 1, after 72265 nodes, 52.28 seconds, depth 63, found by <relaxation>)
52.29/52.31 c Dual Bound : +2.00000000000000e+00
52.29/52.31 c Gap : 0.00 %
52.29/52.31 c Root Dual Bound : +2.00000000000000e+00
52.29/52.31 c Root Iterations : 473
52.29/52.32 c Time complete: 52.32.
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-3450529-1307100941/watcher-3450529-1307100941 -o /tmp/evaluation-result-3450529-1307100941/solver-3450529-1307100941 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450529-1307100941.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.80 2.34 2.13 2/434 31665
/proc/meminfo: memFree=12421496/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=18700 CPUtime=0.01 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 3716 0 0 0 1 0 0 0 25 0 1 0 821693730 19148800 3412 33554432000 4194304 9163163 140736234071040 18446744073709551615 8013931 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 4675 3415 540 1214 0 3457 0
[startup+0.060617 s]
/proc/loadavg: 2.80 2.34 2.13 2/434 31665
/proc/meminfo: memFree=12421496/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=35960 CPUtime=0.05 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 8163 0 0 0 4 1 0 0 25 0 1 0 821693730 36823040 7851 33554432000 4194304 9163163 140736234071040 18446744073709551615 8041960 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 8990 7898 699 1214 0 7772 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 35960
[startup+0.10061 s]
/proc/loadavg: 2.80 2.34 2.13 2/434 31665
/proc/meminfo: memFree=12421496/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=42788 CPUtime=0.09 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 11224 0 0 0 7 2 0 0 25 0 1 0 821693730 43814912 9249 33554432000 4194304 9163163 140736234071040 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 10697 9249 714 1214 0 9479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42788
[startup+0.300575 s]
/proc/loadavg: 2.80 2.34 2.13 2/434 31665
/proc/meminfo: memFree=12421496/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=35140 CPUtime=0.29 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 14815 0 0 0 26 3 0 0 25 0 1 0 821693730 35983360 7735 33554432000 4194304 9163163 140736234071040 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 8785 7735 742 1214 0 7567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35140
[startup+0.700513 s]
/proc/loadavg: 2.80 2.34 2.13 2/434 31665
/proc/meminfo: memFree=12421496/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=35168 CPUtime=0.69 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 14818 0 0 0 62 7 0 0 25 0 1 0 821693730 36012032 7738 33554432000 4194304 9163163 140736234071040 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 8792 7738 742 1214 0 7574 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35168
[startup+1.50038 s]
/proc/loadavg: 2.80 2.34 2.13 3/435 31666
/proc/meminfo: memFree=12393184/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=35168 CPUtime=1.49 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 14820 0 0 0 136 13 0 0 25 0 1 0 821693730 36012032 7740 33554432000 4194304 9163163 140736234071040 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 8792 7740 743 1214 0 7574 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35168
[startup+3.1011 s]
/proc/loadavg: 2.80 2.34 2.13 3/435 31666
/proc/meminfo: memFree=12392192/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=35168 CPUtime=3.09 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 14825 0 0 0 288 21 0 0 25 0 1 0 821693730 36012032 7745 33554432000 4194304 9163163 140736234071040 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 8792 7745 745 1214 0 7574 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35168
[startup+6.30053 s]
/proc/loadavg: 2.74 2.34 2.13 3/435 31666
/proc/meminfo: memFree=12391996/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=35168 CPUtime=6.29 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 14832 0 0 0 595 34 0 0 25 0 1 0 821693730 36012032 7752 33554432000 4194304 9163163 140736234071040 18446744073709551615 4959417 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 8792 7752 745 1214 0 7574 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35168
[startup+12.7004 s]
/proc/loadavg: 2.76 2.35 2.13 3/435 31666
/proc/meminfo: memFree=12390196/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=35168 CPUtime=12.7 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 14837 0 0 0 1210 60 0 0 25 0 1 0 821693730 36012032 7757 33554432000 4194304 9163163 140736234071040 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 8792 7757 745 1214 0 7574 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 35168
[startup+25.5002 s]
/proc/loadavg: 2.74 2.36 2.14 3/435 31666
/proc/meminfo: memFree=12382816/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=42744 CPUtime=25.49 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 16737 0 0 0 2443 106 0 0 25 0 1 0 821693730 43769856 9638 33554432000 4194304 9163163 140736234071040 18446744073709551615 4560278 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 10686 9638 745 1214 0 9468 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42744
[startup+51.1008 s]
/proc/loadavg: 2.48 2.33 2.13 3/435 31667
/proc/meminfo: memFree=12367672/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=57588 CPUtime=51.09 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 20502 0 0 0 4896 213 0 0 25 0 1 0 821693730 58970112 13358 33554432000 4194304 9163163 140736234071040 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 14397 13358 746 1214 0 13179 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57588
Solver just ended. Dumping a history of the last processes samples
[startup+51.9006 s]
/proc/loadavg: 2.48 2.33 2.13 3/435 31667
/proc/meminfo: memFree=12367672/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=57588 CPUtime=51.89 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 20507 0 0 0 4972 217 0 0 25 0 1 0 821693730 58970112 13363 33554432000 4194304 9163163 140736234071040 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 14397 13363 746 1214 0 13179 0
Current children cumulated CPU time (s) 51.89
Current children cumulated vsize (KiB) 57588
[startup+52.3006 s]
/proc/loadavg: 2.48 2.33 2.13 3/435 31667
/proc/meminfo: memFree=12367672/32951132 swapFree=67093840/67111528
[pid=31665] ppid=31663 vsize=57588 CPUtime=52.29 cores=1,3,5,7
/proc/31665/stat : 31665 (scip-2.0.1.4b.l) R 31663 31665 27022 0 -1 4202496 20507 0 0 0 5010 219 0 0 25 0 1 0 821693730 58970112 13363 33554432000 4194304 9163163 140736234071040 18446744073709551615 4745912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31665/statm: 14397 13363 746 1214 0 13179 0
Current children cumulated CPU time (s) 52.29
Current children cumulated vsize (KiB) 57588
Child status: 0
Real time (s): 52.327
CPU time (s): 52.328
CPU user time (s): 50.1324
CPU system time (s): 2.19567
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 57588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.1324
system time used= 2.19567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 75
runsolver used 0.208968 second user time and 0.559914 second system time
The end