0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3489782-1307791593.opb>
0.68/0.71 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129193 constraints
0.68/0.71 c problem read
0.68/0.71 c presolving settings loaded
0.89/0.95 c presolving:
4.99/5.06 c (round 1) 3108 del vars, 8600 del conss, 0 add conss, 2395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8745018 impls, 0 clqs
6.19/6.21 c (round 2) 5735 del vars, 20722 del conss, 0 add conss, 4855 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8761421 impls, 0 clqs
6.49/6.60 c (round 3) 6966 del vars, 26002 del conss, 0 add conss, 5647 chg bounds, 17 chg sides, 15 chg coeffs, 0 upgd conss, 8770387 impls, 0 clqs
6.79/6.85 c (round 4) 7588 del vars, 28674 del conss, 0 add conss, 6122 chg bounds, 43 chg sides, 41 chg coeffs, 0 upgd conss, 8774269 impls, 0 clqs
6.99/7.00 c (round 5) 7995 del vars, 30378 del conss, 0 add conss, 6391 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8776647 impls, 0 clqs
6.99/7.08 c (round 6) 8167 del vars, 31249 del conss, 0 add conss, 6487 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8777988 impls, 0 clqs
7.09/7.13 c (round 7) 8241 del vars, 31649 del conss, 0 add conss, 6526 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8778566 impls, 0 clqs
7.09/7.17 c (round 8) 8277 del vars, 31803 del conss, 0 add conss, 6547 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779010 impls, 0 clqs
7.19/7.21 c (round 9) 8309 del vars, 31924 del conss, 0 add conss, 6565 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779250 impls, 0 clqs
7.19/7.24 c (round 10) 8321 del vars, 32006 del conss, 0 add conss, 6571 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779286 impls, 0 clqs
7.19/7.27 c (round 11) 8321 del vars, 32028 del conss, 0 add conss, 6571 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779286 impls, 0 clqs
7.60/7.64 c (round 12) 8321 del vars, 32028 del conss, 0 add conss, 6571 chg bounds, 51 chg sides, 47 chg coeffs, 97165 upgd conss, 8779286 impls, 0 clqs
7.99/8.03 c (round 13) 8321 del vars, 32049 del conss, 38 add conss, 6571 chg bounds, 128 chg sides, 293 chg coeffs, 97165 upgd conss, 8779286 impls, 0 clqs
392.99/393.06 c (393.1s) probing: 1000/28401 (3.5%) - 0 fixings, 0 aggregations, 8343169 implications, 0 bound changes
675.09/675.13 c (675.1s) probing: 2000/28401 (7.0%) - 0 fixings, 0 aggregations, 14232781 implications, 0 bound changes
675.29/675.37 c (675.4s) probing: 2001/28401 (7.0%) - 0 fixings, 0 aggregations, 14236376 implications, 0 bound changes
675.29/675.37 c (675.4s) probing aborted: 2000/2000 successive useless probings
675.29/675.37 c presolving (14 rounds):
675.29/675.37 c 8321 deleted vars, 32053 deleted constraints, 38 added constraints, 6571 tightened bounds, 0 added holes, 128 changed sides, 307 changed coefficients
675.29/675.37 c 55132436 implications, 0 cliques
675.29/675.37 c presolved problem has 28401 variables (28401 bin, 0 int, 0 impl, 0 cont) and 97178 constraints
675.29/675.37 c 1156 constraints of type <knapsack>
675.29/675.37 c 81980 constraints of type <setppc>
675.29/675.37 c 14042 constraints of type <logicor>
675.29/675.37 c transformed objective value is always integral (scale: 1)
675.29/675.37 c Presolving Time: 674.48
675.29/675.37 c - non default parameters ----------------------------------------------------------------------
675.29/675.37 c # SCIP version 2.0.1.5
675.29/675.37 c
675.29/675.37 c # frequency for displaying node information lines
675.29/675.37 c # [type: int, range: [-1,2147483647], default: 100]
675.29/675.37 c display/freq = 10000
675.29/675.37 c
675.29/675.37 c # maximal time in seconds to run
675.29/675.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
675.29/675.37 c limits/time = 1797
675.29/675.37 c
675.29/675.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
675.29/675.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
675.29/675.37 c limits/memory = 13950
675.29/675.37 c
675.29/675.37 c # default clock type (1: CPU user seconds, 2: wall clock time)
675.29/675.37 c # [type: int, range: [1,2], default: 1]
675.29/675.37 c timing/clocktype = 2
675.29/675.37 c
675.29/675.37 c # belongs reading time to solving time?
675.29/675.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
675.29/675.37 c timing/reading = TRUE
675.29/675.37 c
675.29/675.37 c # should presolving try to simplify inequalities
675.29/675.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
675.29/675.37 c constraints/linear/simplifyinequalities = TRUE
675.29/675.37 c
675.29/675.37 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
675.29/675.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
675.29/675.37 c constraints/indicator/addCouplingCons = TRUE
675.29/675.37 c
675.29/675.37 c # should presolving try to simplify knapsacks
675.29/675.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
675.29/675.37 c constraints/knapsack/simplifyinequalities = TRUE
675.29/675.37 c
675.29/675.37 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
675.29/675.37 c # [type: int, range: [-1,2147483647], default: -1]
675.29/675.37 c separating/rapidlearning/freq = 0
675.29/675.37 c
675.29/675.37 c -----------------------------------------------------------------------------------------------
675.29/675.37 c start solving
675.29/675.39 c
717.19/717.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.19/717.23 c 717s| 1 | 0 | 24333 | - |1625M| 0 | 432 | 28k| 97k| 28k| 97k| 0 | 17 | 0 | 7.800000e+01 | -- | Inf
1307.30/1307.32 c 1307s| 1 | 0 | 56774 | - |1628M| 0 | 726 | 28k| 97k| 28k| 97k| 42 | 17 | 0 | 7.800000e+01 | -- | Inf
1348.20/1348.21 c 1348s| 1 | 0 | 62581 | - |1629M| 0 | 905 | 28k| 97k| 28k| 97k| 86 | 17 | 0 | 7.800000e+01 | -- | Inf
1372.51/1372.54 c 1373s| 1 | 0 | 67993 | - |1629M| 0 |1031 | 28k| 97k| 28k| 97k| 121 | 17 | 0 | 7.800000e+01 | -- | Inf
1398.01/1398.01 c 1398s| 1 | 0 | 73355 | - |1631M| 0 |1060 | 28k| 97k| 28k| 97k| 154 | 17 | 0 | 7.800000e+01 | -- | Inf
1427.90/1427.91 c 1428s| 1 | 0 | 80724 | - |1631M| 0 |1133 | 28k| 97k| 28k| 97k| 186 | 17 | 0 | 7.800000e+01 | -- | Inf
1468.90/1468.97 c 1469s| 1 | 0 | 83385 | - |1631M| 0 |1209 | 28k| 97k| 28k| 97k| 204 | 17 | 0 | 7.800000e+01 | -- | Inf
1555.11/1555.13 c 1555s| 1 | 2 | 83385 | - |1631M| 0 |1209 | 28k| 97k| 28k| 97k| 204 | 17 | 34 | 7.800000e+01 | -- | Inf
1798.42/1798.41 c
1798.42/1798.41 c SCIP Status : solving was interrupted [time limit reached]
1798.42/1798.41 c Solving Time (sec) : 1798.41
1798.42/1798.41 c Solving Nodes : 4
1798.42/1798.41 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.42/1798.41 c Dual Bound : +7.80000000000000e+01
1798.42/1798.41 c Gap : infinite
1798.42/1798.41 s UNKNOWN
1798.42/1798.41 c SCIP Status : solving was interrupted [time limit reached]
1798.42/1798.41 c Total Time : 1798.41
1798.42/1798.41 c solving : 1798.41
1798.42/1798.41 c presolving : 674.48 (included in solving)
1798.42/1798.41 c reading : 0.71 (included in solving)
1798.42/1798.41 c Original Problem :
1798.42/1798.41 c Problem name : HOME/instance-3489782-1307791593.opb
1798.42/1798.41 c Variables : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.42/1798.41 c Constraints : 129193 initial, 129193 maximal
1798.42/1798.41 c Presolved Problem :
1798.42/1798.41 c Problem name : t_HOME/instance-3489782-1307791593.opb
1798.42/1798.41 c Variables : 28401 (28401 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.42/1798.41 c Constraints : 97178 initial, 97195 maximal
1798.42/1798.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1798.42/1798.41 c trivial : 0.02 445 0 0 0 0 0 0 0 0
1798.42/1798.41 c dualfix : 0.03 61 0 0 0 0 0 0 0 0
1798.42/1798.41 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1798.42/1798.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1798.42/1798.41 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1798.42/1798.41 c implics : 0.25 0 0 0 0 0 0 0 0 0
1798.42/1798.41 c probing : 667.21 0 0 0 0 0 0 0 0 0
1798.42/1798.41 c knapsack : 0.30 0 0 0 0 0 10 38 77 260
1798.42/1798.41 c setppc : 0.15 0 0 0 0 0 15 0 0 0
1798.42/1798.41 c linear : 6.32 6126 1689 0 6571 0 32028 0 51 47
1798.42/1798.41 c logicor : 0.04 0 0 0 0 0 0 0 0 0
1798.42/1798.41 c root node : - 0 - - 0 - - - - -
1798.42/1798.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1798.42/1798.41 c integral : 0 0 0 4 0 4 0 0 0 0 0 8
1798.42/1798.41 c knapsack : 1156 6 117436 0 0 3 25 1 0 315 0 0
1798.42/1798.41 c setppc : 81980 6 117434 0 0 1 145 1 5877 0 0 0
1798.42/1798.41 c logicor : 14042+ 6 106134 0 0 0 23 4 0 0 0 0
1798.42/1798.41 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1798.42/1798.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1798.42/1798.41 c integral : 309.42 0.00 0.00 309.42 0.00 0.00 0.00
1798.42/1798.41 c knapsack : 5.37 0.03 5.34 0.00 0.00 0.00 0.00
1798.42/1798.41 c setppc : 285.58 0.04 285.54 0.00 0.00 0.00 0.00
1798.42/1798.41 c logicor : 4.00 0.01 3.99 0.00 0.00 0.00 0.00
1798.42/1798.41 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.42/1798.41 c Propagators : #Propagate #Resprop Cutoffs DomReds
1798.42/1798.41 c vbounds : 0 0 0 0
1798.42/1798.41 c rootredcost : 0 0 0 0
1798.42/1798.41 c pseudoobj : 3576 0 0 0
1798.42/1798.41 c Propagator Timings : TotalTime Propagate Resprop
1798.42/1798.41 c vbounds : 0.04 0.04 0.00
1798.42/1798.41 c rootredcost : 0.02 0.02 0.00
1798.42/1798.41 c pseudoobj : 0.02 0.02 0.00
1798.42/1798.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.42/1798.41 c propagation : 0.00 6 6 23 10.1 0 0.0 -
1798.42/1798.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.42/1798.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.42/1798.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.42/1798.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.42/1798.41 c applied globally : - - - 17 9.4 - - -
1798.42/1798.41 c applied locally : - - - 0 0.0 - - -
1798.42/1798.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.42/1798.41 c cut pool : 0.00 5 - - 74 - (maximal pool size: 460)
1798.42/1798.41 c redcost : 0.01 9 0 0 0 0
1798.42/1798.41 c impliedbounds : 0.07 6 0 0 0 0
1798.42/1798.41 c intobj : 0.00 0 0 0 0 0
1798.42/1798.41 c gomory : 25.17 6 0 0 1551 0
1798.42/1798.41 c cgmip : 0.00 0 0 0 0 0
1798.42/1798.41 c closecuts : 0.00 0 0 0 0 0
1798.42/1798.41 c strongcg : 22.10 6 0 0 2272 0
1798.42/1798.41 c cmir : 10.96 6 0 0 0 0
1798.42/1798.41 c flowcover : 23.05 6 0 0 235 0
1798.42/1798.41 c clique : 530.28 6 0 0 32 0
1798.42/1798.41 c zerohalf : 0.00 0 0 0 0 0
1798.42/1798.41 c mcf : 47.90 3 0 0 10 0
1798.42/1798.41 c oddcycle : 0.00 0 0 0 0 0
1798.42/1798.41 c rapidlearning : 0.00 0 0 0 0 0
1798.42/1798.41 c Pricers : Time Calls Vars
1798.42/1798.41 c problem variables: 0.00 0 0
1798.42/1798.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.42/1798.41 c relpscost : 309.42 4 0 0 0 0 8
1798.42/1798.41 c pscost : 0.00 0 0 0 0 0 0
1798.42/1798.41 c inference : 0.00 0 0 0 0 0 0
1798.42/1798.41 c mostinf : 0.00 0 0 0 0 0 0
1798.42/1798.41 c leastinf : 0.00 0 0 0 0 0 0
1798.42/1798.41 c fullstrong : 0.00 0 0 0 0 0 0
1798.42/1798.41 c allfullstrong : 0.00 0 0 0 0 0 0
1798.42/1798.41 c random : 0.00 0 0 0 0 0 0
1798.42/1798.41 c Primal Heuristics : Time Calls Found
1798.42/1798.41 c LP solutions : 0.00 - 0
1798.42/1798.41 c pseudo solutions : 0.00 - 0
1798.42/1798.41 c oneopt : 0.00 0 0
1798.42/1798.41 c crossover : 0.00 0 0
1798.42/1798.41 c coefdiving : 0.00 0 0
1798.42/1798.41 c pscostdiving : 0.00 0 0
1798.42/1798.41 c fracdiving : 0.00 0 0
1798.42/1798.41 c trivial : 0.04 2 0
1798.42/1798.41 c shiftandpropagate: 1.62 1 0
1798.42/1798.41 c simplerounding : 0.00 0 0
1798.42/1798.41 c zirounding : 0.02 4 0
1798.42/1798.41 c rounding : 0.04 10 0
1798.42/1798.41 c shifting : 0.04 7 0
1798.42/1798.41 c intshifting : 0.00 0 0
1798.42/1798.41 c twoopt : 0.00 0 0
1798.42/1798.41 c fixandinfer : 0.00 0 0
1798.42/1798.41 c feaspump : 38.84 1 0
1798.42/1798.41 c clique : 0.00 0 0
1798.42/1798.41 c veclendiving : 0.00 0 0
1798.42/1798.41 c intdiving : 0.00 0 0
1798.42/1798.41 c actconsdiving : 0.00 0 0
1798.42/1798.41 c objpscostdiving : 0.00 0 0
1798.42/1798.41 c rootsoldiving : 0.00 0 0
1798.42/1798.41 c linesearchdiving : 0.00 0 0
1798.42/1798.41 c guideddiving : 0.00 0 0
1798.42/1798.41 c octane : 0.00 0 0
1798.42/1798.41 c rens : 1.61 1 0
1798.42/1798.41 c rins : 0.00 0 0
1798.42/1798.41 c localbranching : 0.00 0 0
1798.42/1798.41 c mutation : 0.00 0 0
1798.42/1798.41 c dins : 0.00 0 0
1798.42/1798.41 c vbounds : 0.00 0 0
1798.42/1798.41 c undercover : 0.00 0 0
1798.42/1798.41 c subnlp : 0.00 0 0
1798.42/1798.41 c trysol : 0.00 0 0
1798.42/1798.41 c LP : Time Calls Iterations Iter/call Iter/sec
1798.42/1798.41 c primal LP : 0.06 0 0 0.00 0.00
1798.42/1798.41 c dual LP : 111.39 10 63370 6337.00 568.92
1798.42/1798.41 c lex dual LP : 0.00 0 0 0.00 -
1798.42/1798.41 c barrier LP : 0.00 0 0 0.00 -
1798.42/1798.41 c diving/probing LP: 38.74 4 28456 7114.00 734.53
1798.42/1798.41 c strong branching : 309.40 127 126476 995.87 408.78
1798.42/1798.41 c (at root node) : - 34 34000 1000.00 -
1798.42/1798.41 c conflict analysis: 0.00 0 0 0.00 -
1798.42/1798.41 c B&B Tree :
1798.42/1798.41 c number of runs : 1
1798.42/1798.41 c nodes : 4
1798.42/1798.41 c nodes (total) : 4
1798.42/1798.41 c nodes left : 5
1798.42/1798.41 c max depth : 3
1798.42/1798.41 c max depth (total): 3
1798.42/1798.41 c backtracks : 0 (0.0%)
1798.42/1798.41 c delayed cutoffs : 0
1798.42/1798.41 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.42/1798.41 c avg switch length: 1.00
1798.42/1798.41 c switching time : 0.07
1798.42/1798.41 c Solution :
1798.42/1798.41 c Solutions found : 0 (0 improvements)
1798.42/1798.41 c Primal Bound : -
1798.42/1798.41 c Dual Bound : +7.80000000000000e+01
1798.42/1798.41 c Gap : infinite
1798.42/1798.41 c Root Dual Bound : +7.80000000000000e+01
1798.42/1798.41 c Root Iterations : 83385
1798.81/1798.85 c Time complete: 1798.87.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3489782-1307791593/watcher-3489782-1307791593 -o /tmp/evaluation-result-3489782-1307791593/solver-3489782-1307791593 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489782-1307791593.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 1.96 2/177 10148
/proc/meminfo: memFree=31635884/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=12564 CPUtime=0 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 2135 0 0 0 0 0 0 0 25 0 1 0 871575469 12865536 2089 33554432000 4194304 9016284 140734517172848 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10148/statm: 3174 2089 353 1178 0 1992 0
[startup+0.0552961 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 10148
/proc/meminfo: memFree=31635884/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=23336 CPUtime=0.05 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 4826 0 0 0 5 0 0 0 25 0 1 0 871575469 23896064 4780 33554432000 4194304 9016284 140734517172848 18446744073709551615 4447114 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10148/statm: 5834 4780 360 1178 0 4652 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23336
[startup+0.100278 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 10148
/proc/meminfo: memFree=31635884/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=32396 CPUtime=0.09 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 7099 0 0 0 9 0 0 0 25 0 1 0 871575469 33173504 7053 33554432000 4194304 9016284 140734517172848 18446744073709551615 4536486 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10148/statm: 8099 7053 360 1178 0 6917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32396
[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 10148
/proc/meminfo: memFree=31635884/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=48696 CPUtime=0.29 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 11161 0 0 0 28 1 0 0 25 0 1 0 871575469 49864704 11115 33554432000 4194304 9016284 140734517172848 18446744073709551615 6180568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10148/statm: 12174 11115 360 1178 0 10992 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48696
[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 10148
/proc/meminfo: memFree=31635884/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=87732 CPUtime=0.68 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 20919 0 0 0 66 2 0 0 25 0 1 0 871575469 89837568 20873 33554432000 4194304 9016284 140734517172848 18446744073709551615 7842364 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10148/statm: 21933 20873 360 1178 0 20751 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87732
[startup+1.50103 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10149
/proc/meminfo: memFree=31435784/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=269456 CPUtime=1.49 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 65738 0 0 0 142 7 0 0 25 0 1 0 871575469 275922944 65655 33554432000 4194304 9016284 140734517172848 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 67364 65655 485 1178 0 66182 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 269456
[startup+3.10076 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10149
/proc/meminfo: memFree=31325800/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=380764 CPUtime=3.09 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 93400 0 0 0 299 10 0 0 25 0 1 0 871575469 389902336 93317 33554432000 4194304 9016284 140734517172848 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 95191 93317 485 1178 0 94009 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 380764
[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10149
/proc/meminfo: memFree=31171452/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=480268 CPUtime=6.29 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 116921 0 0 0 617 12 0 0 25 0 1 0 871575469 491794432 116581 33554432000 4194304 9016284 140734517172848 18446744073709551615 6481247 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 120067 116581 496 1178 0 118885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 480268
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10150
/proc/meminfo: memFree=31087032/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=569656 CPUtime=12.69 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 145499 0 0 0 1254 15 0 0 25 0 1 0 871575469 583327744 137767 33554432000 4194304 9016284 140734517172848 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 142414 137767 545 1178 0 141232 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 569656
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10150
/proc/meminfo: memFree=31060660/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=600888 CPUtime=25.49 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 152880 0 0 0 2533 16 0 0 25 0 1 0 871575469 615309312 145115 33554432000 4194304 9016284 140734517172848 18446744073709551615 5510885 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 150222 145115 545 1178 0 149040 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 600888
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10151
/proc/meminfo: memFree=30982216/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=678172 CPUtime=51.09 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 171569 0 0 0 5090 19 0 0 25 0 1 0 871575469 694448128 163804 33554432000 4194304 9016284 140734517172848 18446744073709551615 6469490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 169543 163804 545 1178 0 168361 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 678172
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10152
/proc/meminfo: memFree=30794208/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=874400 CPUtime=102.3 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 220674 0 0 0 10205 25 0 0 25 0 1 0 871575469 895385600 212909 33554432000 4194304 9016284 140734517172848 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 218600 212909 545 1178 0 217418 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 874400
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10154
/proc/meminfo: memFree=30593284/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=1067164 CPUtime=162.29 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 268883 0 0 0 16200 29 0 0 25 0 1 0 871575469 1092775936 261118 33554432000 4194304 9016284 140734517172848 18446744073709551615 4916910 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 266791 261118 545 1178 0 265609 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1067164
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10155
/proc/meminfo: memFree=30394964/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=1261944 CPUtime=222.29 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 317872 0 0 0 22191 38 0 0 25 0 1 0 871575469 1292230656 310107 33554432000 4194304 9016284 140734517172848 18446744073709551615 4318897 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 315486 310107 545 1178 0 314304 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1261944
[startup+282.301 s]
/proc/loadavg: 2.06 2.02 1.97 3/178 10157
/proc/meminfo: memFree=30224792/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=1444024 CPUtime=282.29 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 362432 0 0 0 28185 44 0 0 25 0 1 0 871575469 1478680576 354667 33554432000 4194304 9016284 140734517172848 18446744073709551615 6480192 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 361006 354667 545 1178 0 359824 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1444024
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 10158
/proc/meminfo: memFree=30084896/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=1575984 CPUtime=342.29 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 395612 0 0 0 34181 48 0 0 25 0 1 0 871575469 1613807616 387847 33554432000 4194304 9016284 140734517172848 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 393996 387847 545 1178 0 392814 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1575984
[startup+402.301 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 10160
/proc/meminfo: memFree=29929864/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=1733360 CPUtime=402.29 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 434341 0 0 0 40176 53 0 0 25 0 1 0 871575469 1774960640 426576 33554432000 4194304 9016284 140734517172848 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/10148/statm: 433340 426576 550 1178 0 432158 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1733360
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10200
/proc/meminfo: memFree=29038824/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=1829360 CPUtime=462.3 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 458221 0 0 0 46173 57 0 0 25 0 1 0 871575469 1873264640 450456 33554432000 4194304 9016284 140734517172848 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 457340 450456 550 1178 0 456158 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1829360
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10201
/proc/meminfo: memFree=28850732/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=1934140 CPUtime=522.29 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 484578 0 0 0 52169 60 0 0 25 0 1 0 871575469 1980559360 476813 33554432000 4194304 9016284 140734517172848 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 483535 476813 550 1178 0 482353 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1934140
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10203
/proc/meminfo: memFree=28585040/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2031484 CPUtime=582.3 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 508723 0 0 0 58166 64 0 0 25 0 1 0 871575469 2080239616 500958 33554432000 4194304 9016284 140734517172848 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 507871 500958 550 1178 0 506689 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2031484
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27096408/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2366536 CPUtime=1122.3 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 602829 0 0 0 112134 96 0 0 25 0 1 0 871575469 2423332864 583598 33554432000 4194304 9016284 140734517172848 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 591634 583598 774 1178 0 590452 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 2366536
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10219
/proc/meminfo: memFree=27011172/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2366536 CPUtime=1182.3 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 602829 0 0 0 118134 96 0 0 25 0 1 0 871575469 2423332864 583598 33554432000 4194304 9016284 140734517172848 18446744073709551615 6231355 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 591634 583598 774 1178 0 590452 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 2366536
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 10220
/proc/meminfo: memFree=26886384/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2416896 CPUtime=1242.3 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 615585 0 0 0 124132 98 0 0 25 0 1 0 871575469 2474901504 596354 33554432000 4194304 9016284 140734517172848 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 604224 596354 774 1178 0 603042 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 2416896
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 10222
/proc/meminfo: memFree=26644184/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2595744 CPUtime=1302.3 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 655615 0 0 0 130128 102 0 0 25 0 1 0 871575469 2658041856 636319 33554432000 4194304 9016284 140734517172848 18446744073709551615 7082030 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 648936 636319 734 1178 0 647754 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 2595744
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 10224
/proc/meminfo: memFree=26539976/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2616400 CPUtime=1362.31 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 660141 0 0 0 136121 110 0 0 25 0 1 0 871575469 2679193600 640845 33554432000 4194304 9016284 140734517172848 18446744073709551615 6234984 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 654100 640845 2211 1178 0 652918 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 2616400
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10225
/proc/meminfo: memFree=26472732/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2617592 CPUtime=1422.31 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 675522 0 0 0 142112 119 0 0 25 0 1 0 871575469 2680414208 641217 33554432000 4194304 9016284 140734517172848 18446744073709551615 7178139 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 654398 641217 734 1178 0 653216 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 2617592
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10227
/proc/meminfo: memFree=26427056/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2609376 CPUtime=1482.31 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 715790 0 0 0 148096 135 0 0 25 0 1 0 871575469 2672001024 641144 33554432000 4194304 9016284 140734517172848 18446744073709551615 7156496 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 652344 641144 787 1178 0 651162 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 2609376
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10228
/proc/meminfo: memFree=26348408/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2609376 CPUtime=1542.3 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 715791 0 0 0 154085 145 0 0 25 0 1 0 871575469 2672001024 641145 33554432000 4194304 9016284 140734517172848 18446744073709551615 7180679 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 652344 641145 787 1178 0 651162 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 2609376
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10230
/proc/meminfo: memFree=26303984/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2609376 CPUtime=1602.31 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 715942 0 0 0 160074 157 0 0 25 0 1 0 871575469 2672001024 641259 33554432000 4194304 9016284 140734517172848 18446744073709551615 7157120 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 652344 641259 750 1178 0 651162 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 2609376
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 1.98 3/178 10232
/proc/meminfo: memFree=26258312/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2608616 CPUtime=1662.3 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 793039 0 0 0 166052 178 0 0 25 0 1 0 871575469 2671222784 639097 33554432000 4194304 9016284 140734517172848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 652154 639097 750 1178 0 650972 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 2608616
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 10233
/proc/meminfo: memFree=26189828/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2592512 CPUtime=1722.31 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 887411 0 0 0 172030 201 0 0 25 0 1 0 871575469 2654732288 636401 33554432000 4194304 9016284 140734517172848 18446744073709551615 7178142 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 648128 636401 750 1178 0 646946 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 2592512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10235
/proc/meminfo: memFree=26126044/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2616640 CPUtime=1782.31 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 943157 0 0 0 178013 218 0 0 25 0 1 0 871575469 2679439360 641081 33554432000 4194304 9016284 140734517172848 18446744073709551615 7180391 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 654160 641081 750 1178 0 652978 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 2616640
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10235
/proc/meminfo: memFree=26116984/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2608584 CPUtime=1791.92 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 956317 0 0 0 178971 221 0 0 25 0 1 0 871575469 2671190016 639050 33554432000 4194304 9016284 140734517172848 18446744073709551615 7178167 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 652146 639050 750 1178 0 650964 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 2608584
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10235
/proc/meminfo: memFree=26123556/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2598584 CPUtime=1795.12 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 959270 0 0 0 179290 222 0 0 25 0 1 0 871575469 2660950016 636893 33554432000 4194304 9016284 140734517172848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 649646 636893 750 1178 0 648464 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 2598584
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10235
/proc/meminfo: memFree=26113636/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2608588 CPUtime=1796.72 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 961479 0 0 0 179449 223 0 0 25 0 1 0 871575469 2671194112 639102 33554432000 4194304 9016284 140734517172848 18446744073709551615 7178120 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 652147 639102 750 1178 0 650965 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 2608588
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10235
/proc/meminfo: memFree=26113016/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2608588 CPUtime=1797.52 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 961479 0 0 0 179529 223 0 0 25 0 1 0 871575469 2671194112 639102 33554432000 4194304 9016284 140734517172848 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 652147 639102 750 1178 0 650965 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 2608588
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10235
/proc/meminfo: memFree=26113016/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2608588 CPUtime=1798.31 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 961479 0 0 0 179608 223 0 0 25 0 1 0 871575469 2671194112 639102 33554432000 4194304 9016284 140734517172848 18446744073709551615 7178171 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/10148/statm: 652147 639102 750 1178 0 650965 0
Current children cumulated CPU time (s) 1798.31
Current children cumulated vsize (KiB) 2608588
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10235
/proc/meminfo: memFree=26112520/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=2354612 CPUtime=1798.71 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 961480 0 0 0 179647 224 0 0 25 0 1 0 871575469 2411122688 578678 33554432000 4194304 9016284 140734517172848 18446744073709551615 6468367 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10148/statm: 588653 578678 751 1178 0 587471 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 2354612
[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 10235
/proc/meminfo: memFree=26112520/32951124 swapFree=67088052/67111528
[pid=10148] ppid=10146 vsize=1783660 CPUtime=1798.81 cores=1,3,5,7
/proc/10148/stat : 10148 (scip-2.0.1.4b_2) R 10146 10148 9011 0 -1 4202496 961480 0 0 0 179654 227 0 0 25 0 1 0 871575469 1826467840 383186 33554432000 4194304 9016284 140734517172848 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10148/statm: 445915 383186 738 1178 0 444733 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 1783660
Child status: 0
Real time (s): 1798.86
CPU time (s): 1798.88
CPU user time (s): 1796.55
CPU system time (s): 2.33365
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2730640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.55
system time used= 2.33364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 961485
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= 5
involuntary context switches= 6563
runsolver used 2.6516 second user time and 6.26905 second system time
The end