0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692440-1338039487.opb>
0.29/0.34 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 117714 constraints
0.29/0.34 c problem read in 0.34
0.59/0.66 c presolving:
3.99/4.07 c (round 1) 2229 del vars, 6111 del conss, 0 add conss, 1447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8138536 impls, 0 clqs
5.59/5.63 c (round 2) 6145 del vars, 18957 del conss, 0 add conss, 5165 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8155376 impls, 0 clqs
5.99/6.07 c (round 3) 7436 del vars, 25763 del conss, 0 add conss, 5814 chg bounds, 10 chg sides, 21 chg coeffs, 0 upgd conss, 8163119 impls, 0 clqs
6.29/6.31 c (round 4) 7828 del vars, 27487 del conss, 0 add conss, 6051 chg bounds, 10 chg sides, 21 chg coeffs, 0 upgd conss, 8165426 impls, 0 clqs
6.39/6.46 c (round 5) 8058 del vars, 28408 del conss, 0 add conss, 6152 chg bounds, 10 chg sides, 21 chg coeffs, 0 upgd conss, 8167242 impls, 0 clqs
6.50/6.59 c (round 6) 8136 del vars, 28767 del conss, 0 add conss, 6191 chg bounds, 10 chg sides, 21 chg coeffs, 0 upgd conss, 8167852 impls, 0 clqs
6.69/6.71 c (round 7) 8171 del vars, 28932 del conss, 0 add conss, 6210 chg bounds, 10 chg sides, 21 chg coeffs, 0 upgd conss, 8168296 impls, 0 clqs
6.79/6.82 c (round 8) 8199 del vars, 29046 del conss, 0 add conss, 6224 chg bounds, 10 chg sides, 21 chg coeffs, 0 upgd conss, 8168846 impls, 0 clqs
6.89/6.93 c (round 9) 8221 del vars, 29141 del conss, 0 add conss, 6236 chg bounds, 10 chg sides, 21 chg coeffs, 0 upgd conss, 8169045 impls, 0 clqs
6.99/7.04 c (round 10) 8227 del vars, 29180 del conss, 0 add conss, 6239 chg bounds, 10 chg sides, 21 chg coeffs, 0 upgd conss, 8169153 impls, 0 clqs
7.09/7.14 c (round 11) 8231 del vars, 29198 del conss, 0 add conss, 6241 chg bounds, 10 chg sides, 21 chg coeffs, 0 upgd conss, 8169181 impls, 0 clqs
7.79/7.82 c (round 12) 8231 del vars, 29202 del conss, 0 add conss, 6241 chg bounds, 10 chg sides, 21 chg coeffs, 88512 upgd conss, 8169181 impls, 0 clqs
8.29/8.30 c (round 13) 8243 del vars, 29230 del conss, 24 add conss, 6245 chg bounds, 30 chg sides, 185 chg coeffs, 88521 upgd conss, 8172851 impls, 1843 clqs
8.59/8.65 c (round 14) 8247 del vars, 29250 del conss, 24 add conss, 6245 chg bounds, 30 chg sides, 194 chg coeffs, 88521 upgd conss, 8172851 impls, 1981 clqs
156.97/157.07 c (157.1s) probing: 1000/28475 (3.5%) - 0 fixings, 0 aggregations, 3787039 implications, 0 bound changes
157.07/157.18 c (157.2s) probing: 1001/28475 (3.5%) - 0 fixings, 0 aggregations, 3789826 implications, 0 bound changes
157.07/157.18 c (157.2s) probing aborted: 1000/1000 successive useless probings
157.07/157.18 c (round 15) 8247 del vars, 72313 del conss, 14066 add conss, 6245 chg bounds, 30 chg sides, 195 chg coeffs, 88521 upgd conss, 15752503 impls, 1981 clqs
157.86/157.94 c (round 16) 8247 del vars, 84766 del conss, 26519 add conss, 6245 chg bounds, 30 chg sides, 201 chg coeffs, 88521 upgd conss, 15752503 impls, 2910 clqs
158.57/158.63 c presolving (17 rounds):
158.57/158.63 c 8247 deleted vars, 84766 deleted constraints, 26519 added constraints, 6245 tightened bounds, 0 added holes, 30 changed sides, 201 changed coefficients
158.57/158.63 c 15752503 implications, 15363 cliques
158.57/158.63 c presolved problem has 28475 variables (28475 bin, 0 int, 0 impl, 0 cont) and 59467 constraints
158.57/158.63 c 1144 constraints of type <knapsack>
158.57/158.63 c 57660 constraints of type <setppc>
158.57/158.63 c 659 constraints of type <and>
158.57/158.63 c 4 constraints of type <logicor>
158.57/158.63 c transformed objective value is always integral (scale: 1)
158.57/158.63 c Presolving Time: 158.08
158.57/158.63 c - non default parameters ----------------------------------------------------------------------
158.57/158.63 c # SCIP version 2.1.1.4
158.57/158.63 c
158.57/158.63 c # maximal time in seconds to run
158.57/158.63 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
158.57/158.63 c limits/time = 1797
158.57/158.63 c
158.57/158.63 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
158.57/158.63 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
158.57/158.63 c limits/memory = 13950
158.57/158.63 c
158.57/158.63 c # default clock type (1: CPU user seconds, 2: wall clock time)
158.57/158.63 c # [type: int, range: [1,2], default: 1]
158.57/158.63 c timing/clocktype = 2
158.57/158.63 c
158.57/158.63 c # belongs reading time to solving time?
158.57/158.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
158.57/158.63 c timing/reading = TRUE
158.57/158.63 c
158.57/158.63 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
158.57/158.63 c # [type: int, range: [-1,2147483647], default: -1]
158.57/158.63 c separating/rapidlearning/freq = 0
158.57/158.63 c
158.57/158.63 c -----------------------------------------------------------------------------------------------
158.57/158.63 c start solving
158.76/158.85 c
483.29/483.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.29/483.44 c 483s| 1 | 0 | 75871 | - | 585M| 0 |3206 | 28k| 59k| 28k| 60k| 0 | 15 | 0 | 9.247425e+01 | -- | Inf
1132.80/1133.01 c 1133s| 1 | 0 |235784 | - | 589M| 0 |4288 | 28k| 59k| 28k| 60k| 527 | 15 | 0 | 9.298661e+01 | -- | Inf
1797.30/1797.63 c 1798s| 1 | 0 |314234 | - | 589M| 0 | - | 28k| 59k| 28k| 60k| 754 | 15 | 0 | 9.298661e+01 | -- | Inf
1797.30/1797.63 c (node 1) LP solver hit time limit in LP 8 -- using pseudo solution instead
1797.30/1797.66 c 1798s| 1 | 2 |314234 | - | 589M| 0 | - | 28k| 59k| 28k| 60k| 754 | 15 | 0 | 9.298661e+01 | -- | Inf
1797.30/1797.66 c
1797.30/1797.66 c SCIP Status : solving was interrupted [time limit reached]
1797.30/1797.66 c Solving Time (sec) : 1797.66
1797.30/1797.66 c Solving Nodes : 1
1797.30/1797.66 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.30/1797.66 c Dual Bound : +9.29866147319076e+01
1797.30/1797.66 c Gap : infinite
1797.30/1797.66 s UNKNOWN
1797.30/1797.66 c SCIP Status : solving was interrupted [time limit reached]
1797.30/1797.66 c Total Time : 1797.66
1797.30/1797.66 c solving : 1797.66
1797.30/1797.66 c presolving : 158.08 (included in solving)
1797.30/1797.66 c reading : 0.34 (included in solving)
1797.30/1797.66 c copying : 0.00 (0 times copied the problem)
1797.30/1797.66 c Original Problem :
1797.30/1797.66 c Problem name : HOME/instance-3692440-1338039487.opb
1797.30/1797.66 c Variables : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.30/1797.66 c Constraints : 117714 initial, 117714 maximal
1797.30/1797.66 c Objective sense : minimize
1797.30/1797.66 c Presolved Problem :
1797.30/1797.66 c Problem name : t_HOME/instance-3692440-1338039487.opb
1797.30/1797.66 c Variables : 28475 (28475 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.30/1797.66 c Constraints : 59467 initial, 59482 maximal
1797.30/1797.66 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.30/1797.66 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.30/1797.66 c trivial : 0.04 0.00 608 0 0 0 0 0 0 0 0
1797.30/1797.66 c dualfix : 0.05 0.00 61 0 0 0 0 0 0 0 0
1797.30/1797.66 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.30/1797.66 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.30/1797.66 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1797.30/1797.66 c gateextraction : 0.23 0.00 0 0 0 0 0 43056 14042 0 0
1797.30/1797.66 c implics : 0.40 0.00 0 8 0 0 0 0 0 0 0
1797.30/1797.66 c components : 0.04 0.00 0 0 0 0 0 0 0 0 0
1797.30/1797.66 c pseudoobj : 0.00 0.20 0 0 0 0 0 0 0 0 0
1797.30/1797.66 c probing : 148.12 0.00 0 0 0 0 0 0 0 0 0
1797.30/1797.66 c knapsack : 0.89 0.00 0 0 0 4 0 4 24 20 180
1797.30/1797.66 c setppc : 0.66 0.00 4 0 0 0 0 51 0 0 0
1797.30/1797.66 c and : 0.49 0.00 0 0 0 0 0 12453 12453 0 0
1797.30/1797.66 c linear : 6.70 0.06 5637 1929 0 6241 0 29202 0 10 21
1797.30/1797.66 c logicor : 0.18 0.00 0 0 0 0 0 0 0 0 0
1797.30/1797.66 c root node : - - 0 - - 0 - - - - -
1797.30/1797.66 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1797.30/1797.66 c integral : 0 0 0 0 0 0 4 0 0 0 0 0 0
1797.30/1797.66 c knapsack : 1144 1144 2 58023 0 1 3 14 0 0 329 0 0
1797.30/1797.66 c setppc : 57660 57660 2 58023 0 1 1 607 2 0 0 0 0
1797.30/1797.66 c and : 659 659 2 58021 0 1 0 0 0 0 6 0 0
1797.30/1797.66 c logicor : 4+ 19 2 37 0 1 0 1 13 0 0 0 0
1797.30/1797.66 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1797.30/1797.66 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1797.30/1797.66 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1797.30/1797.66 c knapsack : 2.99 0.00 0.02 2.98 0.00 0.00 0.00 0.00
1797.30/1797.66 c setppc : 95.32 0.00 0.01 95.29 0.00 0.02 0.00 0.00
1797.30/1797.66 c and : 26.98 0.00 0.00 26.98 0.00 0.00 0.00 0.00
1797.30/1797.66 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.30/1797.66 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.30/1797.66 c Propagators : #Propagate #ResProp Cutoffs DomReds
1797.30/1797.66 c rootredcost : 0 0 0 0
1797.30/1797.66 c pseudoobj : 2917 0 0 0
1797.30/1797.66 c vbounds : 0 0 0 0
1797.30/1797.66 c redcost : 2 0 0 0
1797.30/1797.66 c probing : 0 0 0 0
1797.30/1797.66 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1797.30/1797.66 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1797.30/1797.66 c pseudoobj : 0.27 0.20 0.00 0.07 0.00
1797.30/1797.66 c vbounds : 0.06 0.00 0.00 0.05 0.00
1797.30/1797.66 c redcost : 0.05 0.00 0.00 0.05 0.00
1797.30/1797.66 c probing : 148.12 0.00 148.12 0.00 0.00
1797.30/1797.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.30/1797.66 c propagation : 0.00 15 15 15 6.7 0 0.0 -
1797.30/1797.66 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.30/1797.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.30/1797.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.30/1797.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.30/1797.66 c applied globally : - - - 15 6.7 - - -
1797.30/1797.66 c applied locally : - - - 0 0.0 - - -
1797.30/1797.66 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1797.30/1797.66 c cut pool : 0.00 1 - - 13 - (maximal pool size: 771)
1797.30/1797.66 c closecuts : 0.00 0.00 0 0 0 0 0
1797.30/1797.66 c impliedbounds : 0.04 0.00 2 0 0 612 0
1797.30/1797.66 c intobj : 0.00 0.00 0 0 0 0 0
1797.30/1797.66 c gomory : 8.33 0.00 2 0 0 8 0
1797.30/1797.66 c cgmip : 0.00 0.00 0 0 0 0 0
1797.30/1797.66 c strongcg : 8.39 0.00 2 0 0 8 0
1797.30/1797.66 c cmir : 1.09 0.00 2 0 0 0 0
1797.30/1797.66 c flowcover : 4.73 0.00 2 0 0 205 0
1797.30/1797.66 c clique : 27.93 0.00 2 0 0 12 0
1797.30/1797.66 c zerohalf : 0.00 0.00 0 0 0 0 0
1797.30/1797.66 c mcf : 0.57 0.00 1 0 0 0 0
1797.30/1797.66 c oddcycle : 0.00 0.00 0 0 0 0 0
1797.30/1797.66 c rapidlearning : 0.00 0.00 0 0 0 0 0
1797.30/1797.66 c Pricers : ExecTime SetupTime Calls Vars
1797.30/1797.66 c problem variables: 0.00 - 0 0
1797.30/1797.66 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1797.30/1797.66 c relpscost : 0.00 0.00 0 0 0 0 0 0
1797.30/1797.66 c pscost : 0.00 0.00 0 0 0 0 0 0
1797.30/1797.66 c inference : 0.01 0.00 1 0 0 0 0 2
1797.30/1797.66 c mostinf : 0.00 0.00 0 0 0 0 0 0
1797.30/1797.66 c leastinf : 0.00 0.00 0 0 0 0 0 0
1797.30/1797.66 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1797.30/1797.66 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1797.30/1797.66 c random : 0.00 0.00 0 0 0 0 0 0
1797.30/1797.66 c Primal Heuristics : ExecTime SetupTime Calls Found
1797.30/1797.66 c LP solutions : 0.00 - - 0
1797.30/1797.66 c pseudo solutions : 0.00 - - 0
1797.30/1797.66 c oneopt : 0.00 0.00 0 0
1797.30/1797.66 c smallcard : 0.00 0.00 0 0
1797.30/1797.66 c trivial : 0.05 0.00 2 0
1797.30/1797.66 c shiftandpropagate: 7.34 0.00 1 0
1797.30/1797.66 c simplerounding : 0.00 0.00 0 0
1797.30/1797.66 c zirounding : 0.00 0.00 0 0
1797.30/1797.66 c rounding : 0.01 0.00 2 0
1797.30/1797.66 c shifting : 0.02 0.00 2 0
1797.30/1797.66 c intshifting : 0.00 0.00 0 0
1797.30/1797.66 c twoopt : 0.00 0.00 0 0
1797.30/1797.66 c indtwoopt : 0.00 0.00 0 0
1797.30/1797.66 c indoneopt : 0.00 0.00 0 0
1797.30/1797.66 c fixandinfer : 0.00 0.00 0 0
1797.30/1797.66 c feaspump : 205.79 0.00 1 0
1797.30/1797.66 c clique : 0.00 0.00 0 0
1797.30/1797.66 c indrounding : 0.00 0.00 0 0
1797.30/1797.66 c indcoefdiving : 0.00 0.00 0 0
1797.30/1797.66 c coefdiving : 0.00 0.00 0 0
1797.30/1797.66 c pscostdiving : 0.00 0.00 0 0
1797.30/1797.66 c nlpdiving : 0.00 0.00 0 0
1797.30/1797.66 c fracdiving : 0.00 0.00 0 0
1797.30/1797.66 c veclendiving : 0.00 0.00 0 0
1797.30/1797.66 c intdiving : 0.00 0.00 0 0
1797.30/1797.66 c actconsdiving : 0.00 0.00 0 0
1797.30/1797.66 c objpscostdiving : 0.00 0.00 0 0
1797.30/1797.66 c rootsoldiving : 0.00 0.00 0 0
1797.30/1797.66 c linesearchdiving : 0.00 0.00 0 0
1797.30/1797.66 c guideddiving : 0.00 0.00 0 0
1797.30/1797.66 c octane : 0.00 0.00 0 0
1797.30/1797.66 c rens : 0.00 0.00 0 0
1797.30/1797.66 c rins : 0.00 0.00 0 0
1797.30/1797.66 c localbranching : 0.00 0.00 0 0
1797.30/1797.66 c mutation : 0.00 0.00 0 0
1797.30/1797.66 c crossover : 0.00 0.00 0 0
1797.30/1797.66 c dins : 0.00 0.00 0 0
1797.30/1797.66 c vbounds : 0.00 0.00 0 0
1797.30/1797.66 c undercover : 0.00 0.00 1 0
1797.30/1797.66 c subnlp : 0.00 0.00 0 0
1797.30/1797.66 c trysol : 0.00 0.00 0 0
1797.30/1797.66 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1797.30/1797.66 c primal LP : 0.00 0 0 0.00 - 0.00 0
1797.30/1797.66 c dual LP : 1374.50 4 221707 73902.33 161.30 0.07 1
1797.30/1797.66 c lex dual LP : 0.00 0 0 0.00 -
1797.30/1797.66 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1797.30/1797.66 c diving/probing LP: 205.56 5 92527 18505.40 450.11
1797.30/1797.66 c strong branching : 0.00 0 0 0.00 -
1797.30/1797.66 c (at root node) : - 0 0 0.00 -
1797.30/1797.66 c conflict analysis: 0.00 0 0 0.00 -
1797.30/1797.66 c B&B Tree :
1797.30/1797.66 c number of runs : 1
1797.30/1797.66 c nodes : 1
1797.30/1797.66 c nodes (total) : 1
1797.30/1797.66 c nodes left : 2
1797.30/1797.66 c max depth : 0
1797.30/1797.66 c max depth (total): 0
1797.30/1797.66 c backtracks : 0 (0.0%)
1797.30/1797.66 c delayed cutoffs : 0
1797.30/1797.66 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.30/1797.66 c avg switch length: 1.00
1797.30/1797.66 c switching time : 0.00
1797.30/1797.66 c Solution :
1797.30/1797.66 c Solutions found : 0 (0 improvements)
1797.30/1797.66 c Primal Bound : -
1797.30/1797.66 c Dual Bound : +9.29866147319076e+01
1797.30/1797.66 c Gap : infinite
1797.30/1797.66 c Root Dual Bound : +9.29866147319076e+01
1797.30/1797.66 c Root Iterations : 314234
1797.79/1798.12 c Time complete: 1797.82.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3692440-1338039487/watcher-3692440-1338039487 -o /tmp/evaluation-result-3692440-1338039487/solver-3692440-1338039487 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692440-1338039487.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 3/176 2784
/proc/meminfo: memFree=29063552/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=12032 CPUtime=0 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 1789 0 0 0 0 0 0 0 20 0 1 0 270015724 12320768 1745 33554432000 4194304 10219143 140735519622144 140735519621800 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 3008 1753 398 1471 0 1528 0
[startup+0.032232 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2784
/proc/meminfo: memFree=29063552/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=24548 CPUtime=0.03 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 4687 0 0 0 2 1 0 0 20 0 1 0 270015724 25137152 4643 33554432000 4194304 10219143 140735519622144 140735519621800 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 6137 4678 421 1471 0 4657 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24548
[startup+0.100333 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2784
/proc/meminfo: memFree=29063552/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=43272 CPUtime=0.09 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 9568 0 0 0 8 1 0 0 20 0 1 0 270015724 44310528 9525 33554432000 4194304 10219143 140735519622144 140735519621800 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 10818 9530 421 1471 0 9338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43272
[startup+0.300267 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2784
/proc/meminfo: memFree=29063552/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=86952 CPUtime=0.29 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 20493 0 0 0 26 3 0 0 20 0 1 0 270015724 89038848 20448 33554432000 4194304 10219143 140735519622144 140735519621800 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 21738 20448 421 1471 0 20258 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86952
[startup+0.700296 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2784
/proc/meminfo: memFree=29063552/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=213660 CPUtime=0.69 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 51357 0 0 0 61 8 0 0 20 0 1 0 270015724 218787840 51267 33554432000 4194304 10219143 140735519622144 140735519618344 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 53415 51267 550 1471 0 51935 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 213660
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2785
/proc/meminfo: memFree=28820372/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=313992 CPUtime=1.49 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 76368 0 0 0 131 18 0 0 20 0 1 0 270015724 321527808 76278 33554432000 4194304 10219143 140735519622144 140735519619144 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 78498 76278 560 1471 0 77018 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 313992
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2785
/proc/meminfo: memFree=28704664/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=437688 CPUtime=3.09 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 105918 0 0 0 279 30 0 0 20 0 1 0 270015724 448192512 105828 33554432000 4194304 10219143 140735519622144 140735519619144 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 109422 105828 560 1471 0 107942 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 437688
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2785
/proc/meminfo: memFree=28599884/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=474104 CPUtime=6.29 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 114621 0 0 0 560 69 0 0 20 0 1 0 270015724 485482496 114274 33554432000 4194304 10219143 140735519622144 140735519619144 6879884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 118526 114274 569 1471 0 117046 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 474104
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2785
/proc/meminfo: memFree=28546084/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=516728 CPUtime=12.68 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 130124 0 0 0 1102 166 0 0 20 0 1 0 270015724 529129472 124926 33554432000 4194304 10219143 140735519622144 140735519618504 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 129182 124926 628 1471 0 127702 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 516728
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2785
/proc/meminfo: memFree=28519904/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=522236 CPUtime=25.49 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 131459 0 0 0 2377 172 0 0 20 0 1 0 270015724 534769664 126261 33554432000 4194304 10219143 140735519622144 140735519618504 4819088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 130559 126261 628 1471 0 129079 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 522236
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2785
/proc/meminfo: memFree=28446588/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=541956 CPUtime=51.09 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 136296 0 0 0 4925 184 0 0 20 0 1 0 270015724 554962944 131098 33554432000 4194304 10219143 140735519622144 140735519618504 6191148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 135489 131098 628 1471 0 134009 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 541956
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2785
/proc/meminfo: memFree=28266072/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=610684 CPUtime=102.28 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 153543 0 0 0 10020 208 0 0 20 0 1 0 270015724 625340416 148345 33554432000 4194304 10219143 140735519622144 140735519618504 8965694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 152671 148345 628 1471 0 151191 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 610684
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/178 2826
/proc/meminfo: memFree=28327544/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=765408 CPUtime=162.26 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 188258 0 0 0 15943 283 0 0 20 0 1 0 270015724 783777792 186355 33554432000 4194304 10219143 140735519622144 140735519618024 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 191352 186355 706 1471 0 189872 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 765408
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2826
/proc/meminfo: memFree=28177700/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=837444 CPUtime=222.24 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 201913 0 0 0 21930 294 0 0 20 0 1 0 270015724 857542656 202981 33554432000 4194304 10219143 140735519622144 140735519615816 8057123 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 209361 202981 782 1471 0 207881 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 837444
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 2826
/proc/meminfo: memFree=28064284/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=837444 CPUtime=282.24 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 201953 0 0 0 27924 300 0 0 20 0 1 0 270015724 857542656 204558 33554432000 4194304 10219143 140735519622144 140735519615320 8057386 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 209361 204558 782 1471 0 207881 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 837444
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2827
/proc/meminfo: memFree=27888140/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=837444 CPUtime=342.23 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 201964 0 0 0 33918 305 0 0 20 0 1 0 270015724 857542656 205643 33554432000 4194304 10219143 140735519622144 140735519615768 8057217 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 209361 205643 782 1471 0 207881 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 837444
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 2828
/proc/meminfo: memFree=27884592/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=837444 CPUtime=402.21 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 201974 0 0 0 39912 309 0 0 20 0 1 0 270015724 857542656 206486 33554432000 4194304 10219143 140735519622144 140735519615768 8057416 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 209361 206486 782 1471 0 207881 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 837444
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2828
/proc/meminfo: memFree=27881900/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=837444 CPUtime=462.2 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 201976 0 0 0 45907 313 0 0 20 0 1 0 270015724 857542656 206493 33554432000 4194304 10219143 140735519622144 140735519615320 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 209361 206493 783 1471 0 207881 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 837444
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2828
/proc/meminfo: memFree=27872684/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=844480 CPUtime=522.19 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 202809 0 0 0 51900 319 0 0 20 0 1 0 270015724 864747520 208783 33554432000 4194304 10219143 140735519622144 140735519613448 8029287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 211120 208783 799 1471 0 209640 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 844480
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2828
/proc/meminfo: memFree=27873208/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=844480 CPUtime=582.18 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 202809 0 0 0 57894 324 0 0 20 0 1 0 270015724 864747520 208788 33554432000 4194304 10219143 140735519622144 140735519613272 8051503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 211120 208788 799 1471 0 209640 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 844480
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27588824/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1062.11 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205918 0 0 0 105352 859 0 0 20 0 1 0 270015724 927477760 222628 33554432000 4194304 10219143 140735519622144 140735519615320 8056919 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222628 831 1471 0 224955 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 905740
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2833
/proc/meminfo: memFree=27733388/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1122.1 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205918 0 0 0 111345 865 0 0 20 0 1 0 270015724 927477760 222628 33554432000 4194304 10219143 140735519622144 140735519615384 8051530 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222628 831 1471 0 224955 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 905740
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2833
/proc/meminfo: memFree=27733292/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1182.09 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 117331 878 0 0 20 0 1 0 270015724 927477760 222629 33554432000 4194304 10219143 140735519622144 140735519615320 8057386 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222629 832 1471 0 224955 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 905740
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2834
/proc/meminfo: memFree=27733072/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1242.08 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 123325 883 0 0 20 0 1 0 270015724 927477760 222629 33554432000 4194304 10219143 140735519622144 140735519615320 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222629 832 1471 0 224955 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 905740
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2834
/proc/meminfo: memFree=27732872/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1302.08 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 129320 888 0 0 20 0 1 0 270015724 927477760 222629 33554432000 4194304 10219143 140735519622144 140735519615816 8069905 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222629 832 1471 0 224955 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 905740
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2837
/proc/meminfo: memFree=27732740/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1362.06 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 135313 893 0 0 20 0 1 0 270015724 927477760 222629 33554432000 4194304 10219143 140735519622144 140735519615816 8025328 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222629 832 1471 0 224955 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 905740
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2860
/proc/meminfo: memFree=27732864/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1422.06 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 141308 898 0 0 20 0 1 0 270015724 927477760 222629 33554432000 4194304 10219143 140735519622144 140735519615320 8052242 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222629 832 1471 0 224955 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 905740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2860
/proc/meminfo: memFree=27732748/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1482.05 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 147303 902 0 0 20 0 1 0 270015724 927477760 222629 33554432000 4194304 10219143 140735519622144 140735519615320 7638819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222629 832 1471 0 224955 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 905740
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2860
/proc/meminfo: memFree=27732648/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1542.03 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 153297 906 0 0 20 0 1 0 270015724 927477760 222640 33554432000 4194304 10219143 140735519622144 140735519615784 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222640 832 1471 0 224955 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 905740
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2861
/proc/meminfo: memFree=27732772/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1602.03 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 159292 911 0 0 20 0 1 0 270015724 927477760 222640 33554432000 4194304 10219143 140735519622144 140735519615320 8056746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222640 832 1471 0 224955 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 905740
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2861
/proc/meminfo: memFree=27732896/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1662.02 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 165286 916 0 0 20 0 1 0 270015724 927477760 222640 33554432000 4194304 10219143 140735519622144 140735519615320 8069900 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222640 832 1471 0 224955 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 905740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2861
/proc/meminfo: memFree=27732896/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1722.01 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 171279 922 0 0 20 0 1 0 270015724 927477760 222640 33554432000 4194304 10219143 140735519622144 140735519615320 8053092 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222640 832 1471 0 224955 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 905740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2861
/proc/meminfo: memFree=27732896/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1782 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 177274 926 0 0 20 0 1 0 270015724 927477760 222640 33554432000 4194304 10219143 140735519622144 140735519615320 8056463 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222640 832 1471 0 224955 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 905740
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2861
/proc/meminfo: memFree=27732896/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1791.6 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 178234 926 0 0 20 0 1 0 270015724 927477760 222640 33554432000 4194304 10219143 140735519622144 140735519615320 8057131 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222640 832 1471 0 224955 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 905740
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2861
/proc/meminfo: memFree=27732772/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1794.8 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 178553 927 0 0 20 0 1 0 270015724 927477760 222640 33554432000 4194304 10219143 140735519622144 140735519615320 8107702 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222640 832 1471 0 224955 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 905740
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2861
/proc/meminfo: memFree=27732772/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1796.4 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 178713 927 0 0 20 0 1 0 270015724 927477760 222640 33554432000 4194304 10219143 140735519622144 140735519615320 8057481 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222640 832 1471 0 224955 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 905740
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2861
/proc/meminfo: memFree=27732772/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=905740 CPUtime=1797.2 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205919 0 0 0 178793 927 0 0 20 0 1 0 270015724 927477760 222640 33554432000 4194304 10219143 140735519622144 140735519615784 8091364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 226435 222640 832 1471 0 224955 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 905740
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2861
/proc/meminfo: memFree=27732772/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=844888 CPUtime=1797.59 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205931 0 0 0 178832 927 0 0 20 0 1 0 270015724 865165312 209819 33554432000 4194304 10219143 140735519622144 140735519615784 5006256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 211222 209819 844 1471 0 209742 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 844888
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2861
/proc/meminfo: memFree=27732772/32873844 swapFree=6868/6868
[pid=2784] ppid=2782 vsize=647264 CPUtime=1797.79 cores=1,3,5,7
/proc/2784/stat : 2784 (scip-2.1.1.4exp) R 2782 2784 31651 0 -1 4202496 205931 0 0 0 178850 929 0 0 20 0 1 0 270015724 662798336 160771 33554432000 4194304 10219143 140735519622144 140735519615784 5344884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2784/statm: 161783 160738 844 1471 0 160303 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 647264
Child status: 0
Real time (s): 1798.13
CPU time (s): 1797.83
CPU user time (s): 1788.51
CPU system time (s): 9.31958
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 905740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.51
system time used= 9.31958
maximum resident set size= 890592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205944
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= 33
involuntary context switches= 1850
runsolver used 2.86456 second user time and 7.73782 second system time
The end