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-3485228-1307787767.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.02/0.04 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10264 impls, 200 clqs
0.02/0.07 c (0.1s) probing: 101/1458 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.07 c presolving (2 rounds):
0.02/0.07 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.07 c 10264 implications, 200 cliques
0.02/0.07 c presolved problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1559 constraints
0.02/0.07 c 300 constraints of type <setppc>
0.02/0.07 c 1258 constraints of type <and>
0.02/0.07 c 1 constraints of type <linear>
0.02/0.07 c transformed objective value is always integral (scale: 1)
0.02/0.07 c Presolving Time: 0.07
0.02/0.07 c - non default parameters ----------------------------------------------------------------------
0.02/0.07 c # SCIP version 2.0.1.4
0.02/0.07 c
0.02/0.07 c # frequency for displaying node information lines
0.02/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.07 c display/freq = 10000
0.02/0.07 c
0.02/0.07 c # maximal time in seconds to run
0.02/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.07 c limits/time = 1797
0.02/0.07 c
0.02/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.07 c limits/memory = 13950
0.02/0.07 c
0.02/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.07 c # [type: int, range: [1,2], default: 1]
0.02/0.07 c timing/clocktype = 2
0.02/0.07 c
0.02/0.07 c # belongs reading time to solving time?
0.02/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.07 c timing/reading = TRUE
0.02/0.07 c
0.02/0.07 c # should presolving try to simplify inequalities
0.02/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.07 c constraints/linear/simplifyinequalities = TRUE
0.02/0.07 c
0.02/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.07 c constraints/indicator/addCouplingCons = TRUE
0.02/0.07 c
0.02/0.07 c # should presolving try to simplify knapsacks
0.02/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.07 c
0.02/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.07 c separating/rapidlearning/freq = 0
0.02/0.07 c
0.02/0.07 c -----------------------------------------------------------------------------------------------
0.02/0.07 c start solving
0.02/0.07 c
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c t 0.3s| 1 | 0 | 1416 | - |6408k| 0 | 745 |1458 |1559 |1458 |2817 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.19/0.27 o -6
0.19/0.27 c s 0.3s| 1 | 0 | 1416 | - |6463k| 0 | 745 |1458 |1559 |1458 |2817 | 0 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
1.19/1.24 o -7
1.19/1.24 c U 1.2s| 1 | 0 | 1416 | - |6571k| 0 | 745 |1458 |1561 |1458 |2817 | 0 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
1.99/2.05 c 2.1s| 1 | 0 | 2047 | - |7929k| 0 | 744 |1458 |1562 |1458 |2860 | 43 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
2.70/2.77 c 2.8s| 1 | 0 | 2395 | - |9171k| 0 | 789 |1458 |1562 |1458 |2887 | 70 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
3.49/3.52 c 3.5s| 1 | 0 | 2639 | - | 10M| 0 | 761 |1458 |1562 |1458 |2897 | 80 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
4.30/4.35 c 4.4s| 1 | 0 | 2913 | - | 12M| 0 | 796 |1458 |1562 |1458 |2903 | 86 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
5.09/5.19 c 5.2s| 1 | 0 | 3222 | - | 14M| 0 | 797 |1458 |1562 |1458 |2909 | 92 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
6.09/6.10 c 6.1s| 1 | 0 | 3620 | - | 16M| 0 | 794 |1458 |1562 |1458 |2914 | 97 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
8.39/8.49 c 8.5s| 1 | 2 | 3620 | - | 16M| 0 | 794 |1458 |1562 |1458 |2914 | 97 | 1 | 10 |-5.000000e+01 |-7.000000e+00 | 86.00%
41.89/41.98 o -21
41.89/41.98 c f42.0s| 30 | 31 | 90739 |3004.1 | 16M| 13 | - |1458 |1566 |1458 |1408 |2066 | 5 | 206 |-4.983339e+01 |-2.100000e+01 | 57.86%
80.20/80.28 o -22
80.20/80.28 c f80.3s| 60 | 61 |336360 |5639.7 | 16M| 13 | - |1458 |1600 |1458 |1487 |3525 | 39 | 270 |-4.901164e+01 |-2.200000e+01 | 55.11%
84.70/84.75 o -24
84.70/84.75 c l84.8s| 64 | 65 |368706 |5795.0 | 16M| 13 | - |1458 |1610 |1458 |1428 |3690 | 49 | 270 |-4.901164e+01 |-2.400000e+01 | 51.03%
93.40/93.46 o -25
93.40/93.46 c l93.5s| 76 | 77 |425667 |5627.3 | 16M| 13 | - |1458 |1624 |1458 |1448 |4221 | 63 | 270 |-4.881748e+01 |-2.500000e+01 | 48.79%
220.00/220.05 o -26
220.00/220.05 c l 220s| 278 | 279 | 1253k|4512.8 | 16M| 21 | - |1458 |1686 |1458 |1556 |9077 | 125 | 445 |-4.638713e+01 |-2.600000e+01 | 43.95%
230.30/230.35 o -27
230.30/230.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.30/230.35 c l 230s| 296 | 297 | 1320k|4463.9 | 16M| 21 | - |1458 |1691 |1458 |1648 |9390 | 130 | 456 |-4.628756e+01 |-2.700000e+01 | 41.67%
913.91/913.92 c 914s| 10000 | 2954 | 5697k| 569.4 | 25M| 76 | - |1458 |1707 |1458 |1723 | 50k| 243 |1319 |-4.323159e+01 |-2.700000e+01 | 37.55%
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.01
1797.04/1797.00 c Solving Nodes : 19553
1797.04/1797.00 c Primal Bound : -2.70000000000000e+01 (13 solutions)
1797.04/1797.00 c Dual Bound : -4.25412372156976e+01
1797.04/1797.00 c Gap : 36.53 %
1797.04/1797.00 s SATISFIABLE
1797.04/1797.00 v -x128 -x141 x182 -x146 -x136 -x166 -x181 -x185 -x156 x153 -x179 -x178 -x149 -x152 -x124 x133 -x188 x189 -x147 -x139 -x197 -x191
1797.04/1797.00 v x163 x130 -x192 x194 -x106 -x170 -x140 -x109 x117 -x107 -x196 -x187 -x168 -x190 -x148 -x171 x161 -x160 x158 x154 -x151 -x114
1797.04/1797.00 v -x173 -x199 -x176 -x177 -x193 x172 x143 -x135 x162 -x125 -x195 x120 -x200 -x157 x167 x134 -x113 x111 -x131 -x121 -x183 -x123
1797.04/1797.00 v x174 x180 -x169 x198 -x159 x137 -x132 -x122 -x119 -x112 -x105 x118 x150 -x142 -x103 -x104 -x165 -x115 -x155 -x101 -x144 -x116
1797.04/1797.00 v -x110 x108 x145 x186 -x129 -x126 -x138 -x164 -x127 -x175 -x184 -x102 x100 x99 -x98 -x97 x96 x95 -x94 -x93 x92 -x91 -x90 -x89
1797.04/1797.00 v x88 -x87 -x86 -x85 x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 x76 x75 -x74 -x73 -x72 x71 -x70 x69 -x68 -x67 -x66 x65 x64 -x63 -x62
1797.04/1797.00 v -x61 -x60 x59 -x58 x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36
1797.04/1797.00 v x35 -x34 -x33 -x32 x31 -x30 x29 -x28 x27 -x26 -x25 x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 x14 -x13 -x12 -x11 -x10
1797.04/1797.00 v -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.01
1797.04/1797.00 c solving : 1797.01
1797.04/1797.00 c presolving : 0.07 (included in solving)
1797.04/1797.00 c reading : 0.00 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485228-1307787767.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 301 initial, 301 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485228-1307787767.opb
1797.04/1797.00 c Variables : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 1559 initial, 1752 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.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c and : 0.04 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 13926 0 77 0 7 24 0 0 27814
1797.04/1797.00 c setppc : 300 6 290292 0 1 72 294 74 44455 0 0 0
1797.04/1797.00 c and : 1258 28208 290216 0 1 71 478 200 556609 109584 0 0
1797.04/1797.00 c linear : 1 6 290012 0 0 12 101 0 0 0 0 0
1797.04/1797.00 c logicor : 0+ 6 18959 0 0 0 4 0 10035 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 1 16 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 : 85.98 0.00 0.00 85.98 0.00 0.00 0.00
1797.04/1797.00 c setppc : 0.77 0.00 0.76 0.00 0.00 0.00 0.00
1797.04/1797.00 c and : 5.69 2.62 3.07 0.00 0.00 0.00 0.00
1797.04/1797.00 c linear : 0.15 0.01 0.14 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 0.07 0.00 0.07 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.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.01 c vbounds : 0 0 0 0
1797.04/1797.01 c rootredcost : 7 0 0 0
1797.04/1797.01 c pseudoobj : 290528 4 2 0
1797.04/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.01 c vbounds : 0.05 0.05 0.00
1797.04/1797.01 c rootredcost : 0.05 0.05 0.00
1797.04/1797.01 c pseudoobj : 0.89 0.89 0.00
1797.04/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.01 c propagation : 0.00 276 276 283 4.5 5 36.0 -
1797.04/1797.01 c infeasible LP : 0.00 14 14 43 65.3 0 0.0 0
1797.04/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.01 c applied globally : - - - 319 10.5 - - -
1797.04/1797.01 c applied locally : - - - 0 0.0 - - -
1797.04/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.01 c cut pool : 0.00 5 - - 0 - (maximal pool size: 1040)
1797.04/1797.01 c redcost : 0.96 29319 0 69947 0 0
1797.04/1797.01 c impliedbounds : 0.00 6 0 0 100 0
1797.04/1797.01 c intobj : 0.00 0 0 0 0 0
1797.04/1797.01 c gomory : 2.09 6 0 0 6 0
1797.04/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.01 c strongcg : 1.88 6 0 0 1750 0
1797.04/1797.01 c cmir : 0.10 6 0 0 15 0
1797.04/1797.01 c flowcover : 0.09 6 0 0 30 0
1797.04/1797.01 c clique : 0.10 6 0 0 38 0
1797.04/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.01 c mcf : 0.00 1 0 0 0 0
1797.04/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.01 c rapidlearning : 0.11 1 0 0 0 0
1797.04/1797.01 c Pricers : Time Calls Vars
1797.04/1797.01 c problem variables: 0.00 0 0
1797.04/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.01 c relpscost : 85.97 13926 7 24 0 0 27814
1797.04/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c random : 0.00 0 0 0 0 0 0
1797.04/1797.01 c Primal Heuristics : Time Calls Found
1797.04/1797.01 c LP solutions : 0.00 - 0
1797.04/1797.01 c pseudo solutions : 0.00 - 0
1797.04/1797.01 c oneopt : 0.01 7 0
1797.04/1797.01 c veclendiving : 56.06 156 0
1797.04/1797.01 c fracdiving : 128.48 220 2
1797.04/1797.01 c linesearchdiving : 100.80 221 4
1797.04/1797.01 c trivial : 0.00 2 1
1797.04/1797.01 c shiftandpropagate: 0.00 0 0
1797.04/1797.01 c simplerounding : 0.01 0 0
1797.04/1797.01 c zirounding : 1.12 0 0
1797.04/1797.01 c rounding : 1.33 2223 0
1797.04/1797.01 c shifting : 2.29 2035 3
1797.04/1797.01 c intshifting : 0.00 0 0
1797.04/1797.01 c twoopt : 0.00 0 0
1797.04/1797.01 c fixandinfer : 0.00 0 0
1797.04/1797.01 c feaspump : 0.00 0 0
1797.04/1797.01 c clique : 0.00 0 0
1797.04/1797.01 c coefdiving : 75.16 168 0
1797.04/1797.01 c pscostdiving : 65.28 131 0
1797.04/1797.01 c intdiving : 0.00 0 0
1797.04/1797.01 c actconsdiving : 0.00 0 0
1797.04/1797.01 c objpscostdiving : 13.59 41 0
1797.04/1797.01 c rootsoldiving : 11.90 25 0
1797.04/1797.01 c guideddiving : 73.03 157 0
1797.04/1797.01 c octane : 0.00 0 0
1797.04/1797.01 c rens : 0.01 0 0
1797.04/1797.01 c rins : 0.00 0 0
1797.04/1797.01 c localbranching : 0.00 0 0
1797.04/1797.01 c mutation : 0.00 0 0
1797.04/1797.01 c crossover : 1.00 5 2
1797.04/1797.01 c dins : 0.00 0 0
1797.04/1797.01 c vbounds : 0.00 0 0
1797.04/1797.01 c undercover : 0.97 1 1
1797.04/1797.01 c subnlp : 0.00 0 0
1797.04/1797.01 c trysol : 0.01 0 0
1797.04/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.01 c primal LP : 12.47 0 0 0.00 0.00
1797.04/1797.01 c dual LP : 1145.86 32214 8056770 250.10 7031.17
1797.04/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.01 c diving/probing LP: 474.49 167804 3302317 19.68 6959.71
1797.04/1797.01 c strong branching : 85.57 1988 524055 263.61 6123.96
1797.04/1797.01 c (at root node) : - 10 10000 1000.00 -
1797.04/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.01 c B&B Tree :
1797.04/1797.01 c number of runs : 1
1797.04/1797.01 c nodes : 19553
1797.04/1797.01 c nodes (total) : 19553
1797.04/1797.01 c nodes left : 8263
1797.04/1797.01 c max depth : 76
1797.04/1797.01 c max depth (total): 76
1797.04/1797.01 c backtracks : 3647 (18.7%)
1797.04/1797.01 c delayed cutoffs : 1
1797.04/1797.01 c repropagations : 1296 (391 domain reductions, 0 cutoffs)
1797.04/1797.01 c avg switch length: 5.68
1797.04/1797.01 c switching time : 14.48
1797.04/1797.01 c Solution :
1797.04/1797.01 c Solutions found : 13 (9 improvements)
1797.04/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.04/1797.01 c Primal Bound : -2.70000000000000e+01 (in run 1, after 296 nodes, 230.35 seconds, depth 232, found by <linesearchdiving>)
1797.04/1797.01 c Dual Bound : -4.25412372156976e+01
1797.04/1797.01 c Gap : 36.53 %
1797.04/1797.01 c Root Dual Bound : -4.99999999999999e+01
1797.04/1797.01 c Root Iterations : 3620
1797.04/1797.04 c Time complete: 1797.08.
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-3485228-1307787767/watcher-3485228-1307787767 -o /tmp/evaluation-result-3485228-1307787767/solver-3485228-1307787767 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485228-1307787767.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.05 2.01 1.99 2/177 6747
/proc/meminfo: memFree=31374136/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 1510 0 0 0 0 0 0 0 24 0 1 0 871192992 10211328 1465 33554432000 4194304 8979876 140735871892752 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6747/statm: 2493 1465 367 1169 0 1320 0
[startup+0.0233381 s]
/proc/loadavg: 2.05 2.01 1.99 2/177 6747
/proc/meminfo: memFree=31374136/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=18820 CPUtime=0.02 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 3725 0 0 0 2 0 0 0 24 0 1 0 871192992 19271680 3423 33554432000 4194304 8979876 140735871892752 18446744073709551615 18446744073699065918 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 4705 3423 480 1169 0 3532 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18820
[startup+0.100335 s]
/proc/loadavg: 2.05 2.01 1.99 2/177 6747
/proc/meminfo: memFree=31374136/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=27940 CPUtime=0.09 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 6219 0 0 0 9 0 0 0 18 0 1 0 871192992 28610560 5847 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 6985 5847 626 1169 0 5812 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27940
[startup+0.300287 s]
/proc/loadavg: 2.05 2.01 1.99 2/177 6747
/proc/meminfo: memFree=31374136/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=42360 CPUtime=0.29 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 9668 0 0 0 28 1 0 0 18 0 1 0 871192992 43376640 9247 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 10590 9247 636 1169 0 9417 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42360
[startup+0.700214 s]
/proc/loadavg: 2.05 2.01 1.99 2/177 6747
/proc/meminfo: memFree=31374136/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=47708 CPUtime=0.69 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 16018 0 0 0 64 5 0 0 18 0 1 0 871192992 48852992 10845 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 11927 10845 710 1169 0 10754 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47708
[startup+1.50107 s]
/proc/loadavg: 2.05 2.01 1.99 3/178 6748
/proc/meminfo: memFree=31333852/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=53848 CPUtime=1.49 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 19637 0 0 0 142 7 0 0 20 0 1 0 871192992 55140352 12327 33554432000 4194304 8979876 140735871892752 18446744073709551615 6543886 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13462 12327 718 1169 0 12289 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53848
[startup+3.1008 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 6748
/proc/meminfo: memFree=31327156/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=53848 CPUtime=3.09 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 19651 0 0 0 301 8 0 0 25 0 1 0 871192992 55140352 12341 33554432000 4194304 8979876 140735871892752 18446744073709551615 4438354 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13462 12341 720 1169 0 12289 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53848
[startup+6.30021 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 6748
/proc/meminfo: memFree=31326396/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=54872 CPUtime=6.3 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20134 0 0 0 619 11 0 0 25 0 1 0 871192992 56188928 12824 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13718 12824 721 1169 0 12545 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 54872
[startup+12.7011 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 6748
/proc/meminfo: memFree=31325148/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=54872 CPUtime=12.7 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20134 0 0 0 1246 24 0 0 25 0 1 0 871192992 56188928 12824 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13718 12824 721 1169 0 12545 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 54872
[startup+25.5008 s]
/proc/loadavg: 2.03 2.01 1.99 3/178 6749
/proc/meminfo: memFree=31325412/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=54872 CPUtime=25.5 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20134 0 0 0 2503 47 0 0 25 0 1 0 871192992 56188928 12824 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13718 12824 721 1169 0 12545 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 54872
[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 1.99 3/178 6749
/proc/meminfo: memFree=31325352/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=54872 CPUtime=51.09 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20135 0 0 0 5008 101 0 0 25 0 1 0 871192992 56188928 12825 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13718 12825 722 1169 0 12545 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 54872
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.99 3/178 6751
/proc/meminfo: memFree=31322992/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=54872 CPUtime=102.29 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20137 0 0 0 10023 206 0 0 25 0 1 0 871192992 56188928 12827 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13718 12827 723 1169 0 12545 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 54872
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 6755
/proc/meminfo: memFree=31319648/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=54872 CPUtime=162.29 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20137 0 0 0 15897 332 0 0 25 0 1 0 871192992 56188928 12827 33554432000 4194304 8979876 140735871892752 18446744073709551615 7185478 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13718 12827 723 1169 0 12545 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 54872
[startup+222.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 6757
/proc/meminfo: memFree=31317624/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=53848 CPUtime=222.3 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 22926 0 0 0 21764 466 0 0 25 0 1 0 871192992 55140352 12605 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13462 12605 725 1169 0 12289 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 53848
[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6758
/proc/meminfo: memFree=31316840/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=53848 CPUtime=282.3 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 22926 0 0 0 27645 585 0 0 25 0 1 0 871192992 55140352 12605 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13462 12605 725 1169 0 12289 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 53848
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6760
/proc/meminfo: memFree=31313952/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=54180 CPUtime=342.3 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 22957 0 0 0 33524 706 0 0 25 0 1 0 871192992 55480320 12636 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13545 12636 725 1169 0 12372 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 54180
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6762
/proc/meminfo: memFree=31301152/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=54180 CPUtime=402.3 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 22958 0 0 0 39404 826 0 0 25 0 1 0 871192992 55480320 12637 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13545 12637 725 1169 0 12372 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 54180
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6763
/proc/meminfo: memFree=31301488/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=54392 CPUtime=462.3 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 23010 0 0 0 45286 944 0 0 25 0 1 0 871192992 55697408 12689 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13598 12689 725 1169 0 12425 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 54392
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6803
/proc/meminfo: memFree=31356000/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=54392 CPUtime=522.31 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 23024 0 0 0 51163 1068 0 0 25 0 1 0 871192992 55697408 12703 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13598 12703 725 1169 0 12425 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 54392
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6842
/proc/meminfo: memFree=31352004/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=55408 CPUtime=582.3 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 23274 0 0 0 57040 1190 0 0 25 0 1 0 871192992 56737792 12953 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 13852 12953 725 1169 0 12679 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 55408
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31324932/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=76340 CPUtime=1122.32 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34398 0 0 0 109566 2666 0 0 25 0 1 0 871192992 78172160 18247 33554432000 4194304 8979876 140735871892752 18446744073709551615 7787776 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 19085 18247 731 1169 0 17912 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 76340
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6858
/proc/meminfo: memFree=31324404/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=76340 CPUtime=1182.32 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34401 0 0 0 115399 2833 0 0 25 0 1 0 871192992 78172160 18250 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 19085 18250 731 1169 0 17912 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 76340
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6860
/proc/meminfo: memFree=31324252/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=76340 CPUtime=1242.32 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34402 0 0 0 121233 2999 0 0 25 0 1 0 871192992 78172160 18251 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 19085 18251 731 1169 0 17912 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 76340
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6862
/proc/meminfo: memFree=31323848/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=76340 CPUtime=1302.33 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34402 0 0 0 127061 3172 0 0 25 0 1 0 871192992 78172160 18251 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 19085 18251 731 1169 0 17912 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 76340
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 6863
/proc/meminfo: memFree=31323832/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=76340 CPUtime=1362.33 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34405 0 0 0 132906 3327 0 0 25 0 1 0 871192992 78172160 18254 33554432000 4194304 8979876 140735871892752 18446744073709551615 7068543 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 19085 18254 731 1169 0 17912 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 76340
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6865
/proc/meminfo: memFree=31322564/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=77576 CPUtime=1422.34 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34686 0 0 0 138740 3494 0 0 25 0 1 0 871192992 79437824 18535 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 19394 18535 731 1169 0 18221 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 77576
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6866
/proc/meminfo: memFree=31320796/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=79288 CPUtime=1482.33 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 35093 0 0 0 144577 3656 0 0 25 0 1 0 871192992 81190912 18942 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 19822 18942 731 1169 0 18649 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 79288
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6868
/proc/meminfo: memFree=31318024/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=82140 CPUtime=1542.33 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 35778 0 0 0 150410 3823 0 0 25 0 1 0 871192992 84111360 19627 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 20535 19627 731 1169 0 19362 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 82140
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6870
/proc/meminfo: memFree=31317244/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=82584 CPUtime=1602.34 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 35946 0 0 0 156250 3984 0 0 25 0 1 0 871192992 84566016 19795 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 20646 19795 731 1169 0 19473 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 82584
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6871
/proc/meminfo: memFree=31314860/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=84660 CPUtime=1662.33 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36451 0 0 0 162086 4147 0 0 25 0 1 0 871192992 86691840 20300 33554432000 4194304 8979876 140735871892752 18446744073709551615 7186223 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 21165 20300 731 1169 0 19992 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 84660
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6873
/proc/meminfo: memFree=31313096/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=86032 CPUtime=1722.33 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36777 0 0 0 167923 4310 0 0 25 0 1 0 871192992 88096768 20626 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 21508 20626 731 1169 0 20335 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 86032
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6874
/proc/meminfo: memFree=31312064/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=86712 CPUtime=1782.33 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36966 0 0 0 173754 4479 0 0 25 0 1 0 871192992 88793088 20815 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 21678 20815 731 1169 0 20505 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 86712
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6875
/proc/meminfo: memFree=31311940/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=86712 CPUtime=1785.54 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36966 0 0 0 174066 4488 0 0 25 0 1 0 871192992 88793088 20815 33554432000 4194304 8979876 140735871892752 18446744073709551615 7166874 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 21678 20815 731 1169 0 20505 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 86712
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6875
/proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=86712 CPUtime=1791.94 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36970 0 0 0 174692 4502 0 0 25 0 1 0 871192992 88793088 20819 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 21678 20819 731 1169 0 20505 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 86712
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6875
/proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=86712 CPUtime=1795.15 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36976 0 0 0 175003 4512 0 0 25 0 1 0 871192992 88793088 20825 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 21678 20825 731 1169 0 20505 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 86712
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6875
/proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=86712 CPUtime=1795.94 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36976 0 0 0 175080 4514 0 0 25 0 1 0 871192992 88793088 20825 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 21678 20825 731 1169 0 20505 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 86712
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6875
/proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=86960 CPUtime=1796.73 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 37017 0 0 0 175158 4515 0 0 25 0 1 0 871192992 89047040 20866 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 21740 20866 731 1169 0 20567 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 86960
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6875
/proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=86960 CPUtime=1796.94 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 37031 0 0 0 175178 4516 0 0 25 0 1 0 871192992 89047040 20880 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 21740 20880 731 1169 0 20567 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 86960
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6875
/proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528
[pid=6747] ppid=6745 vsize=86960 CPUtime=1797.04 cores=1,3,5,7
/proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 37031 0 0 0 175188 4516 0 0 25 0 1 0 871192992 89047040 20880 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6747/statm: 21740 20880 731 1169 0 20567 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 86960
Child status: 0
Real time (s): 1797.04
CPU time (s): 1797.09
CPU user time (s): 1751.91
CPU system time (s): 45.1751
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 86960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1751.91
system time used= 45.1751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37039
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= 20760
runsolver used 2.33964 second user time and 5.83311 second system time
The end