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-3692450-1338040556.opb>
0.49/0.55 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192750 constraints
0.49/0.55 c problem read in 0.55
1.00/1.06 c presolving:
6.29/6.36 c (round 1) 5690 del vars, 16844 del conss, 0 add conss, 4445 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12992086 impls, 0 clqs
9.19/9.21 c (round 2) 10712 del vars, 38741 del conss, 0 add conss, 9203 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13021316 impls, 0 clqs
10.09/10.13 c (round 3) 12517 del vars, 47729 del conss, 0 add conss, 10253 chg bounds, 26 chg sides, 47 chg coeffs, 0 upgd conss, 13033741 impls, 0 clqs
10.69/10.70 c (round 4) 13559 del vars, 51910 del conss, 0 add conss, 10902 chg bounds, 30 chg sides, 51 chg coeffs, 0 upgd conss, 13045908 impls, 0 clqs
11.09/11.10 c (round 5) 14216 del vars, 54624 del conss, 0 add conss, 11361 chg bounds, 30 chg sides, 51 chg coeffs, 0 upgd conss, 13052481 impls, 0 clqs
11.29/11.38 c (round 6) 14685 del vars, 56566 del conss, 0 add conss, 11647 chg bounds, 30 chg sides, 51 chg coeffs, 0 upgd conss, 13057451 impls, 0 clqs
11.49/11.56 c (round 7) 14923 del vars, 57677 del conss, 0 add conss, 11814 chg bounds, 30 chg sides, 51 chg coeffs, 0 upgd conss, 13058844 impls, 0 clqs
11.59/11.69 c (round 8) 15024 del vars, 58160 del conss, 0 add conss, 11871 chg bounds, 30 chg sides, 51 chg coeffs, 0 upgd conss, 13060463 impls, 0 clqs
11.69/11.80 c (round 9) 15099 del vars, 58466 del conss, 0 add conss, 11919 chg bounds, 36 chg sides, 57 chg coeffs, 0 upgd conss, 13061264 impls, 0 clqs
11.79/11.89 c (round 10) 15150 del vars, 58695 del conss, 0 add conss, 11946 chg bounds, 36 chg sides, 57 chg coeffs, 0 upgd conss, 13062256 impls, 0 clqs
11.89/11.99 c (round 11) 15198 del vars, 58897 del conss, 0 add conss, 11974 chg bounds, 36 chg sides, 57 chg coeffs, 0 upgd conss, 13062650 impls, 0 clqs
11.99/12.09 c (round 12) 15218 del vars, 59007 del conss, 0 add conss, 11990 chg bounds, 36 chg sides, 57 chg coeffs, 0 upgd conss, 13062786 impls, 0 clqs
12.10/12.19 c (round 13) 15226 del vars, 59047 del conss, 0 add conss, 11996 chg bounds, 36 chg sides, 57 chg coeffs, 0 upgd conss, 13062902 impls, 0 clqs
12.19/12.27 c (round 14) 15230 del vars, 59069 del conss, 0 add conss, 11996 chg bounds, 36 chg sides, 57 chg coeffs, 0 upgd conss, 13062908 impls, 0 clqs
12.99/13.06 c (round 15) 15230 del vars, 59076 del conss, 0 add conss, 11996 chg bounds, 36 chg sides, 57 chg coeffs, 133674 upgd conss, 13062908 impls, 0 clqs
13.69/13.70 c (round 16) 15230 del vars, 59095 del conss, 41 add conss, 11996 chg bounds, 88 chg sides, 289 chg coeffs, 133674 upgd conss, 13063670 impls, 1634 clqs
333.15/333.22 c (333.2s) probing: 1000/39552 (2.5%) - 0 fixings, 0 aggregations, 6149905 implications, 0 bound changes
333.54/333.64 c (333.6s) probing: 1001/39552 (2.5%) - 0 fixings, 0 aggregations, 6154498 implications, 0 bound changes
333.54/333.64 c (333.6s) probing aborted: 1000/1000 successive useless probings
333.54/333.64 c (round 17) 15230 del vars, 120336 del conss, 19576 add conss, 11996 chg bounds, 94 chg sides, 330 chg coeffs, 133674 upgd conss, 25372666 impls, 1757 clqs
334.24/334.37 c (round 18) 15230 del vars, 136472 del conss, 35712 add conss, 11996 chg bounds, 94 chg sides, 338 chg coeffs, 133674 upgd conss, 25372666 impls, 4392 clqs
334.94/335.07 c presolving (19 rounds):
334.94/335.07 c 15230 deleted vars, 136472 deleted constraints, 35712 added constraints, 11996 tightened bounds, 0 added holes, 94 changed sides, 338 changed coefficients
334.94/335.07 c 25372666 implications, 20528 cliques
334.94/335.07 c presolved problem has 39552 variables (39552 bin, 0 int, 0 impl, 0 cont) and 91990 constraints
334.94/335.07 c 1159 constraints of type <knapsack>
334.94/335.07 c 90062 constraints of type <setppc>
334.94/335.07 c 763 constraints of type <and>
334.94/335.07 c 6 constraints of type <logicor>
334.94/335.07 c transformed objective value is always integral (scale: 1)
334.94/335.07 c Presolving Time: 334.16
334.94/335.07 c - non default parameters ----------------------------------------------------------------------
334.94/335.07 c # SCIP version 2.1.1.4
334.94/335.07 c
334.94/335.07 c # maximal time in seconds to run
334.94/335.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
334.94/335.07 c limits/time = 1797
334.94/335.07 c
334.94/335.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
334.94/335.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
334.94/335.07 c limits/memory = 13950
334.94/335.07 c
334.94/335.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
334.94/335.07 c # [type: int, range: [1,2], default: 1]
334.94/335.07 c timing/clocktype = 2
334.94/335.07 c
334.94/335.07 c # belongs reading time to solving time?
334.94/335.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
334.94/335.07 c timing/reading = TRUE
334.94/335.07 c
334.94/335.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
334.94/335.07 c # [type: int, range: [-1,2147483647], default: -1]
334.94/335.07 c separating/rapidlearning/freq = 0
334.94/335.07 c
334.94/335.07 c -----------------------------------------------------------------------------------------------
334.94/335.07 c start solving
335.35/335.42 c
1156.22/1156.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.22/1156.43 c 1156s| 1 | 0 | 98396 | - | 912M| 0 |7007 | 39k| 91k| 39k| 92k| 0 | 15 | 0 | 1.148304e+02 | -- | Inf
1796.80/1797.14 c (node 1) unresolved numerical troubles in LP 3 -- using pseudo solution instead (loop 1)
1796.80/1797.14 c (node 1) LP solver hit time limit in LP 3 -- using pseudo solution instead
1796.90/1797.20 c 1797s| 1 | 2 |179364 | - | 918M| 0 | - | 39k| 91k| 39k| 92k| 0 | 15 | 0 | 1.148304e+02 | -- | Inf
1796.90/1797.20 c
1796.90/1797.20 c SCIP Status : solving was interrupted [time limit reached]
1796.90/1797.20 c Solving Time (sec) : 1797.19
1796.90/1797.20 c Solving Nodes : 1
1796.90/1797.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.90/1797.20 c Dual Bound : +1.14830442036107e+02
1796.90/1797.20 c Gap : infinite
1796.90/1797.20 s UNKNOWN
1796.90/1797.20 c SCIP Status : solving was interrupted [time limit reached]
1796.90/1797.20 c Total Time : 1797.19
1796.90/1797.20 c solving : 1797.19
1796.90/1797.20 c presolving : 334.16 (included in solving)
1796.90/1797.20 c reading : 0.55 (included in solving)
1796.90/1797.20 c copying : 0.00 (0 times copied the problem)
1796.90/1797.20 c Original Problem :
1796.90/1797.20 c Problem name : HOME/instance-3692450-1338040556.opb
1796.90/1797.20 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.90/1797.20 c Constraints : 192750 initial, 192750 maximal
1796.90/1797.20 c Objective sense : minimize
1796.90/1797.20 c Presolved Problem :
1796.90/1797.20 c Problem name : t_HOME/instance-3692450-1338040556.opb
1796.90/1797.20 c Variables : 39552 (39552 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.90/1797.20 c Constraints : 91990 initial, 92005 maximal
1796.90/1797.20 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.90/1797.20 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.90/1797.20 c trivial : 0.07 0.00 776 0 0 0 0 0 0 0 0
1796.90/1797.20 c dualfix : 0.08 0.00 92 0 0 0 0 0 0 0 0
1796.90/1797.20 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.90/1797.20 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.90/1797.20 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.90/1797.20 c gateextraction : 0.35 0.00 0 0 0 0 0 61241 19535 0 0
1796.90/1797.20 c implics : 0.69 0.00 0 0 0 0 0 0 0 0 0
1796.90/1797.20 c components : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.90/1797.20 c pseudoobj : 0.00 0.33 0 0 0 0 0 0 0 0 0
1796.90/1797.20 c probing : 319.29 0.00 0 0 0 0 0 0 0 0 0
1796.90/1797.20 c knapsack : 1.04 0.00 0 0 0 0 0 0 41 58 281
1796.90/1797.20 c setppc : 0.56 0.00 0 0 0 0 0 19 0 0 0
1796.90/1797.20 c and : 0.31 0.00 0 0 0 0 0 16136 16136 0 0
1796.90/1797.20 c linear : 11.13 0.11 11220 3142 0 11996 0 59076 0 36 57
1796.90/1797.20 c logicor : 0.12 0.00 0 0 0 0 0 0 0 0 0
1796.90/1797.20 c root node : - - 2 - - 2 - - - - -
1796.90/1797.20 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.90/1797.20 c integral : 0 0 0 0 0 0 4 0 0 0 0 0 0
1796.90/1797.20 c knapsack : 1159 1159 0 66349 0 1 3 2 1 0 0 0 0
1796.90/1797.20 c setppc : 90062 90062 0 66348 0 1 1 317 4 1 0 0 0
1796.90/1797.20 c and : 763 763 0 66344 0 1 0 10 0 0 0 0 0
1796.90/1797.20 c logicor : 6+ 21 0 24 0 1 0 9 10 1 0 0 0
1796.90/1797.20 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.90/1797.20 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.90/1797.20 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1796.90/1797.20 c knapsack : 5.26 0.00 0.00 5.26 0.00 0.00 0.00 0.00
1796.90/1797.20 c setppc : 286.56 0.00 0.00 286.52 0.00 0.04 0.00 0.00
1796.90/1797.20 c and : 59.16 0.00 0.00 59.16 0.00 0.00 0.00 0.00
1796.90/1797.20 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.90/1797.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.90/1797.20 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.90/1797.20 c rootredcost : 0 0 0 0
1796.90/1797.20 c pseudoobj : 14661 0 0 0
1796.90/1797.20 c vbounds : 0 0 0 0
1796.90/1797.20 c redcost : 1 0 0 0
1796.90/1797.20 c probing : 0 0 0 0
1796.90/1797.20 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.90/1797.20 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.90/1797.20 c pseudoobj : 0.42 0.33 0.00 0.09 0.00
1796.90/1797.20 c vbounds : 0.06 0.01 0.00 0.05 0.00
1796.90/1797.20 c redcost : 0.03 0.00 0.00 0.03 0.00
1796.90/1797.20 c probing : 319.29 0.00 319.29 0.00 0.00
1796.90/1797.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.90/1797.20 c propagation : 0.00 15 15 15 102.2 0 0.0 -
1796.90/1797.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.90/1797.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.90/1797.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.90/1797.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.90/1797.20 c applied globally : - - - 15 102.2 - - -
1796.90/1797.20 c applied locally : - - - 0 0.0 - - -
1796.90/1797.20 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.90/1797.20 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.90/1797.20 c clique : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c closecuts : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c cgmip : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c cmir : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c flowcover : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c gomory : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c impliedbounds : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c intobj : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c mcf : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c strongcg : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.90/1797.20 c Pricers : ExecTime SetupTime Calls Vars
1796.90/1797.20 c problem variables: 0.00 - 0 0
1796.90/1797.20 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.90/1797.20 c relpscost : 0.00 0.00 0 0 0 0 0 0
1796.90/1797.20 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.90/1797.20 c inference : 0.01 0.00 1 0 0 0 0 2
1796.90/1797.20 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.90/1797.20 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.90/1797.20 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.90/1797.20 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.90/1797.20 c random : 0.00 0.00 0 0 0 0 0 0
1796.90/1797.20 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.90/1797.20 c LP solutions : 0.00 - - 0
1796.90/1797.20 c pseudo solutions : 0.00 - - 0
1796.90/1797.20 c oneopt : 0.00 0.00 0 0
1796.90/1797.20 c smallcard : 0.00 0.00 0 0
1796.90/1797.20 c trivial : 0.07 0.00 2 0
1796.90/1797.20 c shiftandpropagate: 83.45 0.00 1 0
1796.90/1797.20 c simplerounding : 0.00 0.00 0 0
1796.90/1797.20 c zirounding : 0.00 0.00 0 0
1796.90/1797.20 c rounding : 0.01 0.00 1 0
1796.90/1797.20 c shifting : 0.10 0.00 1 0
1796.90/1797.20 c intshifting : 0.00 0.00 0 0
1796.90/1797.20 c twoopt : 0.00 0.00 0 0
1796.90/1797.20 c indtwoopt : 0.00 0.00 0 0
1796.90/1797.20 c indoneopt : 0.00 0.00 0 0
1796.90/1797.20 c fixandinfer : 0.00 0.00 0 0
1796.90/1797.20 c feaspump : 640.60 0.00 1 0
1796.90/1797.20 c clique : 0.00 0.00 0 0
1796.90/1797.20 c indrounding : 0.00 0.00 0 0
1796.90/1797.20 c indcoefdiving : 0.00 0.00 0 0
1796.90/1797.20 c coefdiving : 0.00 0.00 0 0
1796.90/1797.20 c pscostdiving : 0.00 0.00 0 0
1796.90/1797.20 c nlpdiving : 0.00 0.00 0 0
1796.90/1797.20 c fracdiving : 0.00 0.00 0 0
1796.90/1797.20 c veclendiving : 0.00 0.00 0 0
1796.90/1797.20 c intdiving : 0.00 0.00 0 0
1796.90/1797.20 c actconsdiving : 0.00 0.00 0 0
1796.90/1797.20 c objpscostdiving : 0.00 0.00 0 0
1796.90/1797.20 c rootsoldiving : 0.00 0.00 0 0
1796.90/1797.20 c linesearchdiving : 0.00 0.00 0 0
1796.90/1797.20 c guideddiving : 0.00 0.00 0 0
1796.90/1797.20 c octane : 0.00 0.00 0 0
1796.90/1797.20 c rens : 0.00 0.00 0 0
1796.90/1797.20 c rins : 0.00 0.00 0 0
1796.90/1797.20 c localbranching : 0.00 0.00 0 0
1796.90/1797.20 c mutation : 0.00 0.00 0 0
1796.90/1797.20 c crossover : 0.00 0.00 0 0
1796.90/1797.20 c dins : 0.00 0.00 0 0
1796.90/1797.20 c vbounds : 0.00 0.00 0 0
1796.90/1797.20 c undercover : 0.00 0.00 0 0
1796.90/1797.20 c subnlp : 0.00 0.00 0 0
1796.90/1797.20 c trysol : 0.00 0.00 0 0
1796.90/1797.20 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.90/1797.20 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.90/1797.20 c dual LP : 737.48 1 98396 98396.00 133.42 0.00 0
1796.90/1797.20 c lex dual LP : 0.00 0 0 0.00 -
1796.90/1797.20 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.90/1797.20 c diving/probing LP: 640.52 2 80968 40484.00 126.41
1796.90/1797.20 c strong branching : 0.00 0 0 0.00 -
1796.90/1797.20 c (at root node) : - 0 0 0.00 -
1796.90/1797.20 c conflict analysis: 0.00 0 0 0.00 -
1796.90/1797.20 c B&B Tree :
1796.90/1797.20 c number of runs : 1
1796.90/1797.20 c nodes : 1
1796.90/1797.20 c nodes (total) : 1
1796.90/1797.20 c nodes left : 2
1796.90/1797.20 c max depth : 0
1796.90/1797.20 c max depth (total): 0
1796.90/1797.20 c backtracks : 0 (0.0%)
1796.90/1797.20 c delayed cutoffs : 0
1796.90/1797.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.90/1797.20 c avg switch length: 1.00
1796.90/1797.20 c switching time : 0.00
1796.90/1797.20 c Solution :
1796.90/1797.20 c Solutions found : 0 (0 improvements)
1796.90/1797.20 c Primal Bound : -
1796.90/1797.20 c Dual Bound : +1.14830442036107e+02
1796.90/1797.20 c Gap : infinite
1796.90/1797.20 c Root Dual Bound : +1.14830442036107e+02
1796.90/1797.20 c Root Iterations : 179364
1797.61/1797.91 c Time complete: 1797.62.
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-3692450-1338040556/watcher-3692450-1338040556 -o /tmp/evaluation-result-3692450-1338040556/solver-3692450-1338040556 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692450-1338040556.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: 1.92 1.99 1.99 3/174 4843
/proc/meminfo: memFree=28451968/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=12028 CPUtime=0 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 1781 0 0 0 0 0 0 0 20 0 1 0 270181098 12316672 1735 33554432000 4194304 10219143 140734144128752 140733614082936 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 3007 1743 398 1471 0 1527 0
[startup+0.0806321 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 4843
/proc/meminfo: memFree=28451968/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=42064 CPUtime=0.07 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 9274 0 0 0 6 1 0 0 20 0 1 0 270181098 43073536 9228 33554432000 4194304 10219143 140734144128752 140733614082936 5541619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 10516 9228 421 1471 0 9036 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 42064
[startup+0.10037 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 4843
/proc/meminfo: memFree=28451968/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=47612 CPUtime=0.09 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 10662 0 0 0 8 1 0 0 20 0 1 0 270181098 48754688 10616 33554432000 4194304 10219143 140734144128752 140733614082936 7593634 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 11903 10616 421 1471 0 10423 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47612
[startup+0.300257 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 4843
/proc/meminfo: memFree=28451968/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=83832 CPUtime=0.29 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 19648 0 0 0 27 2 0 0 20 0 1 0 270181098 85843968 19602 33554432000 4194304 10219143 140734144128752 140733614082936 5541619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 20958 19602 421 1471 0 19478 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83832
[startup+0.700254 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 4843
/proc/meminfo: memFree=28451968/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=231676 CPUtime=0.69 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 56422 0 0 0 61 8 0 0 20 0 1 0 270181098 237236224 56320 33554432000 4194304 10219143 140734144128752 140734144124552 4424101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 57919 56320 474 1471 0 56439 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 231676
[startup+1.50026 s]
/proc/loadavg: 1.92 1.99 1.99 3/175 4844
/proc/meminfo: memFree=28149492/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=378764 CPUtime=1.49 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 92649 0 0 0 136 13 0 0 20 0 1 0 270181098 387854336 92547 33554432000 4194304 10219143 140734144128752 140734144124552 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 94691 92547 550 1471 0 93211 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 378764
[startup+3.10031 s]
/proc/loadavg: 1.92 1.99 1.99 3/175 4844
/proc/meminfo: memFree=28011232/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=533140 CPUtime=3.09 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 130988 0 0 0 290 19 0 0 20 0 1 0 270181098 545935360 130886 33554432000 4194304 10219143 140734144128752 140734144125752 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 133285 130886 560 1471 0 131805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 533140
[startup+6.30036 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 4844
/proc/meminfo: memFree=27771292/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=718420 CPUtime=6.29 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 175418 0 0 0 599 30 0 0 20 0 1 0 270181098 735662080 175316 33554432000 4194304 10219143 140734144128752 140734144125752 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 179605 175316 569 1471 0 178125 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 718420
[startup+12.7004 s]
/proc/loadavg: 1.94 1.99 1.99 3/175 4844
/proc/meminfo: memFree=27735604/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=748056 CPUtime=12.69 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 183340 0 0 0 1212 57 0 0 20 0 1 0 270181098 766009344 182643 33554432000 4194304 10219143 140734144128752 140734144125752 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 187014 182643 585 1471 0 185534 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 748056
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/175 4844
/proc/meminfo: memFree=27672276/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=770688 CPUtime=25.49 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 196145 0 0 0 2484 65 0 0 20 0 1 0 270181098 789184512 188608 33554432000 4194304 10219143 140734144128752 140734144125112 4819061 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 192672 188608 628 1471 0 191192 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 770688
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/175 4844
/proc/meminfo: memFree=27622520/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=788748 CPUtime=51.08 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 199821 0 0 0 5041 67 0 0 20 0 1 0 270181098 807677952 192284 33554432000 4194304 10219143 140734144128752 140734144125112 4819088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 197187 192284 628 1471 0 195707 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 788748
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/175 4844
/proc/meminfo: memFree=27512448/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=821956 CPUtime=102.28 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 207909 0 0 0 10155 73 0 0 20 0 1 0 270181098 841682944 200372 33554432000 4194304 10219143 140734144128752 140734144125128 4819088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 205489 200372 628 1471 0 204009 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 821956
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 4844
/proc/meminfo: memFree=27375580/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=865912 CPUtime=162.27 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 218844 0 0 0 16148 79 0 0 20 0 1 0 270181098 886693888 211307 33554432000 4194304 10219143 140734144128752 140734144125112 6191117 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 216478 211307 628 1471 0 214998 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 865912
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 4844
/proc/meminfo: memFree=27145732/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=924168 CPUtime=222.26 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 233743 0 0 0 22140 86 0 0 20 0 1 0 270181098 946348032 226206 33554432000 4194304 10219143 140734144128752 140734144125112 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 231042 226206 628 1471 0 229562 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 924168
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4848
/proc/meminfo: memFree=26962508/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=989692 CPUtime=282.25 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 249861 0 0 0 28132 93 0 0 20 0 1 0 270181098 1013444608 242324 33554432000 4194304 10219143 140734144128752 140734144125112 4819061 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 247423 242324 628 1471 0 245943 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 989692
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4871
/proc/meminfo: memFree=26768644/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1170036 CPUtime=342.23 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 286872 0 0 0 34114 109 0 0 20 0 1 0 270181098 1198116864 286032 33554432000 4194304 10219143 140734144128752 140734144124632 4819057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 292509 286032 706 1471 0 291029 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1170036
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4871
/proc/meminfo: memFree=26742544/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1170036 CPUtime=402.23 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 286873 0 0 0 40108 115 0 0 20 0 1 0 270181098 1198116864 286544 33554432000 4194304 10219143 140734144128752 140734144124632 4819088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 292509 286544 706 1471 0 291029 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1170036
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4871
/proc/meminfo: memFree=26650204/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1247556 CPUtime=462.22 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 300360 0 0 0 46100 122 0 0 20 0 1 0 270181098 1277497344 304787 33554432000 4194304 10219143 140734144128752 140734144121928 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 311889 304787 785 1471 0 310409 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1247556
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4871
/proc/meminfo: memFree=26639444/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1257952 CPUtime=522.21 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 303079 0 0 0 52094 127 0 0 20 0 1 0 270181098 1288142848 307467 33554432000 4194304 10219143 140734144128752 140734144121928 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 314488 307467 785 1471 0 313008 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1257952
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4872
/proc/meminfo: memFree=26625144/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269116 CPUtime=582.2 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 305057 0 0 0 58089 131 0 0 20 0 1 0 270181098 1299574784 310924 33554432000 4194304 10219143 140734144128752 140734144121928 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317279 310924 785 1471 0 315799 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1269116
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26623304/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269116 CPUtime=1062.13 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 305070 0 0 0 106053 160 0 0 20 0 1 0 270181098 1299574784 311246 33554432000 4194304 10219143 140734144128752 140734144121928 8031802 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317279 311246 785 1471 0 315799 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1269116
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4876
/proc/meminfo: memFree=26524288/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269116 CPUtime=1122.12 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 305071 0 0 0 112049 163 0 0 20 0 1 0 270181098 1299574784 312143 33554432000 4194304 10219143 140734144128752 140734144121928 8057244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317279 312143 785 1471 0 315799 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1269116
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/174 4876
/proc/meminfo: memFree=26511640/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1182.11 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306563 0 0 0 118044 167 0 0 20 0 1 0 270181098 1299730432 315734 33554432000 4194304 10219143 140734144128752 140734144120008 8056881 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 315734 800 1471 0 315837 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1269268
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 4877
/proc/meminfo: memFree=26505420/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1242.1 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306571 0 0 0 124038 172 0 0 20 0 1 0 270181098 1299730432 315784 33554432000 4194304 10219143 140734144128752 140734144120056 8067604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 315784 800 1471 0 315837 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1269268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4877
/proc/meminfo: memFree=26520416/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1302.09 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 130034 175 0 0 20 0 1 0 270181098 1299730432 315856 33554432000 4194304 10219143 140734144128752 140734144120056 8056492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 315856 800 1471 0 315837 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1269268
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4877
/proc/meminfo: memFree=26499160/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1362.07 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 136030 177 0 0 20 0 1 0 270181098 1299730432 315863 33554432000 4194304 10219143 140734144128752 140734144119880 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 315863 800 1471 0 315837 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1269268
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4877
/proc/meminfo: memFree=26528660/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1422.07 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 142026 181 0 0 20 0 1 0 270181098 1299730432 315864 33554432000 4194304 10219143 140734144128752 140734144119880 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 315864 800 1471 0 315837 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1269268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4880
/proc/meminfo: memFree=26530372/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1482.06 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 148022 184 0 0 20 0 1 0 270181098 1299730432 315869 33554432000 4194304 10219143 140734144128752 140734144119880 8067415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 315869 800 1471 0 315837 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1269268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4881
/proc/meminfo: memFree=26525552/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1542.05 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 154017 188 0 0 20 0 1 0 270181098 1299730432 316043 33554432000 4194304 10219143 140734144128752 140734144120056 8067175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 316043 800 1471 0 315837 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1269268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4881
/proc/meminfo: memFree=26520632/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1602.03 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 160012 191 0 0 20 0 1 0 270181098 1299730432 316064 33554432000 4194304 10219143 140734144128752 140734144120008 8051376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 316064 800 1471 0 315837 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1269268
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 4881
/proc/meminfo: memFree=26527372/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1662.02 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 166007 195 0 0 20 0 1 0 270181098 1299730432 316064 33554432000 4194304 10219143 140734144128752 140734144120056 8056250 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 316064 800 1471 0 315837 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1269268
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 4919
/proc/meminfo: memFree=27382032/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1722.02 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 172002 200 0 0 20 0 1 0 270181098 1299730432 316064 33554432000 4194304 10219143 140734144128752 140734144120056 8029249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 316064 800 1471 0 315837 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1269268
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4919
/proc/meminfo: memFree=27326728/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1782.01 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 177998 203 0 0 20 0 1 0 270181098 1299730432 316064 33554432000 4194304 10219143 140734144128752 140734144119880 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 316064 800 1471 0 315837 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1269268
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4919
/proc/meminfo: memFree=27310980/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1785.2 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 178317 203 0 0 20 0 1 0 270181098 1299730432 316064 33554432000 4194304 10219143 140734144128752 140734144119880 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 316064 800 1471 0 315837 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 1269268
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 4919
/proc/meminfo: memFree=27294364/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1791.61 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 178957 204 0 0 20 0 1 0 270181098 1299730432 316064 33554432000 4194304 10219143 140734144128752 140734144119880 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 316064 800 1471 0 315837 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 1269268
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 4919
/proc/meminfo: memFree=27293380/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1794.81 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 179277 204 0 0 20 0 1 0 270181098 1299730432 316064 33554432000 4194304 10219143 140734144128752 140734144119880 8067340 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 316064 800 1471 0 315837 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 1269268
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 4919
/proc/meminfo: memFree=27293380/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1269268 CPUtime=1796.4 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306577 0 0 0 179436 204 0 0 20 0 1 0 270181098 1299730432 316064 33554432000 4194304 10219143 140734144128752 140734144119880 8051432 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 317317 316064 800 1471 0 315837 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 1269268
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 4919
/proc/meminfo: memFree=27293256/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=1264328 CPUtime=1797.2 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306591 0 0 0 179516 204 0 0 20 0 1 0 270181098 1294671872 314843 33554432000 4194304 10219143 140734144128752 140734144119880 4994048 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 316082 314843 814 1471 0 314602 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 1264328
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 4919
/proc/meminfo: memFree=27293256/32873852 swapFree=7616/7616
[pid=4843] ppid=4841 vsize=648100 CPUtime=1797.61 cores=1,3,5,7
/proc/4843/stat : 4843 (scip-2.1.1.4exp) R 4841 4843 403 0 -1 4202496 306602 0 0 0 179550 211 0 0 20 0 1 0 270181098 663654400 161237 33554432000 4194304 10219143 140734144128752 140734144128008 9036791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4843/statm: 161962 160981 825 1471 0 160482 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 648100
Child status: 0
Real time (s): 1797.91
CPU time (s): 1797.63
CPU user time (s): 1795.51
CPU system time (s): 2.12368
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 1269268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.51
system time used= 2.12368
maximum resident set size= 1264304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306604
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= 19
involuntary context switches= 1856
runsolver used 2.76558 second user time and 7.09892 second system time
The end