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-3486303-1307793738.opb>
1.29/1.34 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245287 constraints
1.29/1.34 c problem read
1.29/1.34 c presolving settings loaded
2.10/2.19 c presolving:
10.59/10.69 c (round 1) 5557 del vars, 16422 del conss, 0 add conss, 4063 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16756468 impls, 0 clqs
14.99/15.03 c (round 2) 11856 del vars, 40203 del conss, 0 add conss, 9955 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16785465 impls, 0 clqs
16.19/16.24 c (round 3) 13931 del vars, 50340 del conss, 0 add conss, 11054 chg bounds, 10 chg sides, 16 chg coeffs, 0 upgd conss, 16800521 impls, 0 clqs
16.89/16.95 c (round 4) 14766 del vars, 53897 del conss, 0 add conss, 11571 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16808303 impls, 0 clqs
17.29/17.38 c (round 5) 15305 del vars, 56060 del conss, 0 add conss, 11896 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16812301 impls, 0 clqs
17.59/17.62 c (round 6) 15573 del vars, 57222 del conss, 0 add conss, 12034 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16814609 impls, 0 clqs
17.69/17.79 c (round 7) 15712 del vars, 57848 del conss, 0 add conss, 12112 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16815993 impls, 0 clqs
17.89/17.91 c (round 8) 15794 del vars, 58225 del conss, 0 add conss, 12151 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16816547 impls, 0 clqs
17.89/17.99 c (round 9) 15806 del vars, 58330 del conss, 0 add conss, 12157 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16816733 impls, 0 clqs
17.99/18.06 c (round 10) 15818 del vars, 58378 del conss, 0 add conss, 12163 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 16816829 impls, 0 clqs
1006.92/1006.95 c (1006.9s) probing: 1000/57022 (1.8%) - 1 fixings, 1 aggregations, 13003502 implications, 0 bound changes
1606.05/1606.06 c (1606.1s) probing: 2000/57022 (3.5%) - 1 fixings, 1 aggregations, 20392398 implications, 0 bound changes
1672.25/1672.24 c (1672.2s) probing: 2125/57022 (3.7%) - 1 fixings, 1 aggregations, 21198622 implications, 0 bound changes
1672.25/1672.24 c (1672.2s) probing aborted: 2000/2000 successive useless probings
1672.25/1672.24 c (round 11) 15822 del vars, 58398 del conss, 0 add conss, 12164 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 93018771 impls, 0 clqs
1672.55/1672.52 c (round 12) 15822 del vars, 58522 del conss, 0 add conss, 12164 chg bounds, 14 chg sides, 20 chg coeffs, 0 upgd conss, 93018771 impls, 0 clqs
1673.55/1673.50 c (round 13) 15822 del vars, 58522 del conss, 0 add conss, 12164 chg bounds, 14 chg sides, 20 chg coeffs, 186765 upgd conss, 93018771 impls, 0 clqs
1675.65/1675.66 c (round 14) 15822 del vars, 58532 del conss, 23 add conss, 12164 chg bounds, 47 chg sides, 155 chg coeffs, 186765 upgd conss, 93018771 impls, 0 clqs
1797.95/1797.97 c (1798.0s) probing: 2227/57022 (3.9%) - 3 fixings, 3 aggregations, 21943571 implications, 0 bound changes
1797.95/1797.97 c (1798.0s) probing aborted: solving stopped
1797.95/1797.97 c presolving (15 rounds):
1797.95/1797.97 c 15826 deleted vars, 58534 deleted constraints, 23 added constraints, 12164 tightened bounds, 0 added holes, 50 changed sides, 165 changed coefficients
1797.95/1797.97 c 94705921 implications, 0 cliques
1797.95/1797.97 c presolved problem has 57016 variables (57016 bin, 0 int, 0 impl, 0 cont) and 186776 constraints
1797.95/1797.97 c 1174 constraints of type <knapsack>
1797.95/1797.97 c 157410 constraints of type <setppc>
1797.95/1797.97 c 28192 constraints of type <logicor>
1797.95/1797.97 c transformed objective value is always integral (scale: 1)
1797.95/1797.97 c Presolving Time: 1796.40
1797.95/1797.97 c - non default parameters ----------------------------------------------------------------------
1797.95/1797.97 c # SCIP version 2.0.1.4
1797.95/1797.97 c
1797.95/1797.97 c # frequency for displaying node information lines
1797.95/1797.97 c # [type: int, range: [-1,2147483647], default: 100]
1797.95/1797.97 c display/freq = 10000
1797.95/1797.97 c
1797.95/1797.97 c # maximal time in seconds to run
1797.95/1797.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.95/1797.97 c limits/time = 1797
1797.95/1797.97 c
1797.95/1797.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.95/1797.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.95/1797.97 c limits/memory = 13950
1797.95/1797.97 c
1797.95/1797.97 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.95/1797.97 c # [type: int, range: [1,2], default: 1]
1797.95/1797.97 c timing/clocktype = 2
1797.95/1797.97 c
1797.95/1797.97 c # belongs reading time to solving time?
1797.95/1797.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.95/1797.97 c timing/reading = TRUE
1797.95/1797.97 c
1797.95/1797.97 c # should presolving try to simplify inequalities
1797.95/1797.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.95/1797.97 c constraints/linear/simplifyinequalities = TRUE
1797.95/1797.97 c
1797.95/1797.97 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.95/1797.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.95/1797.97 c constraints/indicator/addCouplingCons = TRUE
1797.95/1797.97 c
1797.95/1797.97 c # should presolving try to simplify knapsacks
1797.95/1797.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.95/1797.97 c constraints/knapsack/simplifyinequalities = TRUE
1797.95/1797.97 c
1797.95/1797.97 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.95/1797.97 c # [type: int, range: [-1,2147483647], default: -1]
1797.95/1797.97 c separating/rapidlearning/freq = 0
1797.95/1797.97 c
1797.95/1797.97 c -----------------------------------------------------------------------------------------------
1797.95/1797.97 c start solving
1797.95/1797.99 c
1797.95/1797.99 c
1797.95/1797.99 c SCIP Status : solving was interrupted [time limit reached]
1797.95/1797.99 c Solving Time (sec) : 1797.99
1797.95/1797.99 c Solving Nodes : 0
1797.95/1797.99 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.95/1797.99 c Dual Bound : -1.00000000000000e+20
1797.95/1797.99 c Gap : infinite
1797.95/1797.99 s UNKNOWN
1797.95/1797.99 c SCIP Status : solving was interrupted [time limit reached]
1797.95/1797.99 c Total Time : 1797.99
1797.95/1797.99 c solving : 1797.99
1797.95/1797.99 c presolving : 1796.40 (included in solving)
1797.95/1797.99 c reading : 1.35 (included in solving)
1797.95/1797.99 c Original Problem :
1797.95/1797.99 c Problem name : HOME/instance-3486303-1307793738.opb
1797.95/1797.99 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.95/1797.99 c Constraints : 245287 initial, 245287 maximal
1797.95/1797.99 c Presolved Problem :
1797.95/1797.99 c Problem name : t_HOME/instance-3486303-1307793738.opb
1797.95/1797.99 c Variables : 57016 (57016 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.95/1797.99 c Constraints : 186776 initial, 186776 maximal
1797.95/1797.99 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.95/1797.99 c trivial : 0.05 947 0 0 0 0 0 0 0 0
1797.95/1797.99 c dualfix : 0.09 120 0 0 0 0 0 0 0 0
1797.95/1797.99 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.95/1797.99 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.95/1797.99 c implics : 1.04 0 0 0 0 0 0 0 0 0
1797.95/1797.99 c probing : 1776.08 3 3 0 0 0 0 0 0 0
1797.95/1797.99 c knapsack : 1.75 0 0 0 0 0 2 23 36 145
1797.95/1797.99 c setppc : 0.37 0 0 0 0 0 10 0 0 0
1797.95/1797.99 c linear : 16.05 11217 3536 0 12164 0 58522 0 14 20
1797.95/1797.99 c logicor : 0.09 0 0 0 0 0 0 0 0 0
1797.95/1797.99 c root node : - 0 - - 0 - - - - -
1797.95/1797.99 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.95/1797.99 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.95/1797.99 c knapsack : 1174 0 1761 0 0 0 0 2 0 0 0 0
1797.95/1797.99 c setppc : 157410 0 1759 0 0 0 0 0 0 0 0 0
1797.95/1797.99 c logicor : 28192 0 1650 0 0 0 0 0 0 0 0 0
1797.95/1797.99 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.95/1797.99 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.95/1797.99 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.95/1797.99 c knapsack : 0.23 0.00 0.23 0.00 0.00 0.00 0.00
1797.95/1797.99 c setppc : 5.40 0.00 5.40 0.00 0.00 0.00 0.00
1797.95/1797.99 c logicor : 0.91 0.00 0.91 0.00 0.00 0.00 0.00
1797.95/1797.99 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.95/1797.99 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.95/1797.99 c vbounds : 0 0 0 0
1797.95/1797.99 c rootredcost : 0 0 0 0
1797.95/1797.99 c pseudoobj : 0 0 0 0
1797.95/1797.99 c Propagator Timings : TotalTime Propagate Resprop
1797.95/1797.99 c vbounds : 0.05 0.05 0.00
1797.95/1797.99 c rootredcost : 0.02 0.02 0.00
1797.95/1797.99 c pseudoobj : 0.02 0.02 0.00
1797.95/1797.99 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.95/1797.99 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.95/1797.99 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.95/1797.99 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.95/1797.99 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.95/1797.99 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.95/1797.99 c applied globally : - - - 0 0.0 - - -
1797.95/1797.99 c applied locally : - - - 0 0.0 - - -
1797.95/1797.99 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.95/1797.99 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.95/1797.99 c redcost : 0.00 0 0 0 0 0
1797.95/1797.99 c impliedbounds : 0.00 0 0 0 0 0
1797.95/1797.99 c intobj : 0.00 0 0 0 0 0
1797.95/1797.99 c gomory : 0.00 0 0 0 0 0
1797.95/1797.99 c cgmip : 0.00 0 0 0 0 0
1797.95/1797.99 c closecuts : 0.00 0 0 0 0 0
1797.95/1797.99 c strongcg : 0.00 0 0 0 0 0
1797.95/1797.99 c cmir : 0.00 0 0 0 0 0
1797.95/1797.99 c flowcover : 0.00 0 0 0 0 0
1797.95/1797.99 c clique : 0.00 0 0 0 0 0
1797.95/1797.99 c zerohalf : 0.00 0 0 0 0 0
1797.95/1797.99 c mcf : 0.00 0 0 0 0 0
1797.95/1797.99 c oddcycle : 0.00 0 0 0 0 0
1797.95/1797.99 c rapidlearning : 0.00 0 0 0 0 0
1797.95/1797.99 c Pricers : Time Calls Vars
1797.95/1797.99 c problem variables: 0.00 0 0
1797.95/1797.99 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.95/1797.99 c pscost : 0.00 0 0 0 0 0 0
1797.95/1797.99 c inference : 0.00 0 0 0 0 0 0
1797.95/1797.99 c mostinf : 0.00 0 0 0 0 0 0
1797.95/1797.99 c leastinf : 0.00 0 0 0 0 0 0
1797.95/1797.99 c fullstrong : 0.00 0 0 0 0 0 0
1797.95/1797.99 c allfullstrong : 0.00 0 0 0 0 0 0
1797.95/1797.99 c random : 0.00 0 0 0 0 0 0
1797.95/1797.99 c relpscost : 0.00 0 0 0 0 0 0
1797.95/1797.99 c Primal Heuristics : Time Calls Found
1797.95/1797.99 c LP solutions : 0.00 - 0
1797.95/1797.99 c pseudo solutions : 0.00 - 0
1797.95/1797.99 c trivial : 0.06 1 0
1797.95/1797.99 c shiftandpropagate: 0.00 0 0
1797.95/1797.99 c simplerounding : 0.00 0 0
1797.95/1797.99 c zirounding : 0.00 0 0
1797.95/1797.99 c rounding : 0.00 0 0
1797.95/1797.99 c shifting : 0.00 0 0
1797.95/1797.99 c intshifting : 0.00 0 0
1797.95/1797.99 c oneopt : 0.00 0 0
1797.95/1797.99 c twoopt : 0.00 0 0
1797.95/1797.99 c fixandinfer : 0.00 0 0
1797.95/1797.99 c feaspump : 0.00 0 0
1797.95/1797.99 c clique : 0.00 0 0
1797.95/1797.99 c coefdiving : 0.00 0 0
1797.95/1797.99 c pscostdiving : 0.00 0 0
1797.95/1797.99 c fracdiving : 0.00 0 0
1797.95/1797.99 c veclendiving : 0.00 0 0
1797.95/1797.99 c intdiving : 0.00 0 0
1797.95/1797.99 c actconsdiving : 0.00 0 0
1797.95/1797.99 c objpscostdiving : 0.00 0 0
1797.95/1797.99 c rootsoldiving : 0.00 0 0
1797.95/1797.99 c linesearchdiving : 0.00 0 0
1797.95/1797.99 c guideddiving : 0.00 0 0
1797.95/1797.99 c octane : 0.00 0 0
1797.95/1797.99 c rens : 0.00 0 0
1797.95/1797.99 c rins : 0.00 0 0
1797.95/1797.99 c localbranching : 0.00 0 0
1797.95/1797.99 c mutation : 0.00 0 0
1797.95/1797.99 c crossover : 0.00 0 0
1797.95/1797.99 c dins : 0.00 0 0
1797.95/1797.99 c vbounds : 0.00 0 0
1797.95/1797.99 c undercover : 0.00 0 0
1797.95/1797.99 c subnlp : 0.00 0 0
1797.95/1797.99 c trysol : 0.00 0 0
1797.95/1797.99 c LP : Time Calls Iterations Iter/call Iter/sec
1797.95/1797.99 c primal LP : 0.00 0 0 0.00 -
1797.95/1797.99 c dual LP : 0.00 0 0 0.00 -
1797.95/1797.99 c lex dual LP : 0.00 0 0 0.00 -
1797.95/1797.99 c barrier LP : 0.00 0 0 0.00 -
1797.95/1797.99 c diving/probing LP: 0.00 0 0 0.00 -
1797.95/1797.99 c strong branching : 0.00 0 0 0.00 -
1797.95/1797.99 c (at root node) : - 0 0 0.00 -
1797.95/1797.99 c conflict analysis: 0.00 0 0 0.00 -
1797.95/1797.99 c B&B Tree :
1797.95/1797.99 c number of runs : 1
1797.95/1797.99 c nodes : 0
1797.95/1797.99 c nodes (total) : 0
1797.95/1797.99 c nodes left : 1
1797.95/1797.99 c max depth : -1
1797.95/1797.99 c max depth (total): -1
1797.95/1797.99 c backtracks : 0 (0.0%)
1797.95/1797.99 c delayed cutoffs : 0
1797.95/1797.99 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.95/1797.99 c avg switch length: 0.00
1797.95/1797.99 c switching time : 0.00
1797.95/1797.99 c Solution :
1797.95/1797.99 c Solutions found : 0 (0 improvements)
1797.95/1797.99 c Primal Bound : -
1797.95/1797.99 c Dual Bound : -
1797.95/1797.99 c Gap : infinite
1797.95/1797.99 c Root Dual Bound : -
1797.95/1797.99 c Root Iterations : 0
1798.65/1798.66 c Time complete: 1798.72.
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-3486303-1307793738/watcher-3486303-1307793738 -o /tmp/evaluation-result-3486303-1307793738/solver-3486303-1307793738 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486303-1307793738.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 2636
/proc/meminfo: memFree=28938184/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=9116 CPUtime=0 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 1334 0 0 0 0 0 0 0 25 0 1 0 890974238 9334784 1288 33554432000 4194304 8979876 140734594539840 18446744073709551615 7836189 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2636/statm: 2279 1301 346 1169 0 1106 0
[startup+0.00856593 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 2636
/proc/meminfo: memFree=28938184/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=11036 CPUtime=0 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 1748 0 0 0 0 0 0 0 25 0 1 0 890974238 11300864 1702 33554432000 4194304 8979876 140734594539840 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2636/statm: 2759 1702 366 1169 0 1586 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11036
[startup+0.100619 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 2636
/proc/meminfo: memFree=28938184/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=27540 CPUtime=0.09 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 5903 0 0 0 9 0 0 0 25 0 1 0 890974238 28200960 5857 33554432000 4194304 8979876 140734594539840 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2636/statm: 6885 5857 366 1169 0 5712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27540
[startup+0.300586 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 2636
/proc/meminfo: memFree=28938184/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=52516 CPUtime=0.29 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 12127 0 0 0 28 1 0 0 25 0 1 0 890974238 53776384 12081 33554432000 4194304 8979876 140734594539840 18446744073709551615 6440685 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2636/statm: 13129 12081 366 1169 0 11956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52516
[startup+0.700501 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 2636
/proc/meminfo: memFree=28938184/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=76296 CPUtime=0.69 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 18046 0 0 0 67 2 0 0 25 0 1 0 890974238 78127104 18000 33554432000 4194304 8979876 140734594539840 18446744073709551615 6782507 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2636/statm: 19074 18000 366 1169 0 17901 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76296
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2637
/proc/meminfo: memFree=28838380/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=242200 CPUtime=1.49 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 59229 0 0 0 143 6 0 0 25 0 1 0 890974238 248012800 59145 33554432000 4194304 8979876 140734594539840 18446744073709551615 4880885 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2636/statm: 60550 59148 416 1169 0 59377 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 242200
[startup+3.10101 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2637
/proc/meminfo: memFree=28535200/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=491316 CPUtime=3.09 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 132293 0 0 0 294 15 0 0 25 0 1 0 890974238 503107584 119881 33554432000 4194304 8979876 140734594539840 18446744073709551615 6499235 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/2636/statm: 122829 119881 494 1169 0 121656 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 491316
[startup+6.30047 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2637
/proc/meminfo: memFree=28297068/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=705412 CPUtime=6.29 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 185391 0 0 0 609 20 0 0 25 0 1 0 890974238 722341888 172979 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 176353 172979 494 1169 0 175180 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 705412
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2637
/proc/meminfo: memFree=28053820/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=898228 CPUtime=12.69 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 231321 0 0 0 1244 25 0 0 25 0 1 0 890974238 919785472 218652 33554432000 4194304 8979876 140734594539840 18446744073709551615 6504315 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 224557 218652 504 1169 0 223384 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 898228
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2638
/proc/meminfo: memFree=27719984/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=973900 CPUtime=25.49 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 250256 0 0 0 2521 28 0 0 25 0 1 0 890974238 997273600 236700 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 243475 236700 528 1169 0 242302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 973900
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2638
/proc/meminfo: memFree=27652492/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=1016596 CPUtime=51.09 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 260185 0 0 0 5079 30 0 0 25 0 1 0 890974238 1040994304 246629 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 254149 246629 528 1169 0 252976 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1016596
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2642
/proc/meminfo: memFree=27578956/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=1071804 CPUtime=102.3 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 273877 0 0 0 10198 32 0 0 25 0 1 0 890974238 1097527296 260321 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 267951 260321 528 1169 0 266778 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1071804
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2644
/proc/meminfo: memFree=27455460/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=1193500 CPUtime=162.29 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 303370 0 0 0 16194 35 0 0 25 0 1 0 890974238 1222144000 289814 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503324 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 298375 289814 528 1169 0 297202 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1193500
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2646
/proc/meminfo: memFree=27361916/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=1266036 CPUtime=222.3 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 322311 0 0 0 22192 38 0 0 25 0 1 0 890974238 1296420864 308755 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 316509 308755 528 1169 0 315336 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1266036
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2647
/proc/meminfo: memFree=27255108/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=1330148 CPUtime=282.3 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 338041 0 0 0 28191 39 0 0 25 0 1 0 890974238 1362071552 324485 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 332537 324485 528 1169 0 331364 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1330148
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2649
/proc/meminfo: memFree=27095732/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=1492556 CPUtime=342.3 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 378132 0 0 0 34186 44 0 0 25 0 1 0 890974238 1528377344 364576 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 373139 364576 528 1169 0 371966 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1492556
[startup+402.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 2651
/proc/meminfo: memFree=26935840/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=1652404 CPUtime=402.31 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 418035 0 0 0 40180 51 0 0 25 0 1 0 890974238 1692061696 404479 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 413101 404479 528 1169 0 411928 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1652404
[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2652
/proc/meminfo: memFree=26875772/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=1714204 CPUtime=462.31 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 433191 0 0 0 46179 52 0 0 25 0 1 0 890974238 1755344896 419635 33554432000 4194304 8979876 140734594539840 18446744073709551615 5284637 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 428551 419635 528 1169 0 427378 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1714204
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2654
/proc/meminfo: memFree=26741676/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=1849748 CPUtime=522.3 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 466591 0 0 0 52174 56 0 0 25 0 1 0 890974238 1894141952 453035 33554432000 4194304 8979876 140734594539840 18446744073709551615 4347916 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 462437 453035 528 1169 0 461264 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1849748
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2694
/proc/meminfo: memFree=28962700/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=1934452 CPUtime=582.31 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 487685 0 0 0 58172 59 0 0 25 0 1 0 890974238 1980878848 474129 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 483613 474129 528 1169 0 482440 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1934452
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26739192/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=2923124 CPUtime=1122.33 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 733513 0 0 0 112137 96 0 0 25 0 1 0 890974238 2993278976 719957 33554432000 4194304 8979876 140734594539840 18446744073709551615 5284631 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 730781 719957 533 1169 0 729608 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2923124
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2710
/proc/meminfo: memFree=26631516/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=2972692 CPUtime=1182.33 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 745843 0 0 0 118136 97 0 0 25 0 1 0 890974238 3044036608 732287 33554432000 4194304 8979876 140734594539840 18446744073709551615 5284637 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 743173 732287 533 1169 0 742000 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2972692
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2712
/proc/meminfo: memFree=26463444/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3069616 CPUtime=1242.33 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 769453 0 0 0 124132 101 0 0 25 0 1 0 890974238 3143286784 755897 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 767404 755897 533 1169 0 766231 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3069616
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2714
/proc/meminfo: memFree=26365568/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3097824 CPUtime=1302.34 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 776503 0 0 0 130131 103 0 0 25 0 1 0 890974238 3172171776 762947 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 774456 762947 533 1169 0 773283 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3097824
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2715
/proc/meminfo: memFree=26262228/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3135744 CPUtime=1362.34 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 786147 0 0 0 136130 104 0 0 25 0 1 0 890974238 3211001856 772591 33554432000 4194304 8979876 140734594539840 18446744073709551615 5308157 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 783936 772591 533 1169 0 782763 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3135744
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2717
/proc/meminfo: memFree=26155176/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3173872 CPUtime=1422.34 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 795197 0 0 0 142129 105 0 0 25 0 1 0 890974238 3250044928 781641 33554432000 4194304 8979876 140734594539840 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 793468 781641 533 1169 0 792295 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3173872
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2718
/proc/meminfo: memFree=26047748/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3207008 CPUtime=1482.34 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 804188 0 0 0 148127 107 0 0 25 0 1 0 890974238 3283976192 790632 33554432000 4194304 8979876 140734594539840 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 801752 790632 533 1169 0 800579 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3207008
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 2720
/proc/meminfo: memFree=25734220/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3273332 CPUtime=1542.34 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 820766 0 0 0 154124 110 0 0 25 0 1 0 890974238 3351891968 807210 33554432000 4194304 8979876 140734594539840 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 818333 807210 533 1169 0 817160 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3273332
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2764
/proc/meminfo: memFree=27887488/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3317204 CPUtime=1602.35 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 831884 0 0 0 160123 112 0 0 25 0 1 0 890974238 3396816896 818328 33554432000 4194304 8979876 140734594539840 18446744073709551615 4321411 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 829301 818328 533 1169 0 828128 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3317204
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2765
/proc/meminfo: memFree=27838096/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3356232 CPUtime=1662.34 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 841396 0 0 0 166122 112 0 0 25 0 1 0 890974238 3436781568 827840 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 839058 827840 533 1169 0 837885 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3356232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2767
/proc/meminfo: memFree=27770856/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3420504 CPUtime=1722.35 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 876798 0 0 0 172119 116 0 0 25 0 1 0 890974238 3502596096 844531 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 855126 844531 587 1169 0 853953 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3420504
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2768
/proc/meminfo: memFree=27735588/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3454048 CPUtime=1782.34 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 885472 0 0 0 178117 117 0 0 25 0 1 0 890974238 3536945152 853205 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503296 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 863512 853205 587 1169 0 862339 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3454048
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2769
/proc/meminfo: memFree=27730364/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3458080 CPUtime=1791.96 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 886886 0 0 0 179078 118 0 0 25 0 1 0 890974238 3541073920 854619 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 864520 854619 587 1169 0 863347 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 3458080
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2769
/proc/meminfo: memFree=27728504/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3459668 CPUtime=1795.15 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 887209 0 0 0 179397 118 0 0 25 0 1 0 890974238 3542700032 854942 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 864917 854942 587 1169 0 863744 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3459668
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2769
/proc/meminfo: memFree=27727884/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3461372 CPUtime=1796.75 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 887515 0 0 0 179557 118 0 0 25 0 1 0 890974238 3544444928 855248 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 865343 855248 587 1169 0 864170 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 3461372
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2769
/proc/meminfo: memFree=27727264/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3461372 CPUtime=1797.55 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 887529 0 0 0 179637 118 0 0 25 0 1 0 890974238 3544444928 855262 33554432000 4194304 8979876 140734594539840 18446744073709551615 6503516 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2636/statm: 865343 855262 587 1169 0 864170 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 3461372
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2769
/proc/meminfo: memFree=27727264/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3448276 CPUtime=1798.35 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 889069 0 0 0 179717 118 0 0 25 0 1 0 890974238 3531034624 852089 33554432000 4194304 8979876 140734594539840 18446744073709551615 6501947 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2636/statm: 862069 852089 620 1169 0 860896 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (KiB) 3448276
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2769
/proc/meminfo: memFree=27819644/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=3131556 CPUtime=1798.56 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 889071 0 0 0 179736 120 0 0 25 0 1 0 890974238 3206713344 773267 33554432000 4194304 8979876 140734594539840 18446744073709551615 6778252 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2636/statm: 782889 773267 622 1169 0 781716 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (KiB) 3131556
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2769
/proc/meminfo: memFree=27819644/32951124 swapFree=67064368/67111528
[pid=2636] ppid=2634 vsize=2547056 CPUtime=1798.65 cores=0,2,4,6
/proc/2636/stat : 2636 (scip-2.0.1.4_2.) R 2634 2636 1656 0 -1 4202496 889076 0 0 0 179739 126 0 0 25 0 1 0 890974238 2608185344 373261 33554432000 4194304 8979876 140734594539840 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2636/statm: 636764 373027 627 1169 0 635591 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 2547056
Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.72
CPU user time (s): 1797.39
CPU system time (s): 1.3318
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3467400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.39
system time used= 1.3318
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 889081
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= 2072
runsolver used 2.79257 second user time and 5.51716 second system time
The end