0.00/0.00 c SCIP version 2.0.1.4 [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-3486320-1307793299.opb>
1.19/1.23 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234284 constraints
1.19/1.23 c problem read
1.19/1.23 c presolving settings loaded
1.99/2.03 c presolving:
9.59/9.64 c (round 1) 4241 del vars, 13107 del conss, 0 add conss, 2837 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16116580 impls, 0 clqs
13.70/13.78 c (round 2) 11259 del vars, 36952 del conss, 0 add conss, 9511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16148865 impls, 0 clqs
14.90/14.95 c (round 3) 13579 del vars, 48084 del conss, 0 add conss, 10815 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 16161729 impls, 0 clqs
15.50/15.59 c (round 4) 14618 del vars, 52115 del conss, 0 add conss, 11453 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 16168041 impls, 0 clqs
15.90/15.94 c (round 5) 15210 del vars, 54407 del conss, 0 add conss, 11799 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 16172729 impls, 0 clqs
16.10/16.19 c (round 6) 15551 del vars, 55719 del conss, 0 add conss, 12008 chg bounds, 41 chg sides, 47 chg coeffs, 0 upgd conss, 16175276 impls, 0 clqs
16.30/16.34 c (round 7) 15706 del vars, 56418 del conss, 0 add conss, 12118 chg bounds, 58 chg sides, 61 chg coeffs, 0 upgd conss, 16175953 impls, 0 clqs
16.40/16.42 c (round 8) 15769 del vars, 56728 del conss, 0 add conss, 12151 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176149 impls, 0 clqs
16.40/16.48 c (round 9) 15779 del vars, 56805 del conss, 0 add conss, 12156 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176325 impls, 0 clqs
16.50/16.54 c (round 10) 15789 del vars, 56845 del conss, 0 add conss, 12161 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176513 impls, 0 clqs
16.60/16.60 c (round 11) 15795 del vars, 56873 del conss, 0 add conss, 12164 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176561 impls, 0 clqs
17.19/17.27 c (round 12) 15795 del vars, 56879 del conss, 0 add conss, 12164 chg bounds, 61 chg sides, 64 chg coeffs, 177405 upgd conss, 16176561 impls, 0 clqs
17.79/17.84 c (round 13) 15795 del vars, 56879 del conss, 14 add conss, 12164 chg bounds, 91 chg sides, 233 chg coeffs, 177405 upgd conss, 16176561 impls, 0 clqs
710.91/710.99 c (711.0s) probing: 1000/57047 (1.8%) - 0 fixings, 0 aggregations, 10028525 implications, 0 bound changes
1228.12/1228.17 c (1228.2s) probing: 2000/57047 (3.5%) - 0 fixings, 0 aggregations, 15002676 implications, 0 bound changes
1229.22/1229.20 c (1229.2s) probing: 2001/57047 (3.5%) - 0 fixings, 0 aggregations, 15022386 implications, 0 bound changes
1229.22/1229.20 c (1229.2s) probing aborted: 2000/2000 successive useless probings
1229.22/1229.21 c presolving (14 rounds):
1229.22/1229.21 c 15795 deleted vars, 56881 deleted constraints, 16 added constraints, 12164 tightened bounds, 0 added holes, 98 changed sides, 253 changed coefficients
1229.22/1229.21 c 70588861 implications, 0 cliques
1229.22/1229.21 c presolved problem has 57047 variables (57047 bin, 0 int, 0 impl, 0 cont) and 177419 constraints
1229.22/1229.21 c 1151 constraints of type <knapsack>
1229.22/1229.21 c 148067 constraints of type <setppc>
1229.22/1229.21 c 28201 constraints of type <logicor>
1229.22/1229.21 c transformed objective value is always integral (scale: 1)
1229.22/1229.21 c Presolving Time: 1227.75
1229.22/1229.21 c - non default parameters ----------------------------------------------------------------------
1229.22/1229.21 c # SCIP version 2.0.1.4
1229.22/1229.21 c
1229.22/1229.21 c # frequency for displaying node information lines
1229.22/1229.21 c # [type: int, range: [-1,2147483647], default: 100]
1229.22/1229.21 c display/freq = 10000
1229.22/1229.21 c
1229.22/1229.21 c # maximal time in seconds to run
1229.22/1229.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1229.22/1229.21 c limits/time = 1797
1229.22/1229.21 c
1229.22/1229.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1229.22/1229.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1229.22/1229.21 c limits/memory = 13950
1229.22/1229.21 c
1229.22/1229.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
1229.22/1229.21 c # [type: int, range: [1,2], default: 1]
1229.22/1229.21 c timing/clocktype = 2
1229.22/1229.21 c
1229.22/1229.21 c # belongs reading time to solving time?
1229.22/1229.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1229.22/1229.21 c timing/reading = TRUE
1229.22/1229.21 c
1229.22/1229.21 c # should presolving try to simplify inequalities
1229.22/1229.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1229.22/1229.21 c constraints/linear/simplifyinequalities = TRUE
1229.22/1229.21 c
1229.22/1229.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1229.22/1229.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1229.22/1229.21 c constraints/indicator/addCouplingCons = TRUE
1229.22/1229.21 c
1229.22/1229.21 c # should presolving try to simplify knapsacks
1229.22/1229.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1229.22/1229.21 c constraints/knapsack/simplifyinequalities = TRUE
1229.22/1229.21 c
1229.22/1229.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1229.22/1229.21 c # [type: int, range: [-1,2147483647], default: -1]
1229.22/1229.21 c separating/rapidlearning/freq = 0
1229.22/1229.21 c
1229.22/1229.21 c -----------------------------------------------------------------------------------------------
1229.22/1229.21 c start solving
1229.22/1229.24 c
1466.43/1466.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.43/1466.47 c 1466s| 1 | 0 | 51124 | - |2164M| 0 |1085 | 57k| 177k| 57k| 177k| 0 | 20 | 0 | 8.700000e+01 | -- | Inf
1798.94/1798.97 c 1799s| 1 | 0 |119014 | - |2168M| 0 | - | 57k| 177k| 57k| 177k| 74 | 20 | 0 | 8.700000e+01 | -- | Inf
1799.04/1799.03 c 1799s| 1 | 2 |119014 | - |2168M| 0 | - | 57k| 177k| 57k| 177k| 74 | 20 | 0 | 8.700000e+01 | -- | Inf
1799.04/1799.03 c
1799.04/1799.03 c SCIP Status : solving was interrupted [time limit reached]
1799.04/1799.03 c Solving Time (sec) : 1799.03
1799.04/1799.03 c Solving Nodes : 1
1799.04/1799.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.04/1799.03 c Dual Bound : +8.70000000000000e+01
1799.04/1799.03 c Gap : infinite
1799.04/1799.03 s UNKNOWN
1799.04/1799.03 c SCIP Status : solving was interrupted [time limit reached]
1799.04/1799.03 c Total Time : 1799.03
1799.04/1799.03 c solving : 1799.03
1799.04/1799.03 c presolving : 1227.75 (included in solving)
1799.04/1799.03 c reading : 1.23 (included in solving)
1799.04/1799.03 c Original Problem :
1799.04/1799.03 c Problem name : HOME/instance-3486320-1307793299.opb
1799.04/1799.03 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.04/1799.03 c Constraints : 234284 initial, 234284 maximal
1799.04/1799.03 c Presolved Problem :
1799.04/1799.03 c Problem name : t_HOME/instance-3486320-1307793299.opb
1799.04/1799.03 c Variables : 57047 (57047 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.04/1799.03 c Constraints : 177419 initial, 177439 maximal
1799.04/1799.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.04/1799.03 c trivial : 0.04 1118 0 0 0 0 0 0 0 0
1799.04/1799.03 c dualfix : 0.08 124 0 0 0 0 0 0 0 0
1799.04/1799.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.04/1799.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.04/1799.03 c implics : 0.46 0 0 0 0 0 0 0 0 0
1799.04/1799.03 c probing : 1211.16 0 0 0 0 0 0 0 0 0
1799.04/1799.03 c knapsack : 0.36 0 0 0 0 0 2 16 37 189
1799.04/1799.03 c setppc : 0.30 0 0 0 0 0 0 0 0 0
1799.04/1799.03 c linear : 14.54 11046 3507 0 12164 0 56879 0 61 64
1799.04/1799.03 c logicor : 0.05 0 0 0 0 0 0 0 0 0
1799.04/1799.03 c root node : - 0 - - 0 - - - - -
1799.04/1799.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.04/1799.03 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1799.04/1799.03 c knapsack : 1151 1 98763 0 1 3 24 1 0 119 0 0
1799.04/1799.03 c setppc : 148067 1 98762 0 1 1 374 1 0 0 0 0
1799.04/1799.03 c logicor : 28201+ 1 89657 0 1 0 58 13 0 0 0 0
1799.04/1799.03 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1799.04/1799.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.04/1799.03 c integral : 0.01 0.00 0.00 0.00 0.00 0.01 0.00
1799.04/1799.03 c knapsack : 6.17 0.01 6.16 0.00 0.00 0.00 0.00
1799.04/1799.03 c setppc : 613.04 0.01 612.99 0.00 0.04 0.00 0.00
1799.04/1799.03 c logicor : 5.21 0.00 5.20 0.00 0.01 0.00 0.00
1799.04/1799.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.04/1799.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.04/1799.03 c vbounds : 0 0 0 0
1799.04/1799.03 c rootredcost : 0 0 0 0
1799.04/1799.03 c pseudoobj : 2994 0 0 0
1799.04/1799.03 c Propagator Timings : TotalTime Propagate Resprop
1799.04/1799.03 c vbounds : 0.03 0.03 0.00
1799.04/1799.03 c rootredcost : 0.02 0.02 0.00
1799.04/1799.03 c pseudoobj : 0.02 0.02 0.00
1799.04/1799.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.04/1799.03 c propagation : 0.00 15 15 46 10.8 0 0.0 -
1799.04/1799.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.04/1799.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.04/1799.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.04/1799.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.04/1799.03 c applied globally : - - - 20 8.8 - - -
1799.04/1799.03 c applied locally : - - - 0 0.0 - - -
1799.04/1799.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.04/1799.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 152)
1799.04/1799.03 c redcost : 0.00 1 0 0 0 0
1799.04/1799.03 c impliedbounds : 0.01 1 0 0 0 0
1799.04/1799.03 c intobj : 0.00 0 0 0 0 0
1799.04/1799.03 c gomory : 12.88 1 0 0 259 0
1799.04/1799.03 c cgmip : 0.00 0 0 0 0 0
1799.04/1799.03 c closecuts : 0.00 0 0 0 0 0
1799.04/1799.03 c strongcg : 11.73 1 0 0 286 0
1799.04/1799.03 c cmir : 7.18 1 0 0 0 0
1799.04/1799.03 c flowcover : 11.27 1 0 0 82 0
1799.04/1799.03 c clique : 33.07 1 0 0 0 0
1799.04/1799.03 c zerohalf : 0.00 0 0 0 0 0
1799.04/1799.03 c mcf : 0.00 0 0 0 0 0
1799.04/1799.03 c oddcycle : 0.00 0 0 0 0 0
1799.04/1799.03 c rapidlearning : 0.00 0 0 0 0 0
1799.04/1799.03 c Pricers : Time Calls Vars
1799.04/1799.03 c problem variables: 0.00 0 0
1799.04/1799.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.04/1799.03 c relpscost : 0.00 0 0 0 0 0 0
1799.04/1799.03 c pscost : 0.00 0 0 0 0 0 0
1799.04/1799.03 c inference : 0.01 1 0 0 0 0 2
1799.04/1799.03 c mostinf : 0.00 0 0 0 0 0 0
1799.04/1799.03 c leastinf : 0.00 0 0 0 0 0 0
1799.04/1799.03 c fullstrong : 0.00 0 0 0 0 0 0
1799.04/1799.03 c allfullstrong : 0.00 0 0 0 0 0 0
1799.04/1799.03 c random : 0.00 0 0 0 0 0 0
1799.04/1799.03 c Primal Heuristics : Time Calls Found
1799.04/1799.03 c LP solutions : 0.00 - 0
1799.04/1799.03 c pseudo solutions : 0.00 - 0
1799.04/1799.03 c oneopt : 0.00 0 0
1799.04/1799.03 c trivial : 0.08 2 0
1799.04/1799.03 c shiftandpropagate: 6.80 1 0
1799.04/1799.03 c simplerounding : 0.00 0 0
1799.04/1799.03 c zirounding : 0.00 0 0
1799.04/1799.03 c rounding : 0.01 1 0
1799.04/1799.03 c shifting : 0.01 1 0
1799.04/1799.03 c intshifting : 0.00 0 0
1799.04/1799.03 c twoopt : 0.00 0 0
1799.04/1799.03 c fixandinfer : 0.00 0 0
1799.04/1799.03 c feaspump : 256.26 1 0
1799.04/1799.03 c clique : 0.00 0 0
1799.04/1799.03 c coefdiving : 0.00 0 0
1799.04/1799.03 c pscostdiving : 0.00 0 0
1799.04/1799.03 c fracdiving : 0.00 0 0
1799.04/1799.03 c veclendiving : 0.00 0 0
1799.04/1799.03 c intdiving : 0.00 0 0
1799.04/1799.03 c actconsdiving : 0.00 0 0
1799.04/1799.03 c objpscostdiving : 0.00 0 0
1799.04/1799.03 c rootsoldiving : 0.00 0 0
1799.04/1799.03 c linesearchdiving : 0.00 0 0
1799.04/1799.03 c guideddiving : 0.00 0 0
1799.04/1799.03 c octane : 0.00 0 0
1799.04/1799.03 c rens : 0.00 0 0
1799.04/1799.03 c rins : 0.00 0 0
1799.04/1799.03 c localbranching : 0.00 0 0
1799.04/1799.03 c mutation : 0.00 0 0
1799.04/1799.03 c crossover : 0.00 0 0
1799.04/1799.03 c dins : 0.00 0 0
1799.04/1799.03 c vbounds : 0.00 0 0
1799.04/1799.03 c undercover : 0.00 0 0
1799.04/1799.03 c subnlp : 0.00 0 0
1799.04/1799.03 c trysol : 0.00 0 0
1799.04/1799.03 c LP : Time Calls Iterations Iter/call Iter/sec
1799.04/1799.03 c primal LP : 0.00 0 0 0.00 -
1799.04/1799.03 c dual LP : 230.36 1 51124 51124.00 221.93
1799.04/1799.03 c lex dual LP : 0.00 0 0 0.00 -
1799.04/1799.03 c barrier LP : 0.00 0 0 0.00 -
1799.04/1799.03 c diving/probing LP: 255.65 12 67890 5657.50 265.55
1799.04/1799.03 c strong branching : 0.00 0 0 0.00 -
1799.04/1799.03 c (at root node) : - 0 0 0.00 -
1799.04/1799.03 c conflict analysis: 0.00 0 0 0.00 -
1799.04/1799.03 c B&B Tree :
1799.04/1799.03 c number of runs : 1
1799.04/1799.03 c nodes : 1
1799.04/1799.03 c nodes (total) : 1
1799.04/1799.03 c nodes left : 2
1799.04/1799.03 c max depth : 0
1799.04/1799.03 c max depth (total): 0
1799.04/1799.03 c backtracks : 0 (0.0%)
1799.04/1799.03 c delayed cutoffs : 0
1799.04/1799.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.04/1799.03 c avg switch length: 1.00
1799.04/1799.03 c switching time : 0.00
1799.04/1799.03 c Solution :
1799.04/1799.03 c Solutions found : 0 (0 improvements)
1799.04/1799.03 c Primal Bound : -
1799.04/1799.03 c Dual Bound : +8.70000000000000e+01
1799.04/1799.03 c Gap : infinite
1799.04/1799.03 c Root Dual Bound : +8.70000000000000e+01
1799.04/1799.03 c Root Iterations : 119014
1799.73/1799.77 c Time complete: 1799.82.
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-3486320-1307793299/watcher-3486320-1307793299 -o /tmp/evaluation-result-3486320-1307793299/solver-3486320-1307793299 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486320-1307793299.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.00 1.02 1.28 2/172 18450
/proc/meminfo: memFree=31867384/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=10316 CPUtime=0 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 1573 0 0 0 0 0 0 0 21 0 1 0 871745808 10563584 1528 33554432000 4194304 8979876 140733671437392 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18450/statm: 2579 1528 366 1169 0 1406 0
[startup+0.044386 s]
/proc/loadavg: 1.00 1.02 1.28 2/172 18450
/proc/meminfo: memFree=31867384/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=19456 CPUtime=0.04 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 3866 0 0 0 4 0 0 0 21 0 1 0 871745808 19922944 3821 33554432000 4194304 8979876 140733671437392 18446744073709551615 6176591 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18450/statm: 4864 3821 366 1169 0 3691 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19456
[startup+0.100395 s]
/proc/loadavg: 1.00 1.02 1.28 2/172 18450
/proc/meminfo: memFree=31867384/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=27544 CPUtime=0.09 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 5903 0 0 0 9 0 0 0 21 0 1 0 871745808 28205056 5858 33554432000 4194304 8979876 140733671437392 18446744073709551615 4445932 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18450/statm: 6886 5858 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.300341 s]
/proc/loadavg: 1.00 1.02 1.28 2/172 18450
/proc/meminfo: memFree=31867384/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=52520 CPUtime=0.29 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 12128 0 0 0 28 1 0 0 22 0 1 0 871745808 53780480 12083 33554432000 4194304 8979876 140733671437392 18446744073709551615 6204168 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18450/statm: 13130 12083 366 1169 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52520
[startup+0.700267 s]
/proc/loadavg: 1.00 1.02 1.28 2/172 18450
/proc/meminfo: memFree=31867384/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=78604 CPUtime=0.69 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 18616 0 0 0 68 1 0 0 24 0 1 0 871745808 80490496 18571 33554432000 4194304 8979876 140733671437392 18446744073709551615 6204174 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18450/statm: 19651 18571 366 1169 0 18478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78604
[startup+1.50013 s]
/proc/loadavg: 1.00 1.02 1.28 3/178 18461
/proc/meminfo: memFree=31655816/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=274212 CPUtime=1.49 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 66792 0 0 0 142 7 0 0 25 0 1 0 871745808 280793088 66710 33554432000 4194304 8979876 140733671437392 18446744073709551615 4777200 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 68553 66710 441 1169 0 67380 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 274212
[startup+3.10085 s]
/proc/loadavg: 1.08 1.03 1.28 3/178 18461
/proc/meminfo: memFree=31061288/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=502624 CPUtime=3.09 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 132624 0 0 0 294 15 0 0 25 0 1 0 871745808 514686976 122407 33554432000 4194304 8979876 140733671437392 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 125656 122407 494 1169 0 124483 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 502624
[startup+6.30026 s]
/proc/loadavg: 1.08 1.03 1.28 3/178 18461
/proc/meminfo: memFree=30545468/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=729352 CPUtime=6.29 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 188555 0 0 0 608 21 0 0 25 0 1 0 871745808 746856448 178338 33554432000 4194304 8979876 140733671437392 18446744073709551615 4875193 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 182338 178338 494 1169 0 181165 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 729352
[startup+12.7011 s]
/proc/loadavg: 1.15 1.05 1.28 3/178 18461
/proc/meminfo: memFree=30121408/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=880108 CPUtime=12.7 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 225231 0 0 0 1244 26 0 0 25 0 1 0 871745808 901230592 213921 33554432000 4194304 8979876 140733671437392 18446744073709551615 6499262 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 220027 213921 504 1169 0 218854 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 880108
[startup+25.5008 s]
/proc/loadavg: 1.34 1.10 1.29 3/178 18461
/proc/meminfo: memFree=29935864/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=997012 CPUtime=25.49 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 270185 0 0 0 2519 30 0 0 25 0 1 0 871745808 1020940288 241334 33554432000 4194304 8979876 140733671437392 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 249253 241334 607 1169 0 248080 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 997012
[startup+51.1002 s]
/proc/loadavg: 1.56 1.17 1.31 3/178 18462
/proc/meminfo: memFree=29875672/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=1024060 CPUtime=51.1 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 276827 0 0 0 5078 32 0 0 25 0 1 0 871745808 1048637440 247910 33554432000 4194304 8979876 140733671437392 18446744073709551615 6503537 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 256015 247910 607 1169 0 254842 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1024060
[startup+102.306 s]
/proc/loadavg: 1.82 1.31 1.35 3/178 18463
/proc/meminfo: memFree=29745184/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=1081364 CPUtime=102.3 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 291433 0 0 0 10196 34 0 0 25 0 1 0 871745808 1107316736 262516 33554432000 4194304 8979876 140733671437392 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 270341 262516 607 1169 0 269168 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1081364
[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.38 3/178 18465
/proc/meminfo: memFree=29490308/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=1220672 CPUtime=162.3 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 325237 0 0 0 16192 38 0 0 25 0 1 0 871745808 1249968128 296320 33554432000 4194304 8979876 140733671437392 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 305168 296320 607 1169 0 303995 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1220672
[startup+222.3 s]
/proc/loadavg: 1.97 1.53 1.42 3/178 18467
/proc/meminfo: memFree=29301512/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=1302216 CPUtime=222.3 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 345630 0 0 0 22189 41 0 0 25 0 1 0 871745808 1333469184 316713 33554432000 4194304 8979876 140733671437392 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 325554 316713 607 1169 0 324381 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1302216
[startup+282.301 s]
/proc/loadavg: 2.07 1.64 1.46 3/178 18468
/proc/meminfo: memFree=29011920/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=1468612 CPUtime=282.3 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 387366 0 0 0 28184 46 0 0 25 0 1 0 871745808 1503858688 358185 33554432000 4194304 8979876 140733671437392 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 367153 358185 607 1169 0 365980 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1468612
[startup+342.301 s]
/proc/loadavg: 2.07 1.72 1.50 3/178 18470
/proc/meminfo: memFree=28763864/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=1571996 CPUtime=342.31 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 412709 0 0 0 34182 49 0 0 25 0 1 0 871745808 1609723904 383132 33554432000 4194304 8979876 140733671437392 18446744073709551615 5546452 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 392999 383132 607 1169 0 391826 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1571996
[startup+402.3 s]
/proc/loadavg: 2.03 1.76 1.53 3/178 18480
/proc/meminfo: memFree=28461560/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=1714740 CPUtime=402.3 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 448534 0 0 0 40179 51 0 0 25 0 1 0 871745808 1755893760 418924 33554432000 4194304 8979876 140733671437392 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 428685 418924 607 1169 0 427512 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1714740
[startup+462.3 s]
/proc/loadavg: 2.01 1.80 1.55 3/178 18482
/proc/meminfo: memFree=28219460/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=1788948 CPUtime=462.3 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 467055 0 0 0 46176 54 0 0 25 0 1 0 871745808 1831882752 437445 33554432000 4194304 8979876 140733671437392 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 447237 437445 607 1169 0 446064 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1788948
[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.58 3/178 18484
/proc/meminfo: memFree=27970016/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=1909404 CPUtime=522.31 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 497310 0 0 0 52173 58 0 0 25 0 1 0 871745808 1955229696 467700 33554432000 4194304 8979876 140733671437392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 477351 467700 607 1169 0 476178 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1909404
[startup+582.301 s]
/proc/loadavg: 2.00 1.86 1.60 3/178 18485
/proc/meminfo: memFree=27760516/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=1969224 CPUtime=582.31 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 511670 0 0 0 58171 60 0 0 25 0 1 0 871745808 2016485376 482060 33554432000 4194304 8979876 140733671437392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 492306 482060 607 1169 0 491133 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1969224
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26499320/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2559584 CPUtime=1062.32 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 658944 0 0 0 106151 81 0 0 25 0 1 0 871745808 2621014016 629136 33554432000 4194304 8979876 140733671437392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 639896 629136 612 1169 0 638723 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2559584
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/178 18500
/proc/meminfo: memFree=26380472/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2602272 CPUtime=1122.33 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 670028 0 0 0 112150 83 0 0 25 0 1 0 871745808 2664726528 640220 33554432000 4194304 8979876 140733671437392 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 650568 640220 612 1169 0 649395 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2602272
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 18501
/proc/meminfo: memFree=26291748/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2635572 CPUtime=1182.32 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 678045 0 0 0 118148 84 0 0 25 0 1 0 871745808 2698825728 648237 33554432000 4194304 8979876 140733671437392 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 658893 648237 612 1169 0 657720 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2635572
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/178 18503
/proc/meminfo: memFree=25931964/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2967896 CPUtime=1242.32 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 755593 0 0 0 124136 96 0 0 25 0 1 0 871745808 3039125504 723452 33554432000 4194304 8979876 140733671437392 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 741974 723452 730 1169 0 740801 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2967896
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/178 18504
/proc/meminfo: memFree=25854304/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2990260 CPUtime=1302.33 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 762260 0 0 0 130129 104 0 0 25 0 1 0 871745808 3062026240 729918 33554432000 4194304 8979876 140733671437392 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 747565 729918 956 1169 0 746392 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2990260
[startup+1362.3 s]
/proc/loadavg: 2.07 1.99 1.81 3/178 18506
/proc/meminfo: memFree=25801168/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=3008180 CPUtime=1362.33 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 766623 0 0 0 136122 111 0 0 25 0 1 0 871745808 3080376320 733588 33554432000 4194304 8979876 140733671437392 18446744073709551615 7089861 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 752045 733588 683 1169 0 750872 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3008180
[startup+1422.31 s]
/proc/loadavg: 2.05 2.00 1.83 3/178 18508
/proc/meminfo: memFree=25753488/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=3008180 CPUtime=1422.34 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 767652 0 0 0 142116 118 0 0 25 0 1 0 871745808 3080376320 734616 33554432000 4194304 8979876 140733671437392 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 752045 734616 947 1169 0 750872 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3008180
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.83 3/178 18509
/proc/meminfo: memFree=25706164/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2995748 CPUtime=1482.33 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 781251 0 0 0 148108 125 0 0 25 0 1 0 871745808 3067645952 735198 33554432000 4194304 8979876 140733671437392 18446744073709551615 7156782 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 748937 735198 683 1169 0 747764 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2995748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 18511
/proc/meminfo: memFree=25665568/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2995748 CPUtime=1542.33 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 781289 0 0 0 154103 130 0 0 25 0 1 0 871745808 3067645952 735236 33554432000 4194304 8979876 140733671437392 18446744073709551615 7155466 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 748937 735236 683 1169 0 747764 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2995748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 18512
/proc/meminfo: memFree=25621368/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2995748 CPUtime=1602.33 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 781289 0 0 0 160098 135 0 0 25 0 1 0 871745808 3067645952 735236 33554432000 4194304 8979876 140733671437392 18446744073709551615 7193008 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 748937 735236 683 1169 0 747764 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2995748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 18514
/proc/meminfo: memFree=25568344/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2995748 CPUtime=1662.33 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 781289 0 0 0 166094 139 0 0 25 0 1 0 871745808 3067645952 735236 33554432000 4194304 8979876 140733671437392 18446744073709551615 7193008 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 748937 735236 683 1169 0 747764 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2995748
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18516
/proc/meminfo: memFree=25515332/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2995748 CPUtime=1722.34 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 781485 0 0 0 172078 156 0 0 25 0 1 0 871745808 3067645952 735426 33554432000 4194304 8979876 140733671437392 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 748937 735426 683 1169 0 747764 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2995748
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18517
/proc/meminfo: memFree=25486520/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2995748 CPUtime=1782.34 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 781916 0 0 0 178076 158 0 0 25 0 1 0 871745808 3067645952 735857 33554432000 4194304 8979876 140733671437392 18446744073709551615 6254466 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 748937 735857 836 1169 0 747764 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2995748
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18518
/proc/meminfo: memFree=25480292/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2995748 CPUtime=1791.95 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 781916 0 0 0 179037 158 0 0 25 0 1 0 871745808 3067645952 735857 33554432000 4194304 8979876 140733671437392 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 748937 735857 836 1169 0 747764 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 2995748
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18518
/proc/meminfo: memFree=25479176/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2995748 CPUtime=1795.15 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 781916 0 0 0 179357 158 0 0 25 0 1 0 871745808 3067645952 735857 33554432000 4194304 8979876 140733671437392 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 748937 735857 836 1169 0 747764 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 2995748
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 18520
/proc/meminfo: memFree=25476572/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=3037716 CPUtime=1798.34 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 794403 0 0 0 179674 160 0 0 25 0 1 0 871745808 3110621184 748344 33554432000 4194304 8979876 140733671437392 18446744073709551615 6255417 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/18450/statm: 759429 748345 836 1169 0 758256 0
Current children cumulated CPU time (s) 1798.34
Current children cumulated vsize (KiB) 3037716
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.86 2/172 18544
/proc/meminfo: memFree=28871840/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2995748 CPUtime=1799.14 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 803348 0 0 0 179753 161 0 0 18 0 1 0 871745808 3067645952 738549 33554432000 4194304 8979876 140733671437392 18446744073709551615 6549928 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18450/statm: 748937 738549 845 1169 0 747764 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 2995748
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.86 2/172 18544
/proc/meminfo: memFree=28937188/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2971524 CPUtime=1799.55 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 803350 0 0 0 179794 161 0 0 18 0 1 0 871745808 3042840576 732585 33554432000 4194304 8979876 140733671437392 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18450/statm: 742881 732585 847 1169 0 741708 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 2971524
[startup+1799.7 s]
/proc/loadavg: 2.00 2.00 1.86 2/172 18544
/proc/meminfo: memFree=28937188/32951124 swapFree=67056964/67111528
[pid=18450] ppid=18448 vsize=2240528 CPUtime=1799.73 cores=1,3,5,7
/proc/18450/stat : 18450 (scip-2.0.1.4_2.) R 18448 18450 15024 0 -1 4202496 803353 0 0 0 179809 164 0 0 18 0 1 0 871745808 2294300672 525131 33554432000 4194304 8979876 140733671437392 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18450/statm: 560132 525131 847 1169 0 558959 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (KiB) 2240528
Child status: 0
Real time (s): 1799.78
CPU time (s): 1799.83
CPU user time (s): 1798.1
CPU system time (s): 1.72674
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3082768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.1
system time used= 1.72674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 803358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 19453
runsolver used 2.71259 second user time and 6.28005 second system time
The end