0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452373-1307110299.opb>
0.00/0.01 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.02/0.06 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24696 impls, 200 clqs
0.09/0.11 c (0.1s) probing: 101/3262 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (2 rounds):
0.09/0.11 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 24696 implications, 200 cliques
0.09/0.11 c presolved problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3363 constraints
0.09/0.11 c 300 constraints of type <setppc>
0.09/0.11 c 3062 constraints of type <and>
0.09/0.11 c 1 constraints of type <linear>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.10
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 2.0.1.4
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1800
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 13950
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # belongs reading time to solving time?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c timing/reading = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/indicator/addCouplingCons = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/rapidlearning/freq = 0
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.79/0.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.81 c t 0.8s| 1 | 0 | 2935 | - | 14M| 0 | 757 |3262 |3363 |3262 |6425 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.79/0.81 o -3
0.79/0.81 c s 0.8s| 1 | 0 | 2935 | - | 14M| 0 | 757 |3262 |3363 |3262 |6425 | 0 | 0 | 0 |-5.000000e+01 |-3.000000e+00 | 94.00%
0.89/0.95 o -4
0.89/0.95 c U 0.9s| 1 | 0 | 2935 | - | 14M| 0 | 757 |3262 |3363 |3262 |6425 | 0 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
2.59/2.66 c 2.7s| 1 | 0 | 6023 | - | 14M| 0 |1208 |3262 |3364 |3262 |6467 | 42 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
2.59/2.66 o -4
2.59/2.66 c s 2.7s| 1 | 0 | 6023 | - | 14M| 0 |1208 |3262 |3364 |3262 |6467 | 42 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
3.39/3.46 c 3.5s| 1 | 0 | 7368 | - | 15M| 0 |1471 |3262 |3364 |3262 |6498 | 73 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
4.19/4.30 c 4.3s| 1 | 0 | 8560 | - | 15M| 0 |1401 |3262 |3364 |3262 |6511 | 86 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
4.99/5.07 c 5.1s| 1 | 0 | 9436 | - | 15M| 0 |1529 |3262 |3364 |3262 |6523 | 98 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
5.89/5.98 c 6.0s| 1 | 0 | 10608 | - | 15M| 0 |1653 |3262 |3364 |3262 |6535 | 110 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
5.89/5.99 o -5
5.89/5.99 c s 6.0s| 1 | 0 | 10608 | - | 15M| 0 |1653 |3262 |3364 |3262 |6535 | 110 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
6.99/7.07 c 7.1s| 1 | 0 | 12012 | - | 15M| 0 |1669 |3262 |3364 |3262 |6540 | 115 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
22.69/22.74 c 22.7s| 1 | 2 | 12012 | - | 15M| 0 |1669 |3262 |3364 |3262 |6540 | 115 | 0 | 35 |-5.000000e+01 |-5.000000e+00 | 90.00%
158.76/158.84 o -11
158.76/158.84 c p 159s| 17 | 18 |388544 |23533.2 | 16M| 5 | - |3262 |3372 |3262 |3037 |4822 | 8 | 276 |-4.908329e+01 |-1.100000e+01 | 77.59%
204.26/204.36 o -13
204.26/204.36 c l 204s| 22 | 23 |566024 |26381.5 | 16M| 6 | - |3262 |3377 |3262 |3106 |5480 | 13 | 300 |-4.882035e+01 |-1.300000e+01 | 73.37%
466.45/466.58 o -14
466.45/466.58 c l 467s| 111 | 112 | 1609k|14521.4 | 16M| 19 | - |3262 |3415 |3262 |2902 | 12k| 51 | 467 |-4.579178e+01 |-1.400000e+01 | 69.43%
1799.92/1800.00 c
1799.92/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.92/1800.00 c Solving Time (sec) : 1800.00
1799.92/1800.00 c Solving Nodes : 2009
1799.92/1800.00 c Primal Bound : -1.40000000000000e+01 (11 solutions)
1799.92/1800.00 c Dual Bound : -3.94015261878097e+01
1799.92/1800.00 c Gap : 64.47 %
1799.92/1800.00 s SATISFIABLE
1799.92/1800.00 v x160 -x183 -x118 -x165 -x126 -x157 -x148 -x158 -x196 -x181 x167 -x156 -x142 -x131 -x198 -x197 -x163 -x137 -x110 -x171 -x107 x103
1799.92/1800.00 v -x144 x130 -x125 -x122 -x113 -x119 -x159 -x192 -x195 -x164 x179 -x175 -x188 -x145 -x191 -x151 -x169 -x102 -x152 -x146 -x140
1799.92/1800.00 v -x135 -x112 -x105 -x134 -x143 x190 -x186 -x189 -x123 -x194 -x136 x114 -x138 -x154 x141 -x162 -x200 x109 -x185 -x101 -x193 -x178
1799.92/1800.00 v x172 -x170 -x155 -x139 -x124 -x120 -x117 -x116 -x108 -x104 -x128 -x147 -x168 -x153 x184 -x132 -x180 -x106 x115 x187 -x129
1799.92/1800.00 v x199 -x161 -x149 -x127 -x182 -x174 -x150 -x121 -x133 -x177 -x173 -x111 -x166 -x176 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1799.92/1800.00 v -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67
1799.92/1800.00 v -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 x58 x57 x56 -x55 x54 -x53 -x52 -x51 x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
1799.92/1800.00 v -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1799.92/1800.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1799.92/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.92/1800.00 c Total Time : 1800.00
1799.92/1800.00 c solving : 1800.00
1799.92/1800.00 c presolving : 0.10 (included in solving)
1799.92/1800.00 c reading : 0.01 (included in solving)
1799.92/1800.00 c Original Problem :
1799.92/1800.00 c Problem name : HOME/instance-3452373-1307110299.opb
1799.92/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.92/1800.00 c Constraints : 301 initial, 301 maximal
1799.92/1800.00 c Presolved Problem :
1799.92/1800.00 c Problem name : t_HOME/instance-3452373-1307110299.opb
1799.92/1800.00 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.92/1800.00 c Constraints : 3363 initial, 3607 maximal
1799.92/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.92/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c and : 0.05 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.92/1800.00 c root node : - 0 - - 0 - - - - -
1799.92/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.92/1800.00 c integral : 0 0 0 1996 0 77 0 0 3 0 0 3986
1799.92/1800.00 c setppc : 300 6 89602 0 1 72 493 25 9528 0 0 0
1799.92/1800.00 c and : 3062 5130 89577 0 1 71 690 208 241958 85487 0 0
1799.92/1800.00 c linear : 1 6 89367 0 0 10 1 3 0 0 0 0
1799.92/1800.00 c logicor : 0+ 6 2785 0 0 0 0 0 1226 0 0 0
1799.92/1800.00 c countsols : 0 0 0 0 1 14 0 0 0 0 0 0
1799.92/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.92/1800.00 c integral : 225.71 0.00 0.00 225.71 0.00 0.00 0.00
1799.92/1800.00 c setppc : 0.31 0.00 0.30 0.00 0.00 0.01 0.00
1799.92/1800.00 c and : 6.21 3.16 3.04 0.00 0.00 0.00 0.00
1799.92/1800.00 c linear : 0.07 0.01 0.06 0.00 0.00 0.00 0.00
1799.92/1800.00 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1799.92/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.92/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.92/1800.00 c vbounds : 0 0 0 0
1799.92/1800.00 c rootredcost : 4 0 0 0
1799.92/1800.00 c pseudoobj : 89497 33 4 0
1799.92/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1799.92/1800.00 c vbounds : 0.02 0.02 0.00
1799.92/1800.00 c rootredcost : 0.02 0.02 0.00
1799.92/1800.00 c pseudoobj : 0.28 0.28 0.00
1799.92/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.92/1800.00 c propagation : 0.00 240 240 257 12.3 4 87.5 -
1799.92/1800.00 c infeasible LP : 0.00 3 3 4 54.5 0 0.0 0
1799.92/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.92/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.92/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.92/1800.00 c applied globally : - - - 259 11.8 - - -
1799.92/1800.00 c applied locally : - - - 0 0.0 - - -
1799.92/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.92/1800.00 c cut pool : 0.00 5 - - 2 - (maximal pool size: 96)
1799.92/1800.00 c redcost : 0.36 5131 0 777 0 0
1799.92/1800.00 c impliedbounds : 0.00 6 0 0 16 0
1799.92/1800.00 c intobj : 0.00 0 0 0 0 0
1799.92/1800.00 c gomory : 0.72 6 0 0 56 0
1799.92/1800.00 c cgmip : 0.00 0 0 0 0 0
1799.92/1800.00 c closecuts : 0.00 0 0 0 0 0
1799.92/1800.00 c strongcg : 1.35 6 0 0 81 0
1799.92/1800.00 c cmir : 0.18 6 0 0 1 0
1799.92/1800.00 c flowcover : 0.16 6 0 0 0 0
1799.92/1800.00 c clique : 0.31 6 0 0 37 0
1799.92/1800.00 c zerohalf : 0.00 0 0 0 0 0
1799.92/1800.00 c mcf : 0.03 2 0 0 0 0
1799.92/1800.00 c oddcycle : 0.00 0 0 0 0 0
1799.92/1800.00 c rapidlearning : 0.47 1 0 0 0 0
1799.92/1800.00 c Pricers : Time Calls Vars
1799.92/1800.00 c problem variables: 0.00 0 0
1799.92/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.92/1800.00 c relpscost : 225.71 1996 0 3 0 0 3986
1799.92/1800.00 c pscost : 0.00 0 0 0 0 0 0
1799.92/1800.00 c inference : 0.00 1 0 0 0 0 2
1799.92/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1799.92/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1799.92/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1799.92/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1799.92/1800.00 c random : 0.00 0 0 0 0 0 0
1799.92/1800.00 c Primal Heuristics : Time Calls Found
1799.92/1800.00 c LP solutions : 0.00 - 0
1799.92/1800.00 c pseudo solutions : 0.00 - 0
1799.92/1800.00 c oneopt : 0.01 6 0
1799.92/1800.00 c crossover : 0.25 2 0
1799.92/1800.00 c guideddiving : 62.17 44 0
1799.92/1800.00 c coefdiving : 63.90 46 0
1799.92/1800.00 c fracdiving : 66.46 53 0
1799.92/1800.00 c pscostdiving : 96.00 83 1
1799.92/1800.00 c linesearchdiving : 88.99 83 2
1799.92/1800.00 c trivial : 0.00 2 1
1799.92/1800.00 c shiftandpropagate: 0.00 0 0
1799.92/1800.00 c simplerounding : 0.00 0 0
1799.92/1800.00 c zirounding : 0.52 0 0
1799.92/1800.00 c rounding : 2.73 950 0
1799.92/1800.00 c shifting : 0.73 497 6
1799.92/1800.00 c intshifting : 0.00 0 0
1799.92/1800.00 c twoopt : 0.00 0 0
1799.92/1800.00 c fixandinfer : 0.00 0 0
1799.92/1800.00 c feaspump : 0.00 0 0
1799.92/1800.00 c clique : 0.00 0 0
1799.92/1800.00 c veclendiving : 57.54 39 0
1799.92/1800.00 c intdiving : 0.00 0 0
1799.92/1800.00 c actconsdiving : 0.00 0 0
1799.92/1800.00 c objpscostdiving : 22.68 10 0
1799.92/1800.00 c rootsoldiving : 21.28 8 0
1799.92/1800.00 c octane : 0.00 0 0
1799.92/1800.00 c rens : 0.01 0 0
1799.92/1800.00 c rins : 0.00 0 0
1799.92/1800.00 c localbranching : 0.00 0 0
1799.92/1800.00 c mutation : 0.00 0 0
1799.92/1800.00 c dins : 0.00 0 0
1799.92/1800.00 c vbounds : 0.00 0 0
1799.92/1800.00 c undercover : 0.15 1 1
1799.92/1800.00 c subnlp : 0.00 0 0
1799.92/1800.00 c trysol : 0.00 0 0
1799.92/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1799.92/1800.00 c primal LP : 5.57 0 0 0.00 0.00
1799.92/1800.00 c dual LP : 1072.71 5165 4820569 933.31 4493.81
1799.92/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1799.92/1800.00 c barrier LP : 0.00 0 0 0.00 -
1799.92/1800.00 c diving/probing LP: 444.01 57610 2044175 35.48 4603.90
1799.92/1800.00 c strong branching : 225.61 1391 784535 564.01 3477.47
1799.92/1800.00 c (at root node) : - 35 35000 1000.00 -
1799.92/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1799.92/1800.00 c B&B Tree :
1799.92/1800.00 c number of runs : 1
1799.92/1800.00 c nodes : 2009
1799.92/1800.00 c nodes (total) : 2009
1799.92/1800.00 c nodes left : 1980
1799.92/1800.00 c max depth : 72
1799.92/1800.00 c max depth (total): 72
1799.92/1800.00 c backtracks : 427 (21.3%)
1799.92/1800.00 c delayed cutoffs : 0
1799.92/1800.00 c repropagations : 351 (43 domain reductions, 0 cutoffs)
1799.92/1800.00 c avg switch length: 6.10
1799.92/1800.00 c switching time : 6.33
1799.92/1800.00 c Solution :
1799.92/1800.00 c Solutions found : 11 (8 improvements)
1799.92/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1799.92/1800.00 c Primal Bound : -1.40000000000000e+01 (in run 1, after 111 nodes, 466.58 seconds, depth 236, found by <linesearchdiving>)
1799.92/1800.01 c Dual Bound : -3.94015261878097e+01
1799.92/1800.01 c Gap : 64.47 %
1799.92/1800.01 c Root Dual Bound : -4.99999999999999e+01
1799.92/1800.01 c Root Iterations : 12012
1799.92/1800.04 c Time complete: 1799.97.
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-3452373-1307110299/watcher-3452373-1307110299 -o /tmp/evaluation-result-3452373-1307110299/solver-3452373-1307110299 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452373-1307110299.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: 0.92 1.25 1.64 2/522 10291
/proc/meminfo: memFree=25004780/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=10384 CPUtime=0 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 1610 0 0 0 0 0 0 0 22 0 1 0 901260606 10633216 1563 33554432000 4194304 9128323 140737247411936 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10291/statm: 2596 1563 401 1205 0 1387 0
[startup+0.0319979 s]
/proc/loadavg: 0.92 1.25 1.64 2/522 10291
/proc/meminfo: memFree=25004780/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=23064 CPUtime=0.02 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 4512 0 0 0 2 0 0 0 22 0 1 0 901260606 23617536 4464 33554432000 4194304 9128323 140737247411936 18446744073709551615 4968492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10291/statm: 5766 4464 498 1205 0 4557 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23064
[startup+0.100988 s]
/proc/loadavg: 0.92 1.25 1.64 2/522 10291
/proc/meminfo: memFree=25004780/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=27256 CPUtime=0.09 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 5904 0 0 0 9 0 0 0 22 0 1 0 901260606 27910144 5599 33554432000 4194304 9128323 140737247411936 18446744073709551615 4967298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10291/statm: 6814 5599 543 1205 0 5605 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27256
[startup+0.300958 s]
/proc/loadavg: 0.92 1.25 1.64 2/522 10291
/proc/meminfo: memFree=25004780/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=44188 CPUtime=0.29 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 10511 0 0 0 28 1 0 0 23 0 1 0 901260606 45248512 9797 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10291/statm: 11047 9797 678 1205 0 9838 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44188
[startup+0.700882 s]
/proc/loadavg: 0.92 1.25 1.64 2/522 10291
/proc/meminfo: memFree=25004780/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=44400 CPUtime=0.69 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 10692 0 0 0 68 1 0 0 25 0 1 0 901260606 45465600 9973 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10291/statm: 11100 9973 704 1205 0 9891 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44400
[startup+1.50074 s]
/proc/loadavg: 0.92 1.25 1.64 3/528 10297
/proc/meminfo: memFree=24868316/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=1.49 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22776 0 0 0 145 4 0 0 25 0 1 0 901260606 79183872 18343 33554432000 4194304 9128323 140737247411936 18446744073709551615 4526448 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10291/statm: 19332 18343 739 1205 0 18123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77328
[startup+3.10046 s]
/proc/loadavg: 0.92 1.25 1.64 3/528 10297
/proc/meminfo: memFree=24865088/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=3.09 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22925 0 0 0 305 4 0 0 25 0 1 0 901260606 79183872 18492 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10291/statm: 19332 18492 739 1205 0 18123 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77328
[startup+6.3009 s]
/proc/loadavg: 1.01 1.26 1.64 3/528 10297
/proc/meminfo: memFree=24861124/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=6.29 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22927 0 0 0 624 5 0 0 25 0 1 0 901260606 79183872 18494 33554432000 4194304 9128323 140737247411936 18446744073709551615 6704092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10291/statm: 19332 18494 739 1205 0 18123 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77328
[startup+12.7008 s]
/proc/loadavg: 1.09 1.27 1.64 3/528 10297
/proc/meminfo: memFree=24811376/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=12.69 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22938 0 0 0 1259 10 0 0 25 0 1 0 901260606 79183872 18505 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10291/statm: 19332 18505 744 1205 0 18123 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77328
[startup+25.5005 s]
/proc/loadavg: 1.29 1.31 1.65 3/528 10298
/proc/meminfo: memFree=24811360/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=25.49 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22939 0 0 0 2527 22 0 0 25 0 1 0 901260606 79183872 18506 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10291/statm: 19332 18506 745 1205 0 18123 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77328
[startup+51.1011 s]
/proc/loadavg: 1.53 1.36 1.65 3/528 10299
/proc/meminfo: memFree=24811236/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=51.07 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22943 0 0 0 5054 53 0 0 25 0 1 0 901260606 79183872 18510 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19332 18510 749 1205 0 18123 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 77328
[startup+102.32 s]
/proc/loadavg: 1.88 1.49 1.68 3/528 10300
/proc/meminfo: memFree=24809088/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=102.29 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22943 0 0 0 10104 125 0 0 25 0 1 0 901260606 79183872 18510 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19332 18510 749 1205 0 18123 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 77328
[startup+162.301 s]
/proc/loadavg: 2.03 1.61 1.71 3/528 10301
/proc/meminfo: memFree=24808668/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=162.26 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22943 0 0 0 16023 203 0 0 25 0 1 0 901260606 79183872 18510 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19332 18510 749 1205 0 18123 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 77328
[startup+222.301 s]
/proc/loadavg: 2.04 1.69 1.73 3/528 10303
/proc/meminfo: memFree=24809724/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=222.26 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22944 0 0 0 21950 276 0 0 25 0 1 0 901260606 79183872 18511 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19332 18511 750 1205 0 18123 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 77328
[startup+282.301 s]
/proc/loadavg: 2.01 1.74 1.74 3/528 10305
/proc/meminfo: memFree=24810180/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=282.26 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22944 0 0 0 27862 364 0 0 25 0 1 0 901260606 79183872 18511 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19332 18511 750 1205 0 18123 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 77328
[startup+342.301 s]
/proc/loadavg: 2.00 1.79 1.75 3/528 10306
/proc/meminfo: memFree=24810116/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=342.26 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22944 0 0 0 33791 435 0 0 25 0 1 0 901260606 79183872 18511 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19332 18511 750 1205 0 18123 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 77328
[startup+402.301 s]
/proc/loadavg: 2.00 1.82 1.77 3/528 10308
/proc/meminfo: memFree=24810316/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=402.25 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22944 0 0 0 39711 514 0 0 25 0 1 0 901260606 79183872 18511 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19332 18511 750 1205 0 18123 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 77328
[startup+462.301 s]
/proc/loadavg: 2.00 1.85 1.78 3/528 10309
/proc/meminfo: memFree=24810144/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=462.25 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22944 0 0 0 45631 594 0 0 25 0 1 0 901260606 79183872 18511 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19332 18511 750 1205 0 18123 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 77328
[startup+522.301 s]
/proc/loadavg: 2.00 1.88 1.79 3/528 10311
/proc/meminfo: memFree=24810328/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=522.24 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22944 0 0 0 51559 665 0 0 25 0 1 0 901260606 79183872 18511 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19332 18511 750 1205 0 18123 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 77328
[startup+582.301 s]
/proc/loadavg: 2.00 1.90 1.80 3/528 10313
/proc/meminfo: memFree=24810520/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77328 CPUtime=582.24 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 22944 0 0 0 57483 741 0 0 25 0 1 0 901260606 79183872 18511 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19332 18511 750 1205 0 18123 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 77328
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24810784/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=76968 CPUtime=1122.22 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 24223 0 0 0 110807 1415 0 0 25 0 1 0 901260606 78815232 18425 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19242 18425 753 1205 0 18033 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 76968
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/528 10329
/proc/meminfo: memFree=24810368/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=76968 CPUtime=1182.23 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 24223 0 0 0 116738 1485 0 0 25 0 1 0 901260606 78815232 18425 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19242 18425 753 1205 0 18033 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 76968
[startup+1242.3 s]
/proc/loadavg: 2.15 2.03 1.91 3/528 10330
/proc/meminfo: memFree=24808928/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=76968 CPUtime=1242.23 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 24223 0 0 0 122665 1558 0 0 25 0 1 0 901260606 78815232 18425 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19242 18425 753 1205 0 18033 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 76968
[startup+1302.3 s]
/proc/loadavg: 2.31 2.09 1.93 3/528 10332
/proc/meminfo: memFree=24809500/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=76968 CPUtime=1302.24 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 24223 0 0 0 128585 1639 0 0 25 0 1 0 901260606 78815232 18425 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19242 18425 753 1205 0 18033 0
Current children cumulated CPU time (s) 1302.24
Current children cumulated vsize (KiB) 76968
[startup+1362.3 s]
/proc/loadavg: 2.11 2.07 1.93 3/528 10333
/proc/meminfo: memFree=24810808/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=76968 CPUtime=1362.23 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 24226 0 0 0 134513 1710 0 0 25 0 1 0 901260606 78815232 18428 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19242 18428 753 1205 0 18033 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 76968
[startup+1422.32 s]
/proc/loadavg: 2.04 2.05 1.93 3/528 10335
/proc/meminfo: memFree=24810880/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=77504 CPUtime=1422.24 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 24280 0 0 0 140439 1785 0 0 25 0 1 0 901260606 79364096 18482 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19376 18482 753 1205 0 18167 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 77504
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 1.93 3/528 10337
/proc/meminfo: memFree=24809316/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=78696 CPUtime=1482.22 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 24599 0 0 0 146363 1859 0 0 25 0 1 0 901260606 80584704 18801 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19674 18801 753 1205 0 18465 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 78696
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 1.93 3/528 10338
/proc/meminfo: memFree=24809268/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=79708 CPUtime=1542.22 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 25353 0 0 0 152281 1941 0 0 25 0 1 0 901260606 81620992 19069 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 19927 19069 753 1205 0 18718 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 79708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/528 10340
/proc/meminfo: memFree=24808348/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=80944 CPUtime=1602.22 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 25610 0 0 0 158210 2012 0 0 25 0 1 0 901260606 82886656 19326 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 20236 19326 753 1205 0 19027 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 80944
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/528 10344
/proc/meminfo: memFree=24806504/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=83588 CPUtime=1662.23 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 30698 0 0 0 164129 2094 0 0 25 0 1 0 901260606 85594112 19897 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 20897 19897 754 1205 0 19688 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 83588
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/528 10346
/proc/meminfo: memFree=24804876/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=83764 CPUtime=1722.23 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 30900 0 0 0 170052 2171 0 0 25 0 1 0 901260606 85774336 20099 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 20941 20099 754 1205 0 19732 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 83764
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/528 10348
/proc/meminfo: memFree=24800740/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=85260 CPUtime=1782.22 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 31273 0 0 0 175972 2250 0 0 25 0 1 0 901260606 87306240 20472 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 21315 20472 754 1205 0 20106 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 85260
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 1.93 3/528 10348
/proc/meminfo: memFree=24801104/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=86036 CPUtime=1791.85 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 31479 0 0 0 176919 2266 0 0 25 0 1 0 901260606 88100864 20678 33554432000 4194304 9128323 140737247411936 18446744073709551615 7313161 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 21509 20678 754 1205 0 20300 0
Current children cumulated CPU time (s) 1791.85
Current children cumulated vsize (KiB) 86036
[startup+1795.1 s]
/proc/loadavg: 2.24 2.05 1.95 3/528 10348
/proc/meminfo: memFree=24800980/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=86036 CPUtime=1795.04 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 31488 0 0 0 177235 2269 0 0 25 0 1 0 901260606 88100864 20687 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 21509 20687 754 1205 0 20300 0
Current children cumulated CPU time (s) 1795.04
Current children cumulated vsize (KiB) 86036
[startup+1798.3 s]
/proc/loadavg: 2.24 2.05 1.95 3/528 10348
/proc/meminfo: memFree=24800608/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=86036 CPUtime=1798.23 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 31488 0 0 0 177550 2273 0 0 25 0 1 0 901260606 88100864 20687 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 21509 20687 754 1205 0 20300 0
Current children cumulated CPU time (s) 1798.23
Current children cumulated vsize (KiB) 86036
[startup+1799.1 s]
/proc/loadavg: 2.22 2.05 1.95 3/528 10348
/proc/meminfo: memFree=24800608/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=86484 CPUtime=1799.02 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 31582 0 0 0 177629 2273 0 0 25 0 1 0 901260606 88559616 20781 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 21621 20781 754 1205 0 20412 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 86484
[startup+1799.5 s]
/proc/loadavg: 2.22 2.05 1.95 3/528 10348
/proc/meminfo: memFree=24800608/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=86484 CPUtime=1799.43 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 31582 0 0 0 177669 2274 0 0 25 0 1 0 901260606 88559616 20781 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 21621 20781 754 1205 0 20412 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 86484
[startup+1799.9 s]
/proc/loadavg: 2.22 2.05 1.95 3/528 10348
/proc/meminfo: memFree=24800608/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=86484 CPUtime=1799.82 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 31582 0 0 0 177708 2274 0 0 25 0 1 0 901260606 88559616 20781 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 21621 20781 754 1205 0 20412 0
Current children cumulated CPU time (s) 1799.82
Current children cumulated vsize (KiB) 86484
[startup+1800 s]
/proc/loadavg: 2.22 2.05 1.95 3/528 10348
/proc/meminfo: memFree=24800608/32951124 swapFree=56241860/67111528
[pid=10291] ppid=10289 vsize=86484 CPUtime=1799.92 cores=1,3,5,7
/proc/10291/stat : 10291 (scip-2.0.1.4.li) R 10289 10291 5807 0 -1 4202496 31582 0 0 0 177718 2274 0 0 25 0 1 0 901260606 88559616 20781 33554432000 4194304 9128323 140737247411936 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10291/statm: 21621 20781 754 1205 0 20412 0
Current children cumulated CPU time (s) 1799.92
Current children cumulated vsize (KiB) 86484
Child status: 0
Real time (s): 1800.05
CPU time (s): 1799.98
CPU user time (s): 1777.22
CPU system time (s): 22.7545
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 99780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.22
system time used= 22.7545
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31586
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= 5745
runsolver used 9.59254 second user time and 22.8875 second system time
The end