0.00/0.00 c SCIP version 2.0.1.4 [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-3485099-1307781681.opb>
0.00/0.01 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.03 o 200
0.00/0.03 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.03 c presolving:
0.09/0.17 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 414832 impls, 0 clqs
0.19/0.25 c (0.2s) probing: 101/6420 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.25 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (2 rounds):
0.19/0.25 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.25 c 414832 implications, 0 cliques
0.19/0.25 c presolved problem has 6420 variables (6420 bin, 0 int, 0 impl, 0 cont) and 6420 constraints
0.19/0.25 c 6220 constraints of type <and>
0.19/0.25 c 200 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.24
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 2.0.1.4
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1797
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 13950
0.19/0.25 c
0.19/0.25 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.25 c # [type: int, range: [1,2], default: 1]
0.19/0.25 c timing/clocktype = 2
0.19/0.25 c
0.19/0.25 c # belongs reading time to solving time?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c timing/reading = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify inequalities
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/linear/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/indicator/addCouplingCons = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify knapsacks
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c separating/rapidlearning/freq = 0
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.25 c
0.29/0.32 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.32 c t 0.3s| 1 | 0 | 400 | - | 36M| 0 | 400 |6420 |6420 |6420 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
0.29/0.33 o 24
0.29/0.33 c s 0.3s| 1 | 0 | 400 | - | 36M| 0 | 400 |6420 |6420 |6420 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
1.10/1.14 c 1.1s| 1 | 0 | 1000 | - | 36M| 0 | 400 |6420 |6420 |6420 | 13k| 400 | 0 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
1.59/1.64 c 1.6s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6420 |6420 |6420 | 13k| 804 | 0 | 0 | 0.000000e+00 | 2.400000e+01 | Inf
1.59/1.64 o 23
1.59/1.64 c s 1.6s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6420 |6420 |6420 | 13k| 804 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
2.09/2.16 c 2.2s| 1 | 0 | 2200 | - | 37M| 0 | 400 |6420 |6420 |6420 | 13k|1205 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
2.09/2.16 o 18
2.09/2.16 c s 2.2s| 1 | 0 | 2200 | - | 37M| 0 | 400 |6420 |6420 |6420 | 13k|1205 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
2.69/2.70 c 2.7s| 1 | 0 | 2800 | - | 37M| 0 | 400 |6420 |6420 |6420 | 14k|1609 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
3.19/3.26 c 3.3s| 1 | 0 | 3400 | - | 37M| 0 | 400 |6420 |6420 |6420 | 14k|2011 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
3.79/3.84 c 3.8s| 1 | 0 | 4000 | - | 38M| 0 | 400 |6420 |6420 |6420 | 15k|2413 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
3.89/3.95 c 3.9s| 1 | 2 | 4000 | - | 38M| 0 | 400 |6420 |6420 |6420 | 15k|2413 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
653.71/653.79 o 12
653.71/653.79 c l 654s| 1752 | 1734 | 1392k| 793.1 | 47M| 39 | - |6420 |6434 |6420 |6662 | 158k| 14 |1296 | 7.229181e+00 | 1.200000e+01 | 65.99%
1260.13/1260.15 o 11
1260.13/1260.15 c *1260s| 5325 | 2836 | 2580k| 484.0 | 55M| 72 | - |6420 |6435 |6420 |6742 | 234k| 22 |2063 | 7.431770e+00 | 1.100000e+01 | 48.01%
1589.73/1589.76 c 1590s| 10000 | 3517 | 3232k| 322.9 | 85M| 78 |2363 |6420 |6434 |6420 |6637 | 272k| 22 |2572 | 7.585021e+00 | 1.100000e+01 | 45.02%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 13124
1797.04/1797.00 c Primal Bound : +1.10000000000000e+01 (6 solutions)
1797.04/1797.00 c Dual Bound : +7.63254774601280e+00
1797.04/1797.00 c Gap : 44.12 %
1797.04/1797.00 s SATISFIABLE
1797.04/1797.00 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1797.04/1797.00 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1797.04/1797.00 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1797.04/1797.00 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1797.04/1797.00 v -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1797.04/1797.00 v -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1797.04/1797.00 v -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
1797.04/1797.00 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
1797.04/1797.00 v -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 x2 x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.24 (included in solving)
1797.04/1797.00 c reading : 0.01 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485099-1307781681.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 200 initial, 200 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485099-1307781681.opb
1797.04/1797.00 c Variables : 6420 (6420 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 6420 initial, 6435 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.05 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c and : 0.16 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 9331 0 378 0 10 271 0 0 18398
1797.04/1797.00 c and : 6220 31543 125727 1 1 373 491 3 2445825 334759 0 0
1797.04/1797.00 c logicor : 200+ 6 40150 1 1 5 5 8 0 0 0 0
1797.04/1797.00 c countsols : 0 0 0 1 1 8 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 148.78 0.00 0.00 148.76 0.00 0.02 0.00
1797.04/1797.00 c and : 79.60 62.41 17.16 0.00 0.00 0.03 0.00
1797.04/1797.00 c logicor : 0.41 0.00 0.41 0.00 0.00 0.00 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 3 0 0 0
1797.04/1797.00 c pseudoobj : 125773 157 6 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.04 0.04 0.00
1797.04/1797.00 c rootredcost : 0.04 0.04 0.00
1797.04/1797.00 c pseudoobj : 0.70 0.70 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.00 17 17 22 23.5 0 0.0 -
1797.04/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 22 23.5 - - -
1797.04/1797.00 c applied locally : - - - 0 0.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 5 - - 0 - (maximal pool size: 2413)
1797.04/1797.00 c redcost : 2.35 31547 0 71677 0 0
1797.04/1797.00 c impliedbounds : 0.01 6 0 0 2400 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.32 6 0 0 3000 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.31 6 0 0 3000 0
1797.04/1797.00 c cmir : 1.67 6 0 0 2400 0
1797.04/1797.00 c flowcover : 0.45 6 0 0 0 0
1797.04/1797.00 c clique : 0.12 6 0 0 13 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.01 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.23 1 0 0 0 0
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 148.75 9318 10 271 0 0 18374
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 13 0 0 0 0 26
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.02 - 1
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c feaspump : 0.00 0 0
1797.04/1797.00 c oneopt : 0.03 5 0
1797.04/1797.00 c objpscostdiving : 19.00 8 0
1797.04/1797.00 c crossover : 0.86 7 0
1797.04/1797.00 c rootsoldiving : 8.24 17 0
1797.04/1797.00 c pscostdiving : 51.80 59 0
1797.04/1797.00 c fracdiving : 57.52 59 0
1797.04/1797.00 c guideddiving : 57.62 60 0
1797.04/1797.00 c veclendiving : 31.37 69 0
1797.04/1797.00 c coefdiving : 42.78 84 0
1797.04/1797.00 c linesearchdiving : 92.03 135 1
1797.04/1797.00 c trivial : 0.01 2 1
1797.04/1797.00 c shiftandpropagate: 0.00 0 0
1797.04/1797.00 c simplerounding : 0.02 0 0
1797.04/1797.00 c zirounding : 0.73 1000 0
1797.04/1797.00 c rounding : 3.54 2589 0
1797.04/1797.00 c shifting : 5.99 3524 3
1797.04/1797.00 c intshifting : 0.00 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.10 1 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.01 1 0
1797.04/1797.00 c subnlp : 0.00 0 0
1797.04/1797.00 c trysol : 0.01 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 16.82 0 0 0.00 0.00
1797.04/1797.00 c dual LP : 1111.38 38204 2940395 76.97 2645.72
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 292.15 40861 704622 17.24 2411.88
1797.04/1797.00 c strong branching : 148.26 2886 422096 146.26 2846.98
1797.04/1797.00 c (at root node) : - 0 0 0.00 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 13124
1797.04/1797.00 c nodes (total) : 13124
1797.04/1797.00 c nodes left : 3901
1797.04/1797.00 c max depth : 79
1797.04/1797.00 c max depth (total): 79
1797.04/1797.00 c backtracks : 1871 (14.3%)
1797.04/1797.00 c delayed cutoffs : 0
1797.04/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.00 c avg switch length: 5.28
1797.04/1797.00 c switching time : 22.45
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 6 (6 improvements)
1797.04/1797.00 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.04/1797.00 c Primal Bound : +1.10000000000000e+01 (in run 1, after 5325 nodes, 1260.13 seconds, depth 27, found by <relaxation>)
1797.04/1797.00 c Dual Bound : +7.63254774601280e+00
1797.04/1797.00 c Gap : 44.12 %
1797.04/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Root Iterations : 4000
1797.04/1797.08 c Time complete: 1797.13.
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-3485099-1307781681/watcher-3485099-1307781681 -o /tmp/evaluation-result-3485099-1307781681/solver-3485099-1307781681 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485099-1307781681.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.00 1.91 2/177 11933
/proc/meminfo: memFree=31367460/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=10108 CPUtime=0 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 1530 0 0 0 0 0 0 0 25 0 1 0 889768862 10350592 1485 33554432000 4194304 8979876 140735288925856 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11933/statm: 2527 1486 368 1169 0 1354 0
[startup+0.0658329 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 11933
/proc/meminfo: memFree=31367460/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=34280 CPUtime=0.05 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 7221 0 0 0 5 0 0 0 25 0 1 0 889768862 35102720 7176 33554432000 4194304 8979876 140735288925856 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 8570 7176 481 1169 0 7397 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 34280
[startup+0.100837 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 11933
/proc/meminfo: memFree=31367460/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=38976 CPUtime=0.09 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 8394 0 0 0 9 0 0 0 25 0 1 0 889768862 39911424 8349 33554432000 4194304 8979876 140735288925856 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 9744 8349 481 1169 0 8571 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38976
[startup+0.300789 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 11933
/proc/meminfo: memFree=31367460/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=76288 CPUtime=0.29 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 18276 0 0 0 27 2 0 0 25 0 1 0 889768862 78118912 17598 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 19072 17598 623 1169 0 17899 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76288
[startup+0.700713 s]
/proc/loadavg: 2.00 2.00 1.91 2/177 11933
/proc/meminfo: memFree=31367460/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=75892 CPUtime=0.69 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 20452 0 0 0 67 2 0 0 25 0 1 0 889768862 77713408 17867 33554432000 4194304 8979876 140735288925856 18446744073709551615 6293594 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 18973 17867 659 1169 0 17800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75892
[startup+1.50058 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11934
/proc/meminfo: memFree=31257488/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=102352 CPUtime=1.49 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 32409 0 0 0 145 4 0 0 25 0 1 0 889768862 104808448 24573 33554432000 4194304 8979876 140735288925856 18446744073709551615 6278309 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 25588 24573 703 1169 0 24415 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102352
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11934
/proc/meminfo: memFree=31272004/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=102352 CPUtime=3.09 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 32460 0 0 0 304 5 0 0 25 0 1 0 889768862 104808448 24610 33554432000 4194304 8979876 140735288925856 18446744073709551615 6278351 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 25588 24610 689 1169 0 24415 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102352
[startup+6.30069 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11934
/proc/meminfo: memFree=31270788/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=102352 CPUtime=6.3 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 37249 0 0 0 617 13 0 0 25 0 1 0 889768862 104808448 24691 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 25588 24691 697 1169 0 24415 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 102352
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11934
/proc/meminfo: memFree=31271056/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=102352 CPUtime=12.69 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 37252 0 0 0 1244 25 0 0 25 0 1 0 889768862 104808448 24691 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 25588 24691 694 1169 0 24415 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 102352
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11935
/proc/meminfo: memFree=31270572/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=102352 CPUtime=25.49 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 37255 0 0 0 2502 47 0 0 25 0 1 0 889768862 104808448 24694 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 25588 24694 697 1169 0 24415 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 102352
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11935
/proc/meminfo: memFree=31270668/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=102352 CPUtime=51.09 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 37255 0 0 0 5031 78 0 0 25 0 1 0 889768862 104808448 24694 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 25588 24694 697 1169 0 24415 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 102352
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11937
/proc/meminfo: memFree=31270608/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=102352 CPUtime=102.3 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 37255 0 0 0 10100 130 0 0 25 0 1 0 889768862 104808448 24694 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 25588 24694 697 1169 0 24415 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 102352
[startup+162.301 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 11938
/proc/meminfo: memFree=31270680/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=102352 CPUtime=162.29 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 37255 0 0 0 16035 194 0 0 25 0 1 0 889768862 104808448 24694 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 25588 24694 697 1169 0 24415 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 102352
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 11940
/proc/meminfo: memFree=31270396/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=102352 CPUtime=222.29 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 42966 0 0 0 21974 255 0 0 25 0 1 0 889768862 104808448 24715 33554432000 4194304 8979876 140735288925856 18446744073709551615 7020800 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 25588 24715 718 1169 0 24415 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 102352
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11941
/proc/meminfo: memFree=31270360/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=102976 CPUtime=282.3 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 43093 0 0 0 27915 315 0 0 25 0 1 0 889768862 105447424 24842 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 25744 24842 718 1169 0 24571 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 102976
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11943
/proc/meminfo: memFree=31268464/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=104968 CPUtime=342.3 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 43612 0 0 0 33861 369 0 0 25 0 1 0 889768862 107487232 25338 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 26242 25338 718 1169 0 25069 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 104968
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11945
/proc/meminfo: memFree=31267684/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=105864 CPUtime=402.3 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 44892 0 0 0 39809 421 0 0 25 0 1 0 889768862 108404736 25567 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 26466 25567 718 1169 0 25293 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 105864
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11946
/proc/meminfo: memFree=31262452/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=110480 CPUtime=462.3 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 45923 0 0 0 45755 475 0 0 25 0 1 0 889768862 113131520 26598 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 27620 26598 718 1169 0 26447 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 110480
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11948
/proc/meminfo: memFree=31260056/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=112276 CPUtime=522.31 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 46381 0 0 0 51706 525 0 0 25 0 1 0 889768862 114970624 27056 33554432000 4194304 8979876 140735288925856 18446744073709551615 7047625 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 28069 27056 718 1169 0 26896 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 112276
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11949
/proc/meminfo: memFree=31258152/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=113636 CPUtime=582.31 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 46835 0 0 0 57659 572 0 0 25 0 1 0 889768862 116363264 27510 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 28409 27510 718 1169 0 27236 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 113636
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30447428/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=173100 CPUtime=1122.32 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 61359 0 0 0 111197 1035 0 0 25 0 1 0 889768862 177254400 42034 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 43275 42034 719 1169 0 42102 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 173100
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12012
/proc/meminfo: memFree=30406456/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=173100 CPUtime=1182.33 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 61359 0 0 0 117157 1076 0 0 25 0 1 0 889768862 177254400 42034 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 43275 42034 719 1169 0 42102 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 173100
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12014
/proc/meminfo: memFree=30398628/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=172840 CPUtime=1242.33 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 66675 0 0 0 123110 1123 0 0 25 0 1 0 889768862 176988160 42323 33554432000 4194304 8979876 140735288925856 18446744073709551615 6916296 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 43210 42323 719 1169 0 42037 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 172840
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12016
/proc/meminfo: memFree=30383824/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=177716 CPUtime=1302.33 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 67872 0 0 0 129063 1170 0 0 25 0 1 0 889768862 181981184 43520 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 44429 43520 719 1169 0 43256 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 177716
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 12020
/proc/meminfo: memFree=30363944/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=183928 CPUtime=1362.33 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 76514 0 0 0 135012 1221 0 0 25 0 1 0 889768862 188342272 45063 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 45982 45063 719 1169 0 44809 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 183928
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 12022
/proc/meminfo: memFree=30350324/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=190044 CPUtime=1422.33 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 85131 0 0 0 140960 1273 0 0 25 0 1 0 889768862 194605056 46592 33554432000 4194304 8979876 140735288925856 18446744073709551615 5041696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 47511 46592 719 1169 0 46338 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 190044
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12023
/proc/meminfo: memFree=30342592/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=197968 CPUtime=1482.33 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 93878 0 0 0 146915 1318 0 0 25 0 1 0 889768862 202719232 48506 33554432000 4194304 8979876 140735288925856 18446744073709551615 7123834 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 49492 48506 719 1169 0 48319 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 197968
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12025
/proc/meminfo: memFree=30335484/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=204728 CPUtime=1542.34 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 95649 0 0 0 152874 1360 0 0 25 0 1 0 889768862 209641472 50277 33554432000 4194304 8979876 140735288925856 18446744073709551615 7172802 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 51182 50277 719 1169 0 50009 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 204728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12027
/proc/meminfo: memFree=30327620/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=212728 CPUtime=1602.34 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 104396 0 0 0 158826 1408 0 0 25 0 1 0 889768862 217833472 52277 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 53182 52277 724 1169 0 52009 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 212728
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12028
/proc/meminfo: memFree=30318416/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=219772 CPUtime=1662.33 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 106039 0 0 0 164777 1456 0 0 25 0 1 0 889768862 225046528 53920 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 54943 53920 724 1169 0 53770 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 219772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12030
/proc/meminfo: memFree=30308076/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=228316 CPUtime=1722.34 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 108284 0 0 0 170729 1505 0 0 25 0 1 0 889768862 233795584 56165 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 57079 56165 724 1169 0 55906 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 228316
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12031
/proc/meminfo: memFree=30288060/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=234692 CPUtime=1782.34 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 111999 0 0 0 176681 1553 0 0 25 0 1 0 889768862 240324608 57767 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 58673 57767 724 1169 0 57500 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 234692
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12032
/proc/meminfo: memFree=30287316/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=235284 CPUtime=1785.54 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 112138 0 0 0 177000 1554 0 0 25 0 1 0 889768862 240930816 57906 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 58821 57906 724 1169 0 57648 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 235284
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12032
/proc/meminfo: memFree=30287056/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=235676 CPUtime=1791.95 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 112237 0 0 0 177635 1560 0 0 25 0 1 0 889768862 241332224 58005 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 58919 58005 724 1169 0 57746 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 235676
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12032
/proc/meminfo: memFree=30286680/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=236256 CPUtime=1795.14 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 112325 0 0 0 177953 1561 0 0 25 0 1 0 889768862 241926144 58093 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 59064 58093 724 1169 0 57891 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 236256
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12032
/proc/meminfo: memFree=30286680/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=236256 CPUtime=1795.94 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 112327 0 0 0 178032 1562 0 0 25 0 1 0 889768862 241926144 58095 33554432000 4194304 8979876 140735288925856 18446744073709551615 6629561 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 59064 58095 724 1169 0 57891 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 236256
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12032
/proc/meminfo: memFree=30286680/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=236256 CPUtime=1796.74 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 112330 0 0 0 178111 1563 0 0 25 0 1 0 889768862 241926144 58098 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 59064 58098 724 1169 0 57891 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 236256
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12032
/proc/meminfo: memFree=30286680/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=236256 CPUtime=1796.94 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 112391 0 0 0 178131 1563 0 0 25 0 1 0 889768862 241926144 58159 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 59064 58159 724 1169 0 57891 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 236256
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12032
/proc/meminfo: memFree=30286680/32951124 swapFree=67056684/67111528
[pid=11933] ppid=11931 vsize=236256 CPUtime=1797.04 cores=1,3,5,7
/proc/11933/stat : 11933 (scip-2.0.1.4_2.) R 11931 11933 9145 0 -1 4202496 112391 0 0 0 178141 1563 0 0 25 0 1 0 889768862 241926144 58159 33554432000 4194304 8979876 140735288925856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/11933/statm: 59064 58159 724 1169 0 57891 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 236256
Child status: 0
Real time (s): 1797.09
CPU time (s): 1797.14
CPU user time (s): 1781.49
CPU system time (s): 15.6446
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 236256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.49
system time used= 15.6446
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112399
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 2488
runsolver used 2.82257 second user time and 6.22705 second system time
The end