0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692089-1338030085.opb>
1.49/1.52 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
1.49/1.52 c problem read in 1.52
2.99/3.01 c presolving:
10.79/10.87 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 656900 upgd conss, 1313400 impls, 0 clqs
16.09/16.15 c (16.1s) probing: 51/10000 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
16.09/16.15 c (16.1s) probing aborted: 50/50 successive totally useless probings
16.29/16.38 c presolving (2 rounds):
16.29/16.38 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
16.29/16.38 c 1313400 implications, 0 cliques
16.29/16.38 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 656900 constraints
16.29/16.38 c 656700 constraints of type <setppc>
16.29/16.38 c 200 constraints of type <logicor>
16.29/16.38 c transformed objective value is always integral (scale: 1)
16.29/16.38 c Presolving Time: 13.63
16.29/16.38 c - non default parameters ----------------------------------------------------------------------
16.29/16.38 c # SCIP version 2.1.1.4
16.29/16.38 c
16.29/16.38 c # maximal time in seconds to run
16.29/16.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.29/16.38 c limits/time = 1797
16.29/16.38 c
16.29/16.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.29/16.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.29/16.38 c limits/memory = 13950
16.29/16.38 c
16.29/16.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
16.29/16.38 c # [type: int, range: [1,2], default: 1]
16.29/16.38 c timing/clocktype = 2
16.29/16.38 c
16.29/16.38 c # belongs reading time to solving time?
16.29/16.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.29/16.38 c timing/reading = TRUE
16.29/16.38 c
16.29/16.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
16.29/16.38 c # [type: int, range: [-1,2147483647], default: -1]
16.29/16.38 c separating/rapidlearning/freq = 0
16.29/16.38 c
16.29/16.38 c -----------------------------------------------------------------------------------------------
16.29/16.38 c start solving
16.39/16.43 c
35.58/35.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.58/35.63 c 35.6s| 1 | 0 | 1145 | - | 914M| 0 | 257 | 10k| 656k| 10k| 656k| 0 | 42 | 0 | 1.722431e+02 | -- | Inf
374.43/374.55 c 375s| 1 | 0 | 21966 | - | 938M| 0 | 289 | 10k| 656k| 10k| 656k| 9 | 42 | 0 | 1.779507e+02 | -- | Inf
496.32/496.43 c 496s| 1 | 0 | 22403 | - | 938M| 0 | 277 | 10k| 656k| 10k| 656k| 16 | 42 | 0 | 1.826713e+02 | -- | Inf
623.90/624.07 c 624s| 1 | 0 | 23342 | - | 938M| 0 | 296 | 10k| 656k| 10k| 656k| 25 | 42 | 0 | 1.878607e+02 | -- | Inf
758.88/759.08 c 759s| 1 | 0 | 24111 | - | 938M| 0 | 289 | 10k| 656k| 10k| 656k| 33 | 42 | 0 | 1.908037e+02 | -- | Inf
1412.57/1412.80 c 1413s| 1 | 0 | 24604 | - | 938M| 0 | 288 | 10k| 656k| 10k| 656k| 39 | 42 | 0 | 1.927468e+02 | -- | Inf
1796.70/1797.07 c 1797s| 1 | 2 | 24604 | - | 938M| 0 | 288 | 10k| 656k| 10k| 656k| 39 | 42 | 0 | 1.927468e+02 | -- | Inf
1796.70/1797.07 c
1796.70/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.07 c Solving Time (sec) : 1797.06
1796.70/1797.07 c Solving Nodes : 1
1796.70/1797.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.07 c Dual Bound : +1.92746779940549e+02
1796.70/1797.07 c Gap : infinite
1796.70/1797.07 s UNKNOWN
1796.70/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.07 c Total Time : 1797.06
1796.70/1797.07 c solving : 1797.06
1796.70/1797.07 c presolving : 13.63 (included in solving)
1796.70/1797.07 c reading : 1.52 (included in solving)
1796.70/1797.07 c copying : 0.00 (0 times copied the problem)
1796.70/1797.07 c Original Problem :
1796.70/1797.07 c Problem name : HOME/instance-3692089-1338030085.opb
1796.70/1797.07 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.07 c Constraints : 656900 initial, 656900 maximal
1796.70/1797.07 c Objective sense : minimize
1796.70/1797.07 c Presolved Problem :
1796.70/1797.07 c Problem name : t_HOME/instance-3692089-1338030085.opb
1796.70/1797.07 c Variables : 10000 (10000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.07 c Constraints : 656900 initial, 656942 maximal
1796.70/1797.07 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.07 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c gateextraction : 0.32 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c components : 0.21 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c pseudoobj : 0.00 0.03 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c probing : 3.23 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c setppc : 1.74 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c linear : 7.03 0.53 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c logicor : 0.01 0.02 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c root node : - - 0 - - 0 - - - - -
1796.70/1797.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.07 c integral : 0 0 0 0 1 0 4 0 0 0 0 0 2
1796.70/1797.07 c setppc : 656700 656700 6 269 0 0 3 16554 2 0 0 0 0
1796.70/1797.07 c logicor : 200+ 242 6 202 0 0 2 242 13 0 0 0 0
1796.70/1797.07 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.07 c integral : 0.03 0.00 0.00 0.00 0.02 0.00 0.00 0.00
1796.70/1797.07 c setppc : 7.51 0.00 0.39 6.97 0.00 0.00 0.13 0.02
1796.70/1797.07 c logicor : 0.27 0.02 0.00 0.24 0.00 0.00 0.00 0.01
1796.70/1797.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.07 c rootredcost : 0 0 0 0
1796.70/1797.07 c pseudoobj : 169 0 0 0
1796.70/1797.07 c vbounds : 0 0 0 0
1796.70/1797.07 c redcost : 6 0 0 0
1796.70/1797.07 c probing : 0 0 0 0
1796.70/1797.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.07 c rootredcost : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.07 c pseudoobj : 0.03 0.03 0.00 0.00 0.00
1796.70/1797.07 c vbounds : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.07 c redcost : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.07 c probing : 3.23 0.00 3.23 0.00 0.00
1796.70/1797.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.07 c propagation : 0.25 15 15 1004 532.9 0 0.0 -
1796.70/1797.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.07 c applied globally : - - - 42 97.8 - - -
1796.70/1797.07 c applied locally : - - - 0 0.0 - - -
1796.70/1797.07 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.07 c cut pool : 0.01 5 - - 0 - (maximal pool size: 96)
1796.70/1797.07 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.07 c impliedbounds : 0.01 0.00 6 0 0 0 0
1796.70/1797.07 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c gomory : 633.67 0.00 6 0 0 200 0
1796.70/1797.08 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c strongcg : 641.87 0.00 6 0 0 2000 0
1796.70/1797.08 c cmir : 11.01 0.00 5 0 0 0 0
1796.70/1797.08 c flowcover : 100.25 0.00 5 0 0 0 0
1796.70/1797.08 c clique : 1.09 0.00 5 0 0 30 0
1796.70/1797.08 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c mcf : 0.46 0.00 1 0 0 0 0
1796.70/1797.08 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.08 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.08 c problem variables: 0.00 - 0 0
1796.70/1797.08 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.08 c relpscost : 0.02 0.00 1 0 0 0 0 2
1796.70/1797.08 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.08 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.08 c LP solutions : 0.00 - - 0
1796.70/1797.08 c pseudo solutions : 0.00 - - 0
1796.70/1797.08 c oneopt : 0.00 0.00 0 0
1796.70/1797.08 c crossover : 0.00 0.00 0 0
1796.70/1797.08 c smallcard : 0.00 0.00 0 0
1796.70/1797.08 c trivial : 0.38 0.00 2 0
1796.70/1797.08 c shiftandpropagate: 6.22 0.00 1 0
1796.70/1797.08 c simplerounding : 0.00 0.00 0 0
1796.70/1797.08 c zirounding : 0.03 0.00 1 0
1796.70/1797.08 c rounding : 0.24 0.00 6 0
1796.70/1797.08 c shifting : 0.39 0.00 6 0
1796.70/1797.08 c intshifting : 0.00 0.00 0 0
1796.70/1797.08 c twoopt : 0.00 0.00 0 0
1796.70/1797.08 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.08 c indoneopt : 0.00 0.00 0 0
1796.70/1797.08 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.08 c feaspump : 293.28 0.00 1 0
1796.70/1797.08 c clique : 0.00 0.00 0 0
1796.70/1797.08 c indrounding : 0.00 0.00 0 0
1796.70/1797.08 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.08 c coefdiving : 0.00 0.00 0 0
1796.70/1797.08 c pscostdiving : 0.00 0.00 0 0
1796.70/1797.08 c fracdiving : 0.00 0.00 0 0
1796.70/1797.08 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.08 c veclendiving : 0.00 0.00 0 0
1796.70/1797.08 c intdiving : 0.00 0.00 0 0
1796.70/1797.08 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.08 c objpscostdiving : 0.00 0.00 0 0
1796.70/1797.08 c rootsoldiving : 0.00 0.00 0 0
1796.70/1797.08 c linesearchdiving : 0.00 0.00 0 0
1796.70/1797.08 c guideddiving : 0.00 0.00 0 0
1796.70/1797.08 c octane : 0.00 0.00 0 0
1796.70/1797.08 c rens : 0.00 0.00 0 0
1796.70/1797.08 c rins : 0.00 0.00 0 0
1796.70/1797.08 c localbranching : 0.00 0.00 0 0
1796.70/1797.08 c mutation : 0.00 0.00 0 0
1796.70/1797.08 c dins : 0.00 0.00 0 0
1796.70/1797.08 c vbounds : 0.00 0.00 0 0
1796.70/1797.08 c undercover : 0.00 0.00 0 0
1796.70/1797.08 c subnlp : 0.00 0.00 0 0
1796.70/1797.08 c trysol : 0.00 0.00 0 0
1796.70/1797.08 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.08 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.08 c dual LP : 90.85 7 4604 767.33 50.67 0.16 1
1796.70/1797.08 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.08 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.08 c diving/probing LP: 292.87 3 20000 6666.67 68.29
1796.70/1797.08 c strong branching : 0.00 0 0 0.00 -
1796.70/1797.08 c (at root node) : - 0 0 0.00 -
1796.70/1797.08 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.08 c B&B Tree :
1796.70/1797.08 c number of runs : 1
1796.70/1797.08 c nodes : 1
1796.70/1797.08 c nodes (total) : 1
1796.70/1797.08 c nodes left : 2
1796.70/1797.08 c max depth : 0
1796.70/1797.08 c max depth (total): 0
1796.70/1797.08 c backtracks : 0 (0.0%)
1796.70/1797.08 c delayed cutoffs : 0
1796.70/1797.08 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.08 c avg switch length: 1.00
1796.70/1797.08 c switching time : 0.00
1796.70/1797.08 c Solution :
1796.70/1797.08 c Solutions found : 0 (0 improvements)
1796.70/1797.08 c Primal Bound : -
1796.70/1797.08 c Dual Bound : +1.92746779940549e+02
1796.70/1797.08 c Gap : infinite
1796.70/1797.08 c Root Dual Bound : +1.92746779940549e+02
1796.70/1797.08 c Root Iterations : 24604
1799.90/1800.21 c Time complete: 1799.93.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692089-1338030085/watcher-3692089-1338030085 -o /tmp/evaluation-result-3692089-1338030085/solver-3692089-1338030085 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692089-1338030085.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6744
/proc/meminfo: memFree=26922724/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=12692 CPUtime=0 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 1901 0 0 0 0 0 0 0 20 0 1 0 269137050 12996608 1855 33554432000 4194304 10219143 140735188349632 140735285311960 7589947 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6744/statm: 3173 1862 413 1471 0 1693 0
[startup+0.103624 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6744
/proc/meminfo: memFree=26922724/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=36992 CPUtime=0.09 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 8048 0 0 0 9 0 0 0 20 0 1 0 269137050 37879808 7996 33554432000 4194304 10219143 140735188349632 140735285311960 4969911 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6744/statm: 9248 7996 421 1471 0 7768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36992
[startup+0.200377 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6744
/proc/meminfo: memFree=26922724/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=54532 CPUtime=0.19 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 12405 0 0 0 18 1 0 0 20 0 1 0 269137050 55840768 12353 33554432000 4194304 10219143 140735188349632 140735285311960 5541619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6744/statm: 13633 12353 421 1471 0 12153 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 54532
[startup+0.300378 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6744
/proc/meminfo: memFree=26922724/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=73112 CPUtime=0.29 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 16815 0 0 0 27 2 0 0 20 0 1 0 269137050 74866688 16765 33554432000 4194304 10219143 140735188349632 140735188214808 7589947 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6744/statm: 18278 16812 421 1471 0 16798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73112
[startup+0.700326 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6744
/proc/meminfo: memFree=26922724/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=146576 CPUtime=0.69 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 35372 0 0 0 63 6 0 0 20 0 1 0 269137050 150093824 35320 33554432000 4194304 10219143 140735188349632 140735188214808 8887123 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6744/statm: 36644 35320 421 1471 0 35164 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 146576
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6745
/proc/meminfo: memFree=26710040/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=292404 CPUtime=1.49 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 71807 0 0 0 137 12 0 0 20 0 1 0 269137050 299421696 71755 33554432000 4194304 10219143 140735188349632 140735188214808 9029200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6744/statm: 73101 71755 421 1471 0 71621 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 292404
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6745
/proc/meminfo: memFree=26330352/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=734264 CPUtime=3.09 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 182141 0 0 0 276 33 0 0 20 0 1 0 269137050 751886336 181475 33554432000 4194304 10219143 140735188349632 140735188347256 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 183566 181475 550 1471 0 182086 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 734264
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6745
/proc/meminfo: memFree=26228624/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=758864 CPUtime=6.29 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 188287 0 0 0 490 139 0 0 20 0 1 0 269137050 777076736 187621 33554432000 4194304 10219143 140735188349632 140735188346632 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 189716 187621 550 1471 0 188236 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 758864
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6745
/proc/meminfo: memFree=26180524/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=805040 CPUtime=12.69 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 254293 0 0 0 946 323 0 0 20 0 1 0 269137050 824360960 198116 33554432000 4194304 10219143 140735188349632 140735188346872 4846586 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 201260 198116 569 1471 0 199780 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 805040
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 6745
/proc/meminfo: memFree=25363948/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1685772 CPUtime=25.49 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 433797 0 0 0 2183 366 0 0 20 0 1 0 269137050 1726230528 400804 33554432000 4194304 10219143 140735188349632 140735188342984 8056443 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 421443 400804 744 1471 0 419963 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1685772
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6745
/proc/meminfo: memFree=25399076/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1605432 CPUtime=51.08 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 439317 0 0 0 4731 377 0 0 20 0 1 0 269137050 1643962368 391985 33554432000 4194304 10219143 140735188349632 140735188340792 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 401358 391985 763 1471 0 399878 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1605432
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 6746
/proc/meminfo: memFree=25398376/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1605432 CPUtime=102.27 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 440112 0 0 0 9838 389 0 0 20 0 1 0 269137050 1643962368 392072 33554432000 4194304 10219143 140735188349632 140735188340792 8056480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 401358 392072 763 1471 0 399878 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1605432
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 1.95 3/176 6746
/proc/meminfo: memFree=25398100/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1605432 CPUtime=162.26 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 441462 0 0 0 15815 411 0 0 20 0 1 0 269137050 1643962368 392218 33554432000 4194304 10219143 140735188349632 140735188340792 8056250 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 401358 392218 763 1471 0 399878 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1605432
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 6747
/proc/meminfo: memFree=25384660/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1605432 CPUtime=222.26 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 442742 0 0 0 21791 435 0 0 20 0 1 0 269137050 1643962368 392331 33554432000 4194304 10219143 140735188349632 140735188340792 8056250 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 401358 392331 763 1471 0 399878 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1605432
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6747
/proc/meminfo: memFree=25275896/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1605432 CPUtime=282.25 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 444204 0 0 0 27772 453 0 0 20 0 1 0 269137050 1643962368 392360 33554432000 4194304 10219143 140735188349632 140735188340888 8056245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 401358 392360 763 1471 0 399878 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1605432
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6747
/proc/meminfo: memFree=25223864/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1631836 CPUtime=342.24 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 454194 0 0 0 33754 470 0 0 20 0 1 0 269137050 1671000064 396921 33554432000 4194304 10219143 140735188349632 140735188344488 7266287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 407959 396921 778 1471 0 406479 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1631836
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6748
/proc/meminfo: memFree=25127796/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1752064 CPUtime=402.23 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 463538 0 0 0 39690 533 0 0 20 0 1 0 269137050 1794113536 419599 33554432000 4194304 10219143 140735188349632 140735188344520 7698849 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 438016 419599 797 1471 0 436536 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1752064
[startup+462.308 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6748
/proc/meminfo: memFree=25127876/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1752064 CPUtime=462.23 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 463538 0 0 0 45680 543 0 0 20 0 1 0 269137050 1794113536 419599 33554432000 4194304 10219143 140735188349632 140735188344472 8931175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 438016 419599 797 1471 0 436536 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 1752064
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 6751
/proc/meminfo: memFree=25038648/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1818780 CPUtime=522.21 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 464380 0 0 0 51671 550 0 0 20 0 1 0 269137050 1862430720 430661 33554432000 4194304 10219143 140735188349632 140735188344472 5169360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 454695 430661 798 1471 0 453215 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1818780
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6751
/proc/meminfo: memFree=25033516/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1818780 CPUtime=582.2 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 464380 0 0 0 57659 561 0 0 20 0 1 0 269137050 1862430720 430661 33554432000 4194304 10219143 140735188349632 140735188344792 7266287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 454695 430661 798 1471 0 453215 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1818780
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25083892/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1799864 CPUtime=1062.13 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466292 0 0 0 105567 646 0 0 20 0 1 0 269137050 1843060736 429784 33554432000 4194304 10219143 140735188349632 140735188344504 7701855 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 449966 429784 798 1471 0 448486 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1799864
[startup+1122.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 6756
/proc/meminfo: memFree=25083888/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1799864 CPUtime=1122.12 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466292 0 0 0 111556 656 0 0 20 0 1 0 269137050 1843060736 429784 33554432000 4194304 10219143 140735188349632 140735188344472 7701844 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 449966 429784 798 1471 0 448486 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1799864
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6756
/proc/meminfo: memFree=25083948/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1799864 CPUtime=1182.1 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466294 0 0 0 117543 667 0 0 20 0 1 0 269137050 1843060736 429784 33554432000 4194304 10219143 140735188349632 140735188344472 8891101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 449966 429784 798 1471 0 448486 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1799864
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6756
/proc/meminfo: memFree=25083852/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1799864 CPUtime=1242.09 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466295 0 0 0 123530 679 0 0 20 0 1 0 269137050 1843060736 429784 33554432000 4194304 10219143 140735188349632 140735188344472 7701844 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 449966 429784 798 1471 0 448486 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1799864
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6757
/proc/meminfo: memFree=25083016/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1799864 CPUtime=1302.09 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466297 0 0 0 129517 692 0 0 20 0 1 0 269137050 1843060736 429938 33554432000 4194304 10219143 140735188349632 140735188344472 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 449966 429938 798 1471 0 448486 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1799864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6757
/proc/meminfo: memFree=25079308/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1799864 CPUtime=1362.08 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466298 0 0 0 135504 704 0 0 20 0 1 0 269137050 1843060736 430961 33554432000 4194304 10219143 140735188349632 140735188344552 7701849 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 449966 430961 798 1471 0 448486 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1799864
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6757
/proc/meminfo: memFree=25104776/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1771636 CPUtime=1422.07 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466686 0 0 0 141495 712 0 0 20 0 1 0 269137050 1814155264 424523 33554432000 4194304 10219143 140735188349632 140735188344584 5160920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 442909 424523 798 1471 0 441429 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1771636
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6757
/proc/meminfo: memFree=25103688/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1771636 CPUtime=1482.06 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466686 0 0 0 147479 727 0 0 20 0 1 0 269137050 1814155264 424778 33554432000 4194304 10219143 140735188349632 140735188344504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 442909 424778 798 1471 0 441429 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1771636
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6757
/proc/meminfo: memFree=25101228/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1771636 CPUtime=1542.05 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466686 0 0 0 153467 738 0 0 20 0 1 0 269137050 1814155264 424778 33554432000 4194304 10219143 140735188349632 140735188344504 5160993 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 442909 424778 798 1471 0 441429 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1771636
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 6758
/proc/meminfo: memFree=25093048/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1771636 CPUtime=1602.03 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466688 0 0 0 159452 751 0 0 20 0 1 0 269137050 1814155264 426812 33554432000 4194304 10219143 140735188349632 140735188344504 8931182 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 442909 426812 798 1471 0 441429 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1771636
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 6758
/proc/meminfo: memFree=25091124/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1771636 CPUtime=1662.04 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466688 0 0 0 165439 765 0 0 20 0 1 0 269137050 1814155264 427265 33554432000 4194304 10219143 140735188349632 140735188344552 7698849 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 442909 427265 798 1471 0 441429 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1771636
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 6761
/proc/meminfo: memFree=25088468/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1771636 CPUtime=1722.02 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466688 0 0 0 171425 777 0 0 20 0 1 0 269137050 1814155264 427797 33554432000 4194304 10219143 140735188349632 140735188344472 8931175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 442909 427797 798 1471 0 441429 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1771636
[startup+1782.31 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 6799
/proc/meminfo: memFree=26734376/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1771636 CPUtime=1782.02 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466688 0 0 0 177411 791 0 0 20 0 1 0 269137050 1814155264 428045 33554432000 4194304 10219143 140735188349632 140735188344472 8930937 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 442909 428045 798 1471 0 441429 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1771636
Solver just ended. Dumping a history of the last processes samples
[startup+1792.21 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 6799
/proc/meminfo: memFree=26734500/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1771636 CPUtime=1791.91 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466688 0 0 0 178398 793 0 0 20 0 1 0 269137050 1814155264 428045 33554432000 4194304 10219143 140735188349632 140735188344472 7698832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 442909 428045 798 1471 0 441429 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 1771636
[startup+1795.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 6799
/proc/meminfo: memFree=26734624/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1771636 CPUtime=1795.11 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466688 0 0 0 178717 794 0 0 20 0 1 0 269137050 1814155264 428045 33554432000 4194304 10219143 140735188349632 140735188344472 7701840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 442909 428045 798 1471 0 441429 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 1771636
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 6799
/proc/meminfo: memFree=26738452/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1749964 CPUtime=1798.31 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466702 0 0 0 179036 795 0 0 20 0 1 0 269137050 1791963136 422641 33554432000 4194304 10219143 140735188349632 140735188348952 5015180 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 437491 422641 812 1471 0 436011 0
Current children cumulated CPU time (s) 1798.31
Current children cumulated vsize (KiB) 1749964
[startup+1799.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 6799
/proc/meminfo: memFree=26758292/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1730164 CPUtime=1799.11 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466702 0 0 0 179116 795 0 0 20 0 1 0 269137050 1771687936 417691 33554432000 4194304 10219143 140735188349632 140735188348728 5346478 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 432541 417691 812 1471 0 431061 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 1730164
[startup+1799.8 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 6799
/proc/meminfo: memFree=26787060/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1719076 CPUtime=1799.51 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466702 0 0 0 179156 795 0 0 20 0 1 0 269137050 1760333824 414919 33554432000 4194304 10219143 140735188349632 140735188348728 5015211 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 429769 414919 812 1471 0 428289 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 1719076
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 6799
/proc/meminfo: memFree=26787060/32873844 swapFree=6856/6856
[pid=6744] ppid=6742 vsize=1130808 CPUtime=1799.9 cores=1,3,5,7
/proc/6744/stat : 6744 (scip-2.1.1.4exp) R 6742 6744 4553 0 -1 4202496 466704 0 0 0 179192 798 0 0 20 0 1 0 269137050 1157947392 280124 33554432000 4194304 10219143 140735188349632 140735188348808 9036791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6744/statm: 282702 278724 814 1471 0 281222 0
Current children cumulated CPU time (s) 1799.9
Current children cumulated vsize (KiB) 1130808
Child status: 0
Real time (s): 1800.22
CPU time (s): 1799.94
CPU user time (s): 1791.93
CPU system time (s): 8.00278
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1849060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.93
system time used= 8.00278
maximum resident set size= 1743156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466716
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= 13
involuntary context switches= 2010
runsolver used 3.56546 second user time and 9.52555 second system time
The end