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-3489745-1307792968.opb>
1.29/1.39 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245287 constraints
1.29/1.39 c problem read
1.29/1.39 c presolving settings loaded
1.79/1.86 c presolving:
9.80/9.85 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
13.69/13.77 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
14.79/14.89 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
15.49/15.54 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
15.89/15.93 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
16.09/16.15 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
16.29/16.31 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
16.40/16.41 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
16.40/16.48 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
16.50/16.55 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
996.02/996.04 c (996.0s) probing: 1000/57022 (1.8%) - 1 fixings, 1 aggregations, 13003502 implications, 0 bound changes
1584.44/1584.40 c (1584.4s) probing: 2000/57022 (3.5%) - 1 fixings, 1 aggregations, 20392398 implications, 0 bound changes
1649.34/1649.33 c (1649.3s) probing: 2125/57022 (3.7%) - 1 fixings, 1 aggregations, 21198622 implications, 0 bound changes
1649.34/1649.33 c (1649.3s) probing aborted: 2000/2000 successive useless probings
1649.34/1649.33 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
1649.54/1649.59 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
1650.54/1650.57 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
1652.74/1652.73 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
1798.05/1798.07 c (1798.1s) probing: 2245/57022 (3.9%) - 3 fixings, 3 aggregations, 22071707 implications, 0 bound changes
1798.05/1798.07 c (1798.1s) probing aborted: solving stopped
1798.05/1798.07 c presolving (15 rounds):
1798.05/1798.07 c 15826 deleted vars, 58534 deleted constraints, 23 added constraints, 12164 tightened bounds, 0 added holes, 50 changed sides, 165 changed coefficients
1798.05/1798.07 c 95141935 implications, 0 cliques
1798.05/1798.07 c presolved problem has 57016 variables (57016 bin, 0 int, 0 impl, 0 cont) and 186776 constraints
1798.05/1798.07 c 1174 constraints of type <knapsack>
1798.05/1798.07 c 157410 constraints of type <setppc>
1798.05/1798.07 c 28192 constraints of type <logicor>
1798.05/1798.07 c transformed objective value is always integral (scale: 1)
1798.05/1798.07 c Presolving Time: 1796.33
1798.05/1798.07 c - non default parameters ----------------------------------------------------------------------
1798.05/1798.07 c # SCIP version 2.0.1.5
1798.05/1798.07 c
1798.05/1798.07 c # frequency for displaying node information lines
1798.05/1798.07 c # [type: int, range: [-1,2147483647], default: 100]
1798.05/1798.07 c display/freq = 10000
1798.05/1798.07 c
1798.05/1798.07 c # maximal time in seconds to run
1798.05/1798.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1798.05/1798.07 c limits/time = 1797
1798.05/1798.07 c
1798.05/1798.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1798.05/1798.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1798.05/1798.07 c limits/memory = 13950
1798.05/1798.07 c
1798.05/1798.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
1798.05/1798.07 c # [type: int, range: [1,2], default: 1]
1798.05/1798.07 c timing/clocktype = 2
1798.05/1798.07 c
1798.05/1798.07 c # belongs reading time to solving time?
1798.05/1798.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.05/1798.07 c timing/reading = TRUE
1798.05/1798.07 c
1798.05/1798.07 c # should presolving try to simplify inequalities
1798.05/1798.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.05/1798.07 c constraints/linear/simplifyinequalities = TRUE
1798.05/1798.07 c
1798.05/1798.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1798.05/1798.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.05/1798.07 c constraints/indicator/addCouplingCons = TRUE
1798.05/1798.07 c
1798.05/1798.07 c # should presolving try to simplify knapsacks
1798.05/1798.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1798.05/1798.07 c constraints/knapsack/simplifyinequalities = TRUE
1798.05/1798.07 c
1798.05/1798.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1798.05/1798.07 c # [type: int, range: [-1,2147483647], default: -1]
1798.05/1798.07 c separating/rapidlearning/freq = 0
1798.05/1798.07 c
1798.05/1798.07 c -----------------------------------------------------------------------------------------------
1798.05/1798.07 c start solving
1798.05/1798.09 c
1798.05/1798.09 c
1798.05/1798.09 c SCIP Status : solving was interrupted [time limit reached]
1798.05/1798.09 c Solving Time (sec) : 1798.09
1798.05/1798.09 c Solving Nodes : 0
1798.05/1798.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.05/1798.09 c Dual Bound : -1.00000000000000e+20
1798.05/1798.09 c Gap : infinite
1798.05/1798.09 s UNKNOWN
1798.05/1798.09 c SCIP Status : solving was interrupted [time limit reached]
1798.05/1798.09 c Total Time : 1798.09
1798.05/1798.09 c solving : 1798.09
1798.05/1798.09 c presolving : 1796.33 (included in solving)
1798.05/1798.09 c reading : 1.39 (included in solving)
1798.05/1798.09 c Original Problem :
1798.05/1798.09 c Problem name : HOME/instance-3489745-1307792968.opb
1798.05/1798.09 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.05/1798.09 c Constraints : 245287 initial, 245287 maximal
1798.05/1798.09 c Presolved Problem :
1798.05/1798.09 c Problem name : t_HOME/instance-3489745-1307792968.opb
1798.05/1798.09 c Variables : 57016 (57016 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.05/1798.09 c Constraints : 186776 initial, 186776 maximal
1798.05/1798.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1798.05/1798.09 c trivial : 0.05 947 0 0 0 0 0 0 0 0
1798.05/1798.09 c dualfix : 0.08 120 0 0 0 0 0 0 0 0
1798.05/1798.09 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1798.05/1798.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1798.05/1798.09 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1798.05/1798.09 c implics : 1.01 0 0 0 0 0 0 0 0 0
1798.05/1798.09 c probing : 1777.70 3 3 0 0 0 0 0 0 0
1798.05/1798.09 c knapsack : 1.75 0 0 0 0 0 2 23 36 145
1798.05/1798.09 c setppc : 0.37 0 0 0 0 0 10 0 0 0
1798.05/1798.09 c linear : 14.89 11217 3536 0 12164 0 58522 0 14 20
1798.05/1798.09 c logicor : 0.09 0 0 0 0 0 0 0 0 0
1798.05/1798.09 c root node : - 0 - - 0 - - - - -
1798.05/1798.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1798.05/1798.09 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1798.05/1798.09 c knapsack : 1174 0 2733 0 0 0 0 2 0 0 0 0
1798.05/1798.09 c setppc : 157410 0 2731 0 0 0 0 0 0 0 0 0
1798.05/1798.09 c logicor : 28192 0 2590 0 0 0 0 0 0 0 0 0
1798.05/1798.09 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1798.05/1798.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1798.05/1798.09 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.05/1798.09 c knapsack : 0.28 0.00 0.28 0.00 0.00 0.00 0.00
1798.05/1798.09 c setppc : 7.54 0.00 7.54 0.00 0.00 0.00 0.00
1798.05/1798.09 c logicor : 0.93 0.00 0.93 0.00 0.00 0.00 0.00
1798.05/1798.09 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1798.05/1798.09 c Propagators : #Propagate #Resprop Cutoffs DomReds
1798.05/1798.09 c vbounds : 0 0 0 0
1798.05/1798.09 c rootredcost : 0 0 0 0
1798.05/1798.09 c pseudoobj : 0 0 0 0
1798.05/1798.09 c Propagator Timings : TotalTime Propagate Resprop
1798.05/1798.09 c vbounds : 0.06 0.06 0.00
1798.05/1798.09 c rootredcost : 0.03 0.03 0.00
1798.05/1798.09 c pseudoobj : 0.02 0.02 0.00
1798.05/1798.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.05/1798.09 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1798.05/1798.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.05/1798.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.05/1798.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.05/1798.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.05/1798.09 c applied globally : - - - 0 0.0 - - -
1798.05/1798.09 c applied locally : - - - 0 0.0 - - -
1798.05/1798.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.05/1798.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1798.05/1798.09 c redcost : 0.00 0 0 0 0 0
1798.05/1798.09 c impliedbounds : 0.00 0 0 0 0 0
1798.05/1798.09 c intobj : 0.00 0 0 0 0 0
1798.05/1798.09 c gomory : 0.00 0 0 0 0 0
1798.05/1798.09 c cgmip : 0.00 0 0 0 0 0
1798.05/1798.09 c closecuts : 0.00 0 0 0 0 0
1798.05/1798.09 c strongcg : 0.00 0 0 0 0 0
1798.05/1798.09 c cmir : 0.00 0 0 0 0 0
1798.05/1798.09 c flowcover : 0.00 0 0 0 0 0
1798.05/1798.09 c clique : 0.00 0 0 0 0 0
1798.05/1798.09 c zerohalf : 0.00 0 0 0 0 0
1798.05/1798.09 c mcf : 0.00 0 0 0 0 0
1798.05/1798.09 c oddcycle : 0.00 0 0 0 0 0
1798.05/1798.09 c rapidlearning : 0.00 0 0 0 0 0
1798.05/1798.09 c Pricers : Time Calls Vars
1798.05/1798.09 c problem variables: 0.00 0 0
1798.05/1798.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.05/1798.09 c pscost : 0.00 0 0 0 0 0 0
1798.05/1798.09 c inference : 0.00 0 0 0 0 0 0
1798.05/1798.09 c mostinf : 0.00 0 0 0 0 0 0
1798.05/1798.09 c leastinf : 0.00 0 0 0 0 0 0
1798.05/1798.09 c fullstrong : 0.00 0 0 0 0 0 0
1798.05/1798.09 c allfullstrong : 0.00 0 0 0 0 0 0
1798.05/1798.09 c random : 0.00 0 0 0 0 0 0
1798.05/1798.09 c relpscost : 0.00 0 0 0 0 0 0
1798.05/1798.09 c Primal Heuristics : Time Calls Found
1798.05/1798.09 c LP solutions : 0.00 - 0
1798.05/1798.09 c pseudo solutions : 0.00 - 0
1798.05/1798.09 c trivial : 0.06 1 0
1798.05/1798.09 c shiftandpropagate: 0.00 0 0
1798.05/1798.09 c simplerounding : 0.00 0 0
1798.05/1798.09 c zirounding : 0.00 0 0
1798.05/1798.09 c rounding : 0.00 0 0
1798.05/1798.09 c shifting : 0.00 0 0
1798.05/1798.09 c intshifting : 0.00 0 0
1798.05/1798.09 c oneopt : 0.00 0 0
1798.05/1798.09 c twoopt : 0.00 0 0
1798.05/1798.09 c fixandinfer : 0.00 0 0
1798.05/1798.09 c feaspump : 0.00 0 0
1798.05/1798.09 c clique : 0.00 0 0
1798.05/1798.09 c coefdiving : 0.00 0 0
1798.05/1798.09 c pscostdiving : 0.00 0 0
1798.05/1798.09 c fracdiving : 0.00 0 0
1798.05/1798.09 c veclendiving : 0.00 0 0
1798.05/1798.09 c intdiving : 0.00 0 0
1798.05/1798.09 c actconsdiving : 0.00 0 0
1798.05/1798.09 c objpscostdiving : 0.00 0 0
1798.05/1798.09 c rootsoldiving : 0.00 0 0
1798.05/1798.09 c linesearchdiving : 0.00 0 0
1798.05/1798.09 c guideddiving : 0.00 0 0
1798.05/1798.09 c octane : 0.00 0 0
1798.05/1798.09 c rens : 0.00 0 0
1798.05/1798.09 c rins : 0.00 0 0
1798.05/1798.09 c localbranching : 0.00 0 0
1798.05/1798.09 c mutation : 0.00 0 0
1798.05/1798.09 c crossover : 0.00 0 0
1798.05/1798.09 c dins : 0.00 0 0
1798.05/1798.09 c vbounds : 0.00 0 0
1798.05/1798.09 c undercover : 0.00 0 0
1798.05/1798.09 c subnlp : 0.00 0 0
1798.05/1798.09 c trysol : 0.00 0 0
1798.05/1798.09 c LP : Time Calls Iterations Iter/call Iter/sec
1798.05/1798.09 c primal LP : 0.00 0 0 0.00 -
1798.05/1798.09 c dual LP : 0.00 0 0 0.00 -
1798.05/1798.09 c lex dual LP : 0.00 0 0 0.00 -
1798.05/1798.09 c barrier LP : 0.00 0 0 0.00 -
1798.05/1798.09 c diving/probing LP: 0.00 0 0 0.00 -
1798.05/1798.09 c strong branching : 0.00 0 0 0.00 -
1798.05/1798.09 c (at root node) : - 0 0 0.00 -
1798.05/1798.09 c conflict analysis: 0.00 0 0 0.00 -
1798.05/1798.09 c B&B Tree :
1798.05/1798.09 c number of runs : 1
1798.05/1798.09 c nodes : 0
1798.05/1798.09 c nodes (total) : 0
1798.05/1798.09 c nodes left : 1
1798.05/1798.09 c max depth : -1
1798.05/1798.09 c max depth (total): -1
1798.05/1798.09 c backtracks : 0 (0.0%)
1798.05/1798.09 c delayed cutoffs : 0
1798.05/1798.09 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.05/1798.09 c avg switch length: 0.00
1798.05/1798.09 c switching time : 0.00
1798.05/1798.09 c Solution :
1798.05/1798.09 c Solutions found : 0 (0 improvements)
1798.05/1798.09 c Primal Bound : -
1798.05/1798.09 c Dual Bound : -
1798.05/1798.09 c Gap : infinite
1798.05/1798.09 c Root Dual Bound : -
1798.05/1798.09 c Root Iterations : 0
1798.75/1798.75 c Time complete: 1798.8.
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-3489745-1307792968/watcher-3489745-1307792968 -o /tmp/evaluation-result-3489745-1307792968/solver-3489745-1307792968 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489745-1307792968.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.01 2.00 1.99 2/174 14655
/proc/meminfo: memFree=29127244/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=12560 CPUtime=0 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 2131 0 0 0 0 0 0 0 25 0 1 0 871712426 12861440 2086 33554432000 4194304 9016284 140735303217968 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14655/statm: 3140 2089 353 1178 0 1958 0
[startup+0.085039 s]
/proc/loadavg: 2.01 2.00 1.99 2/174 14655
/proc/meminfo: memFree=29127244/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=28904 CPUtime=0.07 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 6227 0 0 0 7 0 0 0 25 0 1 0 871712426 29597696 6182 33554432000 4194304 9016284 140735303217968 18446744073709551615 6151457 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14655/statm: 7226 6182 360 1178 0 6044 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28904
[startup+0.101029 s]
/proc/loadavg: 2.01 2.00 1.99 2/174 14655
/proc/meminfo: memFree=29127244/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=32388 CPUtime=0.09 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 7097 0 0 0 9 0 0 0 25 0 1 0 871712426 33165312 7052 33554432000 4194304 9016284 140735303217968 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14655/statm: 8097 7052 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32388
[startup+0.301008 s]
/proc/loadavg: 2.01 2.00 1.99 2/174 14655
/proc/meminfo: memFree=29127244/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=59136 CPUtime=0.29 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 13783 0 0 0 28 1 0 0 25 0 1 0 871712426 60555264 13738 33554432000 4194304 9016284 140735303217968 18446744073709551615 6152001 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14655/statm: 14784 13738 360 1178 0 13602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59136
[startup+0.700921 s]
/proc/loadavg: 2.01 2.00 1.99 2/174 14655
/proc/meminfo: memFree=29127244/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=88692 CPUtime=0.69 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 21171 0 0 0 67 2 0 0 25 0 1 0 871712426 90820608 21126 33554432000 4194304 9016284 140735303217968 18446744073709551615 6417648 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14655/statm: 22173 21126 360 1178 0 20991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88692
[startup+1.50074 s]
/proc/loadavg: 2.01 2.00 1.99 3/175 14656
/proc/meminfo: memFree=29009444/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=249720 CPUtime=1.49 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 61350 0 0 0 142 7 0 0 25 0 1 0 871712426 255713280 61230 33554432000 4194304 9016284 140735303217968 18446744073709551615 4881085 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14655/statm: 62687 61261 406 1178 0 61505 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 249720
[startup+3.10047 s]
/proc/loadavg: 2.01 2.00 1.99 3/175 14656
/proc/meminfo: memFree=28730312/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=510460 CPUtime=3.09 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 125192 0 0 0 295 14 0 0 25 0 1 0 871712426 522711040 125072 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14655/statm: 127615 125072 485 1178 0 126433 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510460
[startup+6.30086 s]
/proc/loadavg: 2.01 2.00 1.99 3/175 14656
/proc/meminfo: memFree=28467060/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=725144 CPUtime=6.29 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 178486 0 0 0 610 19 0 0 25 0 1 0 871712426 742547456 178366 33554432000 4194304 9016284 140735303217968 18446744073709551615 5232026 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14655/statm: 181286 178366 485 1178 0 180104 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725144
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14656
/proc/meminfo: memFree=28249664/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=889060 CPUtime=12.69 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 217184 0 0 0 1246 23 0 0 25 0 1 0 871712426 910397440 216807 33554432000 4194304 9016284 140735303217968 18446744073709551615 6481206 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14655/statm: 222265 216807 496 1178 0 221083 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 889060
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14657
/proc/meminfo: memFree=28163476/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=968324 CPUtime=25.49 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 236208 0 0 0 2524 25 0 0 25 0 1 0 871712426 991563776 235725 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14655/statm: 242081 235725 526 1178 0 240899 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 968324
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14657
/proc/meminfo: memFree=28035692/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1013564 CPUtime=51.09 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 246448 0 0 0 5083 26 0 0 25 0 1 0 871712426 1037889536 245965 33554432000 4194304 9016284 140735303217968 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 253391 245965 526 1178 0 252209 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1013564
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14659
/proc/meminfo: memFree=27921636/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1067960 CPUtime=102.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 260451 0 0 0 10202 28 0 0 25 0 1 0 871712426 1093591040 259968 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 266990 259968 526 1178 0 265808 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1067960
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14660
/proc/meminfo: memFree=27746740/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1188948 CPUtime=162.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 289809 0 0 0 16198 32 0 0 25 0 1 0 871712426 1217482752 289326 33554432000 4194304 9016284 140735303217968 18446744073709551615 5251802 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 297237 289326 526 1178 0 296055 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1188948
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14662
/proc/meminfo: memFree=27632116/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1264412 CPUtime=222.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 309190 0 0 0 22196 34 0 0 25 0 1 0 871712426 1294757888 308707 33554432000 4194304 9016284 140735303217968 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 316103 308707 526 1178 0 314921 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1264412
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14663
/proc/meminfo: memFree=27535604/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1326984 CPUtime=282.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 324632 0 0 0 28194 36 0 0 25 0 1 0 871712426 1358831616 324116 33554432000 4194304 9016284 140735303217968 18446744073709551615 5228157 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 331746 324116 526 1178 0 330564 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1326984
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14665
/proc/meminfo: memFree=27305908/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1524688 CPUtime=342.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 373123 0 0 0 34187 43 0 0 25 0 1 0 871712426 1561280512 372607 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 381172 372607 526 1178 0 379990 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1524688
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14667
/proc/meminfo: memFree=26880044/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1646696 CPUtime=402.3 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 404190 0 0 0 40184 46 0 0 25 0 1 0 871712426 1686216704 403674 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 411674 403674 526 1178 0 410492 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1646696
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14668
/proc/meminfo: memFree=26783652/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1713564 CPUtime=462.31 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 420590 0 0 0 46182 49 0 0 25 0 1 0 871712426 1754689536 420074 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 428391 420074 526 1178 0 427209 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1713564
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14670
/proc/meminfo: memFree=26637896/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1850168 CPUtime=522.31 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 454184 0 0 0 52178 53 0 0 25 0 1 0 871712426 1894572032 453668 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 462542 453668 526 1178 0 461360 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1850168
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14671
/proc/meminfo: memFree=26515464/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=1954312 CPUtime=582.31 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 480107 0 0 0 58175 56 0 0 25 0 1 0 871712426 2001215488 479591 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 488578 479591 526 1178 0 487396 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1954312
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27585992/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=2846396 CPUtime=1062.33 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 701682 0 0 0 106145 88 0 0 25 0 1 0 871712426 2914709504 701166 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 711599 701166 531 1178 0 710417 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2846396
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14734
/proc/meminfo: memFree=27286480/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=2926556 CPUtime=1122.33 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 721691 0 0 0 112143 90 0 0 25 0 1 0 871712426 2996793344 721175 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 731639 721175 531 1178 0 730457 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2926556
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14735
/proc/meminfo: memFree=27102652/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=2974020 CPUtime=1182.32 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 733601 0 0 0 118141 91 0 0 25 0 1 0 871712426 3045396480 733085 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 743505 733085 531 1178 0 742323 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2974020
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14737
/proc/meminfo: memFree=26831664/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3067944 CPUtime=1242.33 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 756547 0 0 0 124136 97 0 0 25 0 1 0 871712426 3141574656 756031 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 766986 756031 531 1178 0 765804 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3067944
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 14739
/proc/meminfo: memFree=26635820/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3104856 CPUtime=1302.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 765452 0 0 0 130136 98 0 0 25 0 1 0 871712426 3179372544 764936 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 776214 764936 531 1178 0 775032 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3104856
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 14740
/proc/meminfo: memFree=26349704/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3141048 CPUtime=1362.33 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 774953 0 0 0 136133 100 0 0 25 0 1 0 871712426 3216433152 774437 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 785262 774437 531 1178 0 784080 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3141048
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 14742
/proc/meminfo: memFree=26179028/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3175184 CPUtime=1422.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 783445 0 0 0 142133 101 0 0 25 0 1 0 871712426 3251388416 782929 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 793796 782929 531 1178 0 792614 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3175184
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14743
/proc/meminfo: memFree=26032532/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3215408 CPUtime=1482.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 793981 0 0 0 148131 103 0 0 25 0 1 0 871712426 3292577792 793465 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257496 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 803852 793465 531 1178 0 802670 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3215408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14745
/proc/meminfo: memFree=25818088/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3282612 CPUtime=1542.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 810681 0 0 0 154129 105 0 0 25 0 1 0 871712426 3361394688 810165 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480433 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 820653 810165 531 1178 0 819471 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3282612
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14747
/proc/meminfo: memFree=25697748/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3327480 CPUtime=1602.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 821657 0 0 0 160128 106 0 0 25 0 1 0 871712426 3407339520 821141 33554432000 4194304 9016284 140735303217968 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 831870 821141 531 1178 0 830688 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3327480
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14748
/proc/meminfo: memFree=25485540/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3412916 CPUtime=1662.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 860442 0 0 0 166123 111 0 0 25 0 1 0 871712426 3494825984 842815 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480364 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 853229 842815 579 1178 0 852047 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3412916
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14750
/proc/meminfo: memFree=25387656/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3432528 CPUtime=1722.34 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 865529 0 0 0 172122 112 0 0 25 0 1 0 871712426 3514908672 847902 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 858132 847902 579 1178 0 856950 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3432528
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14751
/proc/meminfo: memFree=25291608/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3465428 CPUtime=1782.35 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 874047 0 0 0 178122 113 0 0 25 0 1 0 871712426 3548598272 856420 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 866357 856420 579 1178 0 865175 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3465428
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 14752
/proc/meminfo: memFree=25278700/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3471748 CPUtime=1791.95 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 875397 0 0 0 179082 113 0 0 25 0 1 0 871712426 3555069952 857770 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 867937 857770 579 1178 0 866755 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 3471748
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25271384/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3473516 CPUtime=1795.15 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 875950 0 0 0 179402 113 0 0 25 0 1 0 871712426 3556880384 858323 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 868379 858323 579 1178 0 867197 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 3473516
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25269524/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3474400 CPUtime=1796.75 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 876200 0 0 0 179562 113 0 0 25 0 1 0 871712426 3557785600 858573 33554432000 4194304 9016284 140735303217968 18446744073709551615 4888970 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 868600 858573 579 1178 0 867418 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 3474400
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25268656/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3474400 CPUtime=1797.55 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 876205 0 0 0 179642 113 0 0 25 0 1 0 871712426 3557785600 858578 33554432000 4194304 9016284 140735303217968 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14655/statm: 868600 858578 579 1178 0 867418 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 3474400
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25268656/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=3477276 CPUtime=1798.35 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 878127 0 0 0 179721 114 0 0 18 0 1 0 871712426 3560730624 859012 33554432000 4194304 9016284 140735303217968 18446744073709551615 6470240 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14655/statm: 869319 859012 605 1178 0 868137 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (KiB) 3477276
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14752
/proc/meminfo: memFree=25274112/32951124 swapFree=67064580/67111528
[pid=14655] ppid=14653 vsize=2467312 CPUtime=1798.75 cores=0,2,4,6
/proc/14655/stat : 14655 (scip-2.0.1.4b_2) R 14653 14655 13556 0 -1 4202496 878134 0 0 0 179752 123 0 0 18 0 1 0 871712426 2526527488 334097 33554432000 4194304 9016284 140735303217968 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14655/statm: 616828 334097 612 1178 0 615646 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (KiB) 2467312
Child status: 0
Real time (s): 1798.76
CPU time (s): 1798.82
CPU user time (s): 1797.53
CPU system time (s): 1.2878
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3480356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.53
system time used= 1.2878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 878139
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= 7
involuntary context switches= 3550
runsolver used 2.67459 second user time and 5.56115 second system time
The end