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-3452403-1307111764.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, 24920 impls, 200 clqs
0.09/0.11 c (0.1s) probing: 101/3290 (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 24920 implications, 200 cliques
0.09/0.11 c presolved problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3391 constraints
0.09/0.11 c 300 constraints of type <setppc>
0.09/0.11 c 3090 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
1.29/1.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.34 c t 1.3s| 1 | 0 | 4486 | - | 14M| 0 | 890 |3290 |3391 |3290 |6481 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
1.29/1.34 o -3
1.29/1.34 c s 1.3s| 1 | 0 | 4486 | - | 14M| 0 | 890 |3290 |3391 |3290 |6481 | 0 | 0 | 0 |-5.000000e+01 |-3.000000e+00 | 94.00%
1.39/1.48 o -4
1.39/1.48 c U 1.5s| 1 | 0 | 4486 | - | 14M| 0 | 890 |3290 |3391 |3290 |6481 | 0 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
4.09/4.19 c 4.2s| 1 | 0 | 10503 | - | 14M| 0 |1335 |3290 |3392 |3290 |6535 | 54 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
5.99/6.04 c 6.0s| 1 | 0 | 14522 | - | 15M| 0 |1549 |3290 |3392 |3290 |6572 | 91 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
7.19/7.24 c 7.2s| 1 | 0 | 16507 | - | 15M| 0 |1624 |3290 |3392 |3290 |6613 | 132 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
7.19/7.24 o -4
7.19/7.24 c s 7.2s| 1 | 0 | 16507 | - | 15M| 0 |1624 |3290 |3392 |3290 |6613 | 132 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
8.39/8.47 c 8.5s| 1 | 0 | 18327 | - | 15M| 0 |1457 |3290 |3392 |3290 |6630 | 149 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
9.19/9.20 c 9.2s| 1 | 0 | 19689 | - | 15M| 0 |1410 |3290 |3392 |3290 |6642 | 161 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
10.80/10.88 c 10.9s| 1 | 0 | 23460 | - | 15M| 0 |1594 |3290 |3392 |3290 |6657 | 176 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
59.30/59.39 o -10
59.30/59.39 c E59.4s| 1 | 0 | 23460 | - | 15M| 0 |1594 |3290 |3392 |3290 |6657 | 176 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
59.41/59.43 c 59.4s| 1 | 0 | 23460 | - | 15M| 0 |1594 |3290 |3392 |3290 |6657 | 176 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
61.89/61.94 c 61.9s| 1 | 0 | 29168 | - | 15M| 0 |1618 |3290 |3392 |3290 |6676 | 195 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
61.99/62.03 c 62.0s| 1 | 0 | 29287 | - | 15M| 0 |1692 |3290 |3392 |3290 |6677 | 196 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
70.49/70.58 c 70.6s| 1 | 2 | 29287 | - | 15M| 0 |1692 |3290 |3392 |3290 |6677 | 196 | 0 | 17 |-5.000000e+01 |-1.000000e+01 | 80.00%
212.00/212.04 o -11
212.00/212.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.00/212.04 c p 212s| 15 | 16 |415164 |27562.6 | 16M| 6 | - |3290 |3392 |3290 |3224 |5092 | 0 | 253 |-4.857523e+01 |-1.100000e+01 | 77.35%
408.01/408.10 o -12
408.01/408.10 c l 408s| 45 | 46 | 1171k|25949.8 | 16M| 9 | - |3290 |3441 |3290 |3339 |7652 | 49 | 353 |-4.813721e+01 |-1.200000e+01 | 75.07%
622.91/622.96 o -14
622.91/622.96 c p 623s| 143 | 144 | 1988k|13799.5 | 17M| 25 | - |3290 |3506 |3290 |3517 | 12k| 114 | 512 |-4.456363e+01 |-1.400000e+01 | 68.58%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 2789
1800.05/1800.00 c Primal Bound : -1.40000000000000e+01 (14 solutions)
1800.05/1800.00 c Dual Bound : -3.77680357349106e+01
1800.05/1800.00 c Gap : 62.93 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x197 x164 -x113 -x185 -x170 -x158 -x132 x171 -x135 -x150 -x104 -x166 -x160 -x144 -x119 -x110 -x106 -x157 -x146 -x114 -x192 -x180
1800.05/1800.00 v -x161 -x145 -x128 -x122 -x154 -x112 -x151 -x124 -x134 -x178 -x172 -x136 -x187 -x181 -x168 -x163 -x156 x152 -x131 -x118 -x117
1800.05/1800.00 v -x109 -x105 -x198 -x190 -x200 -x183 -x123 -x153 -x182 -x189 -x193 -x149 x195 x191 -x179 -x162 -x107 -x175 -x137 -x115 -x101
1800.05/1800.00 v x188 -x184 -x167 x133 -x130 -x129 -x127 -x121 -x120 -x111 -x108 -x155 x199 -x138 x148 -x174 -x139 -x143 -x116 -x196 -x176 -x142
1800.05/1800.00 v x103 -x140 -x194 x125 x159 -x165 -x102 x177 -x173 -x126 -x141 x169 -x186 -x147 x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 x92
1800.05/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 -x66
1800.05/1800.00 v -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
1800.05/1800.00 v -x40 -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
1800.05/1800.00 v x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.10 (included in solving)
1800.05/1800.00 c reading : 0.01 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3452403-1307111764.opb
1800.05/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 301 initial, 301 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3452403-1307111764.opb
1800.05/1800.00 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 3391 initial, 3531 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.03 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c and : 0.05 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 2676 0 46 0 0 14 0 0 5338
1800.05/1800.00 c setppc : 300 7 59932 0 1 41 756 31 17211 0 0 0
1800.05/1800.00 c and : 3090 6526 59900 0 1 40 997 81 424007 83968 0 0
1800.05/1800.00 c linear : 1 7 59811 0 0 13 13 1 0 0 0 0
1800.05/1800.00 c logicor : 0+ 7 2352 0 0 0 3 0 775 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1 17 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 235.67 0.00 0.00 235.67 0.00 0.00 0.00
1800.05/1800.00 c setppc : 0.26 0.00 0.26 0.00 0.00 0.00 0.00
1800.05/1800.00 c and : 5.99 3.64 2.34 0.00 0.00 0.00 0.00
1800.05/1800.00 c linear : 0.07 0.01 0.05 0.00 0.00 0.00 0.00
1800.05/1800.00 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 3 0 0 0
1800.05/1800.00 c pseudoobj : 59837 35 3 0
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 0.02 0.02 0.00
1800.05/1800.00 c rootredcost : 0.01 0.01 0.00
1800.05/1800.00 c pseudoobj : 0.20 0.20 0.00
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 0.00 116 116 186 59.2 4 47.8 -
1800.05/1800.00 c infeasible LP : 0.00 8 8 33 54.1 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 185 51.9 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 6 - - 10 - (maximal pool size: 102)
1800.05/1800.00 c redcost : 0.46 6535 0 3568 0 0
1800.05/1800.00 c impliedbounds : 0.00 7 0 0 32 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.63 7 0 0 69 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 1.04 7 0 0 74 0
1800.05/1800.00 c cmir : 0.20 7 0 0 0 0
1800.05/1800.00 c flowcover : 0.19 7 0 0 0 0
1800.05/1800.00 c clique : 0.36 7 0 0 47 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.04 3 0 0 3 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.67 1 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 235.66 2676 0 14 0 0 5338
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.01 6 0
1800.05/1800.00 c pscostdiving : 64.21 52 2
1800.05/1800.00 c fracdiving : 46.85 52 0
1800.05/1800.00 c linesearchdiving : 41.13 52 1
1800.05/1800.00 c veclendiving : 39.60 52 0
1800.05/1800.00 c guideddiving : 46.59 52 0
1800.05/1800.00 c trivial : 0.00 2 1
1800.05/1800.00 c shiftandpropagate: 0.00 0 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.63 0 0
1800.05/1800.00 c rounding : 0.83 1088 0
1800.05/1800.00 c shifting : 0.98 659 8
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c coefdiving : 80.76 52 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 38.65 3 0
1800.05/1800.00 c rootsoldiving : 13.27 18 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 48.54 1 1
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.15 1 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.15 1 1
1800.05/1800.00 c subnlp : 0.00 0 0
1800.05/1800.00 c trysol : 0.00 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 6.13 0 0 0.00 0.00
1800.05/1800.00 c dual LP : 1121.31 6665 5077224 761.77 4527.93
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 347.98 36732 1545016 42.06 4439.98
1800.05/1800.00 c strong branching : 235.54 1511 836924 553.89 3553.27
1800.05/1800.00 c (at root node) : - 17 17000 1000.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2789
1800.05/1800.00 c nodes (total) : 2789
1800.05/1800.00 c nodes left : 2552
1800.05/1800.00 c max depth : 77
1800.05/1800.00 c max depth (total): 77
1800.05/1800.00 c backtracks : 433 (15.5%)
1800.05/1800.00 c delayed cutoffs : 0
1800.05/1800.00 c repropagations : 37 (10 domain reductions, 0 cutoffs)
1800.05/1800.00 c avg switch length: 4.25
1800.05/1800.00 c switching time : 7.15
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 14 (8 improvements)
1800.05/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.05/1800.00 c Primal Bound : -1.40000000000000e+01 (in run 1, after 143 nodes, 622.96 seconds, depth 202, found by <pscostdiving>)
1800.05/1800.00 c Dual Bound : -3.77680357349106e+01
1800.05/1800.00 c Gap : 62.93 %
1800.05/1800.00 c Root Dual Bound : -4.99999999999999e+01
1800.05/1800.00 c Root Iterations : 29287
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-3452403-1307111764/watcher-3452403-1307111764 -o /tmp/evaluation-result-3452403-1307111764/solver-3452403-1307111764 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452403-1307111764.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 2.00 2/483 13342
/proc/meminfo: memFree=24763672/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=10380 CPUtime=0 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 1587 0 0 0 0 0 0 0 25 0 1 0 901407126 10629120 1540 33554432000 4194304 9128323 140735403462416 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13342/statm: 2595 1540 401 1205 0 1386 0
[startup+0.0307929 s]
/proc/loadavg: 2.00 2.00 2.00 2/483 13342
/proc/meminfo: memFree=24763672/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=22740 CPUtime=0.02 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 4421 0 0 0 2 0 0 0 25 0 1 0 901407126 23285760 4374 33554432000 4194304 9128323 140735403462416 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 5685 4383 498 1205 0 4476 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22740
[startup+0.10078 s]
/proc/loadavg: 2.00 2.00 2.00 2/483 13342
/proc/meminfo: memFree=24763672/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=27296 CPUtime=0.09 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 5915 0 0 0 9 0 0 0 25 0 1 0 901407126 27951104 5610 33554432000 4194304 9128323 140735403462416 18446744073709551615 4964865 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 6824 5610 543 1205 0 5615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27296
[startup+0.300742 s]
/proc/loadavg: 2.00 2.00 2.00 2/483 13342
/proc/meminfo: memFree=24763672/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=44288 CPUtime=0.29 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 10550 0 0 0 28 1 0 0 25 0 1 0 901407126 45350912 9851 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 11072 9851 680 1205 0 9863 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44288
[startup+0.70067 s]
/proc/loadavg: 2.00 2.00 2.00 2/483 13342
/proc/meminfo: memFree=24763672/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=45464 CPUtime=0.69 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 10899 0 0 0 67 2 0 0 25 0 1 0 901407126 46555136 10199 33554432000 4194304 9128323 140735403462416 18446744073709551615 6941071 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 11366 10199 683 1205 0 10157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45464
[startup+1.50053 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13343
/proc/meminfo: memFree=24724584/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=77836 CPUtime=1.49 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 22576 0 0 0 143 6 0 0 25 0 1 0 901407126 79704064 18214 33554432000 4194304 9128323 140735403462416 18446744073709551615 7358376 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 19459 18214 706 1205 0 18250 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77836
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13343
/proc/meminfo: memFree=24690868/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=77836 CPUtime=3.09 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 22711 0 0 0 302 7 0 0 25 0 1 0 901407126 79704064 18349 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 19459 18349 739 1205 0 18250 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77836
[startup+6.30064 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13343
/proc/meminfo: memFree=24690276/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=77836 CPUtime=6.29 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 22712 0 0 0 619 10 0 0 25 0 1 0 901407126 79704064 18350 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 19459 18350 739 1205 0 18250 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77836
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13344
/proc/meminfo: memFree=24678984/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=89276 CPUtime=12.69 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 25832 0 0 0 1246 23 0 0 25 0 1 0 901407126 91418624 21470 33554432000 4194304 9128323 140735403462416 18446744073709551615 6594797 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 22319 21470 749 1205 0 21110 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89276
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13344
/proc/meminfo: memFree=24645892/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=122648 CPUtime=25.5 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 35171 0 0 0 2510 40 0 0 25 0 1 0 901407126 125591552 29509 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 30662 29509 764 1205 0 29453 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 122648
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13345
/proc/meminfo: memFree=24643872/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=124156 CPUtime=51.09 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 35784 0 0 0 4959 150 0 0 25 0 1 0 901407126 127135744 30057 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 31039 30057 756 1205 0 29830 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 124156
[startup+102.318 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13346
/proc/meminfo: memFree=24638484/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=102.31 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37091 0 0 0 9979 252 0 0 25 0 1 0 901407126 132427776 31361 33554432000 4194304 9128323 140735403462416 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31361 759 1205 0 31122 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 129324
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13348
/proc/meminfo: memFree=24638564/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=162.29 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37091 0 0 0 15877 352 0 0 25 0 1 0 901407126 132427776 31361 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31361 759 1205 0 31122 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 129324
[startup+222.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/484 13352
/proc/meminfo: memFree=24637828/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=222.3 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37091 0 0 0 21782 448 0 0 25 0 1 0 901407126 132427776 31361 33554432000 4194304 9128323 140735403462416 18446744073709551615 7326044 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31361 759 1205 0 31122 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 129324
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/484 13354
/proc/meminfo: memFree=24637912/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=282.3 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37092 0 0 0 27683 547 0 0 25 0 1 0 901407126 132427776 31362 33554432000 4194304 9128323 140735403462416 18446744073709551615 7286040 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31362 760 1205 0 31122 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 129324
[startup+342.3 s]
/proc/loadavg: 1.94 2.01 1.99 3/484 13383
/proc/meminfo: memFree=24624256/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=342.3 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37092 0 0 0 33584 646 0 0 25 0 1 0 901407126 132427776 31362 33554432000 4194304 9128323 140735403462416 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31362 760 1205 0 31122 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 129324
[startup+402.3 s]
/proc/loadavg: 1.97 2.00 1.99 3/484 13385
/proc/meminfo: memFree=24608652/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=402.3 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37092 0 0 0 39495 735 0 0 25 0 1 0 901407126 132427776 31362 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31362 760 1205 0 31122 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 129324
[startup+462.3 s]
/proc/loadavg: 2.18 2.05 2.01 3/484 13387
/proc/meminfo: memFree=24528736/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=462.3 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37092 0 0 0 45416 814 0 0 25 0 1 0 901407126 132427776 31362 33554432000 4194304 9128323 140735403462416 18446744073709551615 7343401 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31362 760 1205 0 31122 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 129324
[startup+522.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/484 13388
/proc/meminfo: memFree=24529028/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=522.3 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37092 0 0 0 51317 913 0 0 25 0 1 0 901407126 132427776 31362 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31362 760 1205 0 31122 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 129324
[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 13390
/proc/meminfo: memFree=24529116/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=582.31 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37092 0 0 0 57233 998 0 0 25 0 1 0 901407126 132427776 31362 33554432000 4194304 9128323 140735403462416 18446744073709551615 7082225 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31362 760 1205 0 31122 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 129324
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13396
/proc/meminfo: memFree=24530404/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=822.32 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37095 0 0 0 80874 1358 0 0 25 0 1 0 901407126 132427776 31365 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31365 763 1205 0 31122 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 129324
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13398
/proc/meminfo: memFree=24530344/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=882.32 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37095 0 0 0 86761 1471 0 0 25 0 1 0 901407126 132427776 31365 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31365 763 1205 0 31122 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 129324
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13399
/proc/meminfo: memFree=24529800/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=942.32 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37096 0 0 0 92644 1588 0 0 25 0 1 0 901407126 132427776 31366 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31366 763 1205 0 31122 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 129324
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/484 13401
/proc/meminfo: memFree=24529752/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1002.32 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37096 0 0 0 98523 1709 0 0 25 0 1 0 901407126 132427776 31366 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31366 763 1205 0 31122 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 129324
[startup+1062.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/484 13403
/proc/meminfo: memFree=24530076/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1062.32 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37096 0 0 0 104399 1833 0 0 25 0 1 0 901407126 132427776 31366 33554432000 4194304 9128323 140735403462416 18446744073709551615 7192179 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31366 763 1205 0 31122 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 129324
[startup+1122.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/484 13404
/proc/meminfo: memFree=24530408/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1122.32 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37096 0 0 0 110279 1953 0 0 25 0 1 0 901407126 132427776 31366 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31366 763 1205 0 31122 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 129324
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/484 13406
/proc/meminfo: memFree=24529756/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1182.33 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37099 0 0 0 116163 2070 0 0 25 0 1 0 901407126 132427776 31369 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31369 763 1205 0 31122 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 129324
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 13407
/proc/meminfo: memFree=24529572/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1242.33 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37099 0 0 0 122051 2182 0 0 25 0 1 0 901407126 132427776 31369 33554432000 4194304 9128323 140735403462416 18446744073709551615 7077401 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31369 763 1205 0 31122 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 129324
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 13409
/proc/meminfo: memFree=24530268/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1302.34 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37099 0 0 0 127935 2299 0 0 25 0 1 0 901407126 132427776 31369 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31369 763 1205 0 31122 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 129324
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 13411
/proc/meminfo: memFree=24530092/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1362.33 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37099 0 0 0 133819 2414 0 0 25 0 1 0 901407126 132427776 31369 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31369 763 1205 0 31122 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 129324
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13412
/proc/meminfo: memFree=24530044/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1422.35 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37100 0 0 0 139706 2529 0 0 25 0 1 0 901407126 132427776 31370 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31370 763 1205 0 31122 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 129324
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13414
/proc/meminfo: memFree=24529636/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1482.34 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37100 0 0 0 145587 2647 0 0 25 0 1 0 901407126 132427776 31370 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31370 763 1205 0 31122 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 129324
[startup+1542.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/484 13424
/proc/meminfo: memFree=24528900/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1542.34 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37100 0 0 0 151477 2757 0 0 25 0 1 0 901407126 132427776 31370 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31370 763 1205 0 31122 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 129324
[startup+1602.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/484 13426
/proc/meminfo: memFree=24528972/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1602.34 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37103 0 0 0 157368 2866 0 0 25 0 1 0 901407126 132427776 31373 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31373 763 1205 0 31122 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 129324
[startup+1662.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/484 13428
/proc/meminfo: memFree=24529036/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1662.34 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37103 0 0 0 163263 2971 0 0 25 0 1 0 901407126 132427776 31373 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31373 763 1205 0 31122 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 129324
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/484 13429
/proc/meminfo: memFree=24529124/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1722.34 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37103 0 0 0 169153 3081 0 0 25 0 1 0 901407126 132427776 31373 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31373 763 1205 0 31122 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 129324
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 13431
/proc/meminfo: memFree=24528328/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1782.34 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37103 0 0 0 175045 3189 0 0 25 0 1 0 901407126 132427776 31373 33554432000 4194304 9128323 140735403462416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31373 763 1205 0 31122 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 129324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 13431
/proc/meminfo: memFree=24528936/32950928 swapFree=61542356/67111528
[pid=13342] ppid=13340 vsize=129324 CPUtime=1800.06 cores=1,3,5,7
/proc/13342/stat : 13342 (scip-2.0.1.4.li) R 13340 13342 12040 0 -1 4202496 37106 0 0 0 176782 3224 0 0 25 0 1 0 901407126 132427776 31376 33554432000 4194304 9128323 140735403462416 18446744073709551615 4964049 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13342/statm: 32331 31376 766 1205 0 31122 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 129324
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1767.83
CPU system time (s): 32.2471
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 129324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.83
system time used= 32.2471
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 8887
runsolver used 8.15876 second user time and 20.5009 second system time
The end