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: a3bf3a4-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-3693616-1338040666.opb>
0.49/0.50 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192750 constraints
0.49/0.50 c problem read in 0.50
1.09/1.19 c presolving:
6.09/6.18 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
8.59/8.62 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
9.39/9.44 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
9.90/9.96 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
10.29/10.33 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
10.49/10.57 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
10.68/10.73 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
10.79/10.83 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
10.89/10.91 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
10.89/10.98 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
10.99/11.06 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.09/11.13 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
11.19/11.20 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
11.19/11.25 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
11.78/11.85 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
12.29/12.39 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
235.34/235.49 c (235.5s) probing: 1000/39552 (2.5%) - 0 fixings, 0 aggregations, 6149905 implications, 0 bound changes
235.73/235.80 c (235.8s) probing: 1001/39552 (2.5%) - 0 fixings, 0 aggregations, 6154498 implications, 0 bound changes
235.73/235.80 c (235.8s) probing aborted: 1000/1000 successive useless probings
235.73/235.80 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
236.33/236.45 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
236.93/237.04 c presolving (19 rounds):
236.93/237.04 c 15230 deleted vars, 136472 deleted constraints, 35712 added constraints, 11996 tightened bounds, 0 added holes, 94 changed sides, 338 changed coefficients
236.93/237.04 c 25372666 implications, 20528 cliques
236.93/237.04 c presolved problem has 39552 variables (39552 bin, 0 int, 0 impl, 0 cont) and 91990 constraints
236.93/237.04 c 1159 constraints of type <knapsack>
236.93/237.04 c 90062 constraints of type <setppc>
236.93/237.04 c 763 constraints of type <and>
236.93/237.04 c 6 constraints of type <logicor>
236.93/237.04 c transformed objective value is always integral (scale: 1)
236.93/237.04 c Presolving Time: 236.35
236.93/237.04 c - non default parameters ----------------------------------------------------------------------
236.93/237.04 c # SCIP version 2.1.1.4
236.93/237.04 c
236.93/237.04 c # maximal time in seconds to run
236.93/237.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
236.93/237.04 c limits/time = 1797
236.93/237.04 c
236.93/237.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
236.93/237.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
236.93/237.04 c limits/memory = 13950
236.93/237.04 c
236.93/237.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
236.93/237.04 c # [type: int, range: [1,2], default: 1]
236.93/237.04 c timing/clocktype = 2
236.93/237.04 c
236.93/237.04 c # belongs reading time to solving time?
236.93/237.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
236.93/237.04 c timing/reading = TRUE
236.93/237.04 c
236.93/237.04 c -----------------------------------------------------------------------------------------------
236.93/237.04 c start solving
237.23/237.35 c
933.30/933.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.30/933.52 c 934s| 1 | 0 | 98396 | - | 886M| 0 |7007 | 39k| 91k| 39k| 92k| 0 | 15 | 0 | 1.148304e+02 | -- | Inf
1796.77/1797.13 c (node 1) unresolved numerical troubles in LP 4 -- using pseudo solution instead (loop 1)
1796.77/1797.13 c (node 1) LP solver hit time limit in LP 4 -- using pseudo solution instead
1796.77/1797.18 c 1797s| 1 | 2 |216577 | - | 891M| 0 | - | 39k| 91k| 39k| 92k| 0 | 15 | 0 | 1.148304e+02 | -- | Inf
1796.77/1797.18 c
1796.77/1797.18 c SCIP Status : solving was interrupted [time limit reached]
1796.77/1797.18 c Solving Time (sec) : 1797.17
1796.77/1797.18 c Solving Nodes : 1
1796.77/1797.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.77/1797.18 c Dual Bound : +1.14830442036107e+02
1796.77/1797.18 c Gap : infinite
1796.77/1797.18 s UNKNOWN
1796.77/1797.18 c SCIP Status : solving was interrupted [time limit reached]
1796.77/1797.18 c Total Time : 1797.17
1796.77/1797.18 c solving : 1797.17
1796.77/1797.18 c presolving : 236.35 (included in solving)
1796.77/1797.18 c reading : 0.50 (included in solving)
1796.77/1797.18 c copying : 0.00 (0 times copied the problem)
1796.77/1797.18 c Original Problem :
1796.77/1797.18 c Problem name : HOME/instance-3693616-1338040666.opb
1796.77/1797.18 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.77/1797.18 c Constraints : 192750 initial, 192750 maximal
1796.77/1797.18 c Objective sense : minimize
1796.77/1797.18 c Presolved Problem :
1796.77/1797.18 c Problem name : t_HOME/instance-3693616-1338040666.opb
1796.77/1797.18 c Variables : 39552 (39552 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.77/1797.18 c Constraints : 91990 initial, 92005 maximal
1796.77/1797.18 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.77/1797.18 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.18 c trivial : 0.05 0.00 776 0 0 0 0 0 0 0 0
1796.77/1797.18 c dualfix : 0.06 0.00 92 0 0 0 0 0 0 0 0
1796.77/1797.18 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.18 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.18 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.18 c gateextraction : 0.27 0.00 0 0 0 0 0 61241 19535 0 0
1796.77/1797.18 c implics : 0.51 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.18 c components : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.18 c pseudoobj : 0.00 0.28 0 0 0 0 0 0 0 0 0
1796.77/1797.18 c probing : 222.90 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.18 c knapsack : 0.95 0.00 0 0 0 0 0 0 41 58 281
1796.77/1797.18 c setppc : 0.43 0.00 0 0 0 0 0 19 0 0 0
1796.77/1797.18 c and : 0.29 0.00 0 0 0 0 0 16136 16136 0 0
1796.77/1797.18 c linear : 10.04 0.00 11220 3142 0 11996 0 59076 0 36 57
1796.77/1797.18 c logicor : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.77/1797.18 c root node : - - 2 - - 2 - - - - -
1796.77/1797.18 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.77/1797.18 c integral : 0 0 0 0 0 0 4 0 0 0 0 0 0
1796.77/1797.18 c knapsack : 1159 1159 0 66349 0 1 3 2 1 0 0 0 0
1796.77/1797.18 c setppc : 90062 90062 0 66348 0 1 1 317 4 1 0 0 0
1796.77/1797.18 c and : 763 763 0 66344 0 1 0 10 0 0 0 0 0
1796.77/1797.18 c logicor : 6+ 21 0 24 0 1 0 9 10 1 0 0 0
1796.77/1797.18 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.77/1797.18 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.77/1797.18 c integral : 0.01 0.00 0.00 0.00 0.00 0.00 0.01 0.00
1796.77/1797.18 c knapsack : 3.55 0.00 0.00 3.55 0.00 0.00 0.00 0.00
1796.77/1797.18 c setppc : 207.19 0.00 0.00 207.16 0.00 0.04 0.00 0.00
1796.77/1797.18 c and : 40.19 0.00 0.00 40.19 0.00 0.00 0.00 0.00
1796.77/1797.18 c logicor : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.77/1797.18 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.77/1797.18 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.77/1797.18 c rootredcost : 0 0 0 0
1796.77/1797.18 c pseudoobj : 14661 0 0 0
1796.77/1797.18 c vbounds : 0 0 0 0
1796.77/1797.18 c redcost : 1 0 0 0
1796.77/1797.18 c probing : 0 0 0 0
1796.77/1797.18 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.77/1797.18 c rootredcost : 0.03 0.00 0.00 0.03 0.00
1796.77/1797.18 c pseudoobj : 0.34 0.28 0.00 0.06 0.00
1796.77/1797.18 c vbounds : 0.04 0.01 0.00 0.03 0.00
1796.77/1797.18 c redcost : 0.02 0.00 0.00 0.02 0.00
1796.77/1797.18 c probing : 222.90 0.00 222.90 0.00 0.00
1796.77/1797.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.77/1797.18 c propagation : 0.00 15 15 15 102.2 0 0.0 -
1796.77/1797.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.77/1797.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.77/1797.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.77/1797.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.77/1797.18 c applied globally : - - - 15 102.2 - - -
1796.77/1797.18 c applied locally : - - - 0 0.0 - - -
1796.77/1797.18 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.77/1797.18 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.77/1797.18 c clique : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c closecuts : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c cgmip : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c cmir : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c flowcover : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c gomory : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c impliedbounds : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c intobj : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c mcf : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c strongcg : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.77/1797.18 c Pricers : ExecTime SetupTime Calls Vars
1796.77/1797.18 c problem variables: 0.00 - 0 0
1796.77/1797.18 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.77/1797.18 c relpscost : 0.00 0.00 0 0 0 0 0 0
1796.77/1797.18 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.77/1797.18 c inference : 0.01 0.00 1 0 0 0 0 2
1796.77/1797.18 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.77/1797.18 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.77/1797.18 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.77/1797.18 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.77/1797.18 c random : 0.00 0.00 0 0 0 0 0 0
1796.77/1797.18 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.77/1797.18 c LP solutions : 0.00 - - 0
1796.77/1797.18 c pseudo solutions : 0.00 - - 0
1796.77/1797.18 c oneopt : 0.00 0.00 0 0
1796.77/1797.18 c smallcard : 0.00 0.00 0 0
1796.77/1797.18 c trivial : 0.05 0.00 2 0
1796.77/1797.18 c shiftandpropagate: 66.57 0.00 1 0
1796.77/1797.18 c simplerounding : 0.00 0.00 0 0
1796.77/1797.18 c zirounding : 0.00 0.00 0 0
1796.77/1797.18 c rounding : 0.01 0.00 1 0
1796.77/1797.18 c shifting : 0.06 0.00 1 0
1796.77/1797.18 c intshifting : 0.00 0.00 0 0
1796.77/1797.18 c twoopt : 0.00 0.00 0 0
1796.77/1797.18 c indtwoopt : 0.00 0.00 0 0
1796.77/1797.18 c indoneopt : 0.00 0.00 0 0
1796.77/1797.18 c fixandinfer : 0.00 0.00 0 0
1796.77/1797.18 c feaspump : 863.54 0.00 1 0
1796.77/1797.18 c clique : 0.00 0.00 0 0
1796.77/1797.18 c indrounding : 0.00 0.00 0 0
1796.77/1797.18 c indcoefdiving : 0.00 0.00 0 0
1796.77/1797.18 c coefdiving : 0.00 0.00 0 0
1796.77/1797.18 c pscostdiving : 0.00 0.00 0 0
1796.77/1797.18 c nlpdiving : 0.00 0.00 0 0
1796.77/1797.18 c fracdiving : 0.00 0.00 0 0
1796.77/1797.18 c veclendiving : 0.00 0.00 0 0
1796.77/1797.18 c intdiving : 0.00 0.00 0 0
1796.77/1797.18 c actconsdiving : 0.00 0.00 0 0
1796.77/1797.18 c objpscostdiving : 0.00 0.00 0 0
1796.77/1797.18 c rootsoldiving : 0.00 0.00 0 0
1796.77/1797.18 c linesearchdiving : 0.00 0.00 0 0
1796.77/1797.18 c guideddiving : 0.00 0.00 0 0
1796.77/1797.18 c octane : 0.00 0.00 0 0
1796.77/1797.18 c rens : 0.00 0.00 0 0
1796.77/1797.18 c rins : 0.00 0.00 0 0
1796.77/1797.18 c localbranching : 0.00 0.00 0 0
1796.77/1797.18 c mutation : 0.00 0.00 0 0
1796.77/1797.18 c crossover : 0.00 0.00 0 0
1796.77/1797.18 c dins : 0.00 0.00 0 0
1796.77/1797.18 c vbounds : 0.00 0.00 0 0
1796.77/1797.18 c undercover : 0.00 0.00 0 0
1796.77/1797.18 c subnlp : 0.00 0.00 0 0
1796.77/1797.18 c trysol : 0.00 0.00 0 0
1796.77/1797.18 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.77/1797.18 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.77/1797.18 c dual LP : 629.54 1 98396 98396.00 156.30 0.00 0
1796.77/1797.18 c lex dual LP : 0.00 0 0 0.00 -
1796.77/1797.18 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.77/1797.18 c diving/probing LP: 863.43 3 118181 39393.67 136.87
1796.77/1797.18 c strong branching : 0.00 0 0 0.00 -
1796.77/1797.18 c (at root node) : - 0 0 0.00 -
1796.77/1797.18 c conflict analysis: 0.00 0 0 0.00 -
1796.77/1797.18 c B&B Tree :
1796.77/1797.18 c number of runs : 1
1796.77/1797.18 c nodes : 1
1796.77/1797.18 c nodes (total) : 1
1796.77/1797.18 c nodes left : 2
1796.77/1797.18 c max depth : 0
1796.77/1797.18 c max depth (total): 0
1796.77/1797.18 c backtracks : 0 (0.0%)
1796.77/1797.18 c delayed cutoffs : 0
1796.77/1797.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.77/1797.18 c avg switch length: 1.00
1796.77/1797.18 c switching time : 0.00
1796.77/1797.18 c Solution :
1796.77/1797.18 c Solutions found : 0 (0 improvements)
1796.77/1797.18 c Primal Bound : -
1796.77/1797.18 c Dual Bound : +1.14830442036107e+02
1796.77/1797.18 c Gap : infinite
1796.77/1797.18 c Root Dual Bound : +1.14830442036107e+02
1796.77/1797.18 c Root Iterations : 216577
1797.47/1797.86 c Time complete: 1797.53.
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-3693616-1338040666/watcher-3693616-1338040666 -o /tmp/evaluation-result-3693616-1338040666/solver-3693616-1338040666 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693616-1338040666.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.01 2.01 2.00 3/176 2765
/proc/meminfo: memFree=27288424/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=10660 CPUtime=0 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 1401 0 0 0 0 0 0 0 20 0 1 0 270193478 10915840 1355 33554432000 4194304 10169799 140736483822192 140736469364056 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 2665 1355 412 1459 0 1197 0
[startup+0.0792261 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2765
/proc/meminfo: memFree=27288424/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=37132 CPUtime=0.07 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 8073 0 0 0 6 1 0 0 20 0 1 0 270193478 38023168 8000 33554432000 4194304 10169799 140736483822192 140736469364056 5477139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 9283 8000 412 1459 0 7815 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37132
[startup+0.100329 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2765
/proc/meminfo: memFree=27288424/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=41320 CPUtime=0.09 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 9110 0 0 0 8 1 0 0 20 0 1 0 270193478 42311680 9037 33554432000 4194304 10169799 140736483822192 140736469364056 8779520 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 10330 9037 412 1459 0 8862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41320
[startup+0.300276 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2765
/proc/meminfo: memFree=27288424/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=71588 CPUtime=0.29 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 16663 0 0 0 27 2 0 0 20 0 1 0 270193478 73306112 16590 33554432000 4194304 10169799 140736483822192 140736469364056 5471578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 17897 16590 412 1459 0 16429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71588
[startup+0.700292 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 2765
/proc/meminfo: memFree=27288424/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=219040 CPUtime=0.68 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 53444 0 0 0 62 6 0 0 20 0 1 0 270193478 224296960 53356 33554432000 4194304 10169799 140736483822192 140736469364056 5899312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 54760 53356 463 1459 0 53292 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 219040
[startup+1.50029 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2766
/proc/meminfo: memFree=26983368/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=363124 CPUtime=1.48 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 97284 0 0 0 136 12 0 0 20 0 1 0 270193478 371838976 88635 33554432000 4194304 10169799 140736483822192 140736483819160 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 90781 88635 545 1459 0 89313 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 363124
[startup+3.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2766
/proc/meminfo: memFree=26860700/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=527648 CPUtime=3.09 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 138133 0 0 0 289 20 0 0 20 0 1 0 270193478 540311552 129484 33554432000 4194304 10169799 140736483822192 140736483820344 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 131912 129484 557 1459 0 130444 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 527648
[startup+6.3003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2766
/proc/meminfo: memFree=26613364/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=713208 CPUtime=6.29 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 184192 0 0 0 594 35 0 0 20 0 1 0 270193478 730324992 173996 33554432000 4194304 10169799 140736483822192 140736483820344 7433752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 178302 173996 565 1459 0 176834 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 713208
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2766
/proc/meminfo: memFree=26570608/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=752676 CPUtime=12.68 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 202217 0 0 0 1196 72 0 0 20 0 1 0 270193478 770740224 183721 33554432000 4194304 10169799 140736483822192 140736483820232 5281670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 188169 183721 602 1459 0 186701 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 752676
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2766
/proc/meminfo: memFree=26542608/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=767556 CPUtime=25.48 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 205725 0 0 0 2474 74 0 0 20 0 1 0 270193478 785977344 187213 33554432000 4194304 10169799 140736483822192 140736483819704 4777712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 191889 187213 625 1459 0 190421 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 767556
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2766
/proc/meminfo: memFree=26522204/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=787044 CPUtime=51.08 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 210705 0 0 0 5030 78 0 0 20 0 1 0 270193478 805933056 192061 33554432000 4194304 10169799 140736483822192 140736483819704 4778059 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 196761 192061 625 1459 0 195293 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 787044
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2767
/proc/meminfo: memFree=26470868/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=840844 CPUtime=102.28 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 223623 0 0 0 10142 86 0 0 20 0 1 0 270193478 861024256 204781 33554432000 4194304 10169799 140736483822192 140736483819704 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 210211 204781 625 1459 0 208743 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 840844
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2808
/proc/meminfo: memFree=26771492/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=922992 CPUtime=162.26 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 244329 0 0 0 16131 95 0 0 20 0 1 0 270193478 945143808 225454 33554432000 4194304 10169799 140736483822192 140736483819704 4777685 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 230748 225454 625 1459 0 229280 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 922992
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2831
/proc/meminfo: memFree=26450984/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1017816 CPUtime=222.24 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 267949 0 0 0 22119 105 0 0 20 0 1 0 270193478 1042243584 249287 33554432000 4194304 10169799 140736483822192 140736483819720 4777685 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 254454 249287 625 1459 0 252986 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1017816
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2869
/proc/meminfo: memFree=26330824/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1159204 CPUtime=282.22 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 295379 0 0 0 28100 122 0 0 20 0 1 0 270193478 1187024896 283211 33554432000 4194304 10169799 140736483822192 140736483819224 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 289801 283211 705 1459 0 288333 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1159204
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2907
/proc/meminfo: memFree=25061624/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1237752 CPUtime=342.2 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 309201 0 0 0 34089 131 0 0 20 0 1 0 270193478 1267458048 302868 33554432000 4194304 10169799 140736483822192 140736483816520 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 309438 302868 791 1459 0 307970 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1237752
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2908
/proc/meminfo: memFree=23775852/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1251020 CPUtime=402.19 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 312369 0 0 0 40082 137 0 0 20 0 1 0 270193478 1281044480 307384 33554432000 4194304 10169799 140736483822192 140736483816968 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 312755 307384 791 1459 0 311287 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1251020
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2909
/proc/meminfo: memFree=23769504/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=462.19 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316566 0 0 0 46076 143 0 0 20 0 1 0 270193478 1297084416 314425 33554432000 4194304 10169799 140736483822192 140736483815864 8010566 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 314425 791 1459 0 315203 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1266684
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2909
/proc/meminfo: memFree=23765592/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=522.16 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316577 0 0 0 52070 146 0 0 20 0 1 0 270193478 1297084416 314940 33554432000 4194304 10169799 140736483822192 140736483816520 8004333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 314940 791 1459 0 315203 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1266684
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2909
/proc/meminfo: memFree=23764108/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=582.15 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316585 0 0 0 58064 151 0 0 20 0 1 0 270193478 1297084416 315273 33554432000 4194304 10169799 140736483822192 140736483816520 8009548 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315273 791 1459 0 315203 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1266684
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23682296/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1122.07 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 112016 191 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814648 8009536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 1266684
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2914
/proc/meminfo: memFree=23681288/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1182.06 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 118011 195 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814472 8004697 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 1266684
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2914
/proc/meminfo: memFree=23683364/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1242.05 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 124007 198 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814472 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1266684
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2914
/proc/meminfo: memFree=23772988/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1302.05 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 130001 204 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814648 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1266684
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2918
/proc/meminfo: memFree=23766692/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1362.03 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 135997 206 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814648 8009442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1266684
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2918
/proc/meminfo: memFree=23766744/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1422.03 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 141993 210 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814648 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1266684
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2918
/proc/meminfo: memFree=23766728/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1482.01 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 147985 216 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814600 8020335 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1266684
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2918
/proc/meminfo: memFree=23761588/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1542.01 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 153980 221 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814472 8004368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1266684
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2918
/proc/meminfo: memFree=23760936/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1601.99 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 159975 224 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814648 8020655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1266684
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2919
/proc/meminfo: memFree=23760860/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1661.99 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 165970 229 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814472 7982285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1266684
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2919
/proc/meminfo: memFree=23760732/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1721.98 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 171964 234 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483813768 8009536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1266684
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2919
/proc/meminfo: memFree=23620340/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1781.97 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 177959 238 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814472 8004448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1266684
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2919
/proc/meminfo: memFree=23619472/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1785.17 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 178279 238 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814472 8044389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 1266684
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2919
/proc/meminfo: memFree=23619712/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1791.58 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 178919 239 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814648 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 1266684
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2919
/proc/meminfo: memFree=23618344/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1794.78 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 179239 239 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814600 8004328 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 1266684
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2919
/proc/meminfo: memFree=23620144/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1266684 CPUtime=1796.37 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316750 0 0 0 179398 239 0 0 20 0 1 0 270193478 1297084416 315695 33554432000 4194304 10169799 140736483822192 140736483814600 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 316671 315695 804 1459 0 315203 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 1266684
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2919
/proc/meminfo: memFree=23620080/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1256400 CPUtime=1797.17 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316765 0 0 0 179478 239 0 0 20 0 1 0 270193478 1286553600 313140 33554432000 4194304 10169799 140736483822192 140736483814472 4783915 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 314100 313140 819 1459 0 312632 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 1256400
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2919
/proc/meminfo: memFree=23620080/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1246516 CPUtime=1797.36 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316765 0 0 0 179497 239 0 0 20 0 1 0 270193478 1276432384 310673 33554432000 4194304 10169799 140736483822192 140736483814472 5882896 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 311629 310673 819 1459 0 310161 0
Current children cumulated CPU time (s) 1797.36
Current children cumulated vsize (KiB) 1246516
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2919
/proc/meminfo: memFree=23620080/32873648 swapFree=6848/6848
[pid=2765] ppid=2763 vsize=1063324 CPUtime=1797.47 cores=1,3,5,7
/proc/2765/stat : 2765 (scip-2.1.1.4sfi) R 2763 2765 911 0 -1 4202496 316766 0 0 0 179505 242 0 0 20 0 1 0 270193478 1088843776 264967 33554432000 4194304 10169799 140736483822192 140736483814472 7542233 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2765/statm: 265831 264967 820 1459 0 264363 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 1063324
Child status: 0
Real time (s): 1797.87
CPU time (s): 1797.54
CPU user time (s): 1795.09
CPU system time (s): 2.45763
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 1274076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.09
system time used= 2.45763
maximum resident set size= 1262836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316779
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= 56
involuntary context switches= 1843
runsolver used 2.6446 second user time and 7.2059 second system time
The end