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-3485579-1307763284.opb>
0.09/0.11 c original problem has 1648 variables (1648 bin, 0 int, 0 impl, 0 cont) and 20302 constraints
0.09/0.11 c problem read
0.09/0.11 c presolving settings loaded
0.09/0.16 c presolving:
0.29/0.30 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 19734 upgd conss, 144784 impls, 0 clqs
0.29/0.33 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 20302 upgd conss, 144784 impls, 0 clqs
0.39/0.46 c (0.5s) probing: 101/1648 (6.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.46 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (3 rounds):
0.39/0.46 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.46 c 144784 implications, 0 cliques
0.39/0.46 c presolved problem has 1648 variables (1648 bin, 0 int, 0 impl, 0 cont) and 20302 constraints
0.39/0.46 c 19128 constraints of type <setppc>
0.39/0.46 c 1174 constraints of type <logicor>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.34
0.39/0.46 c - non default parameters ----------------------------------------------------------------------
0.39/0.46 c # SCIP version 2.0.1.4
0.39/0.46 c
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = 10000
0.39/0.46 c
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = 1797
0.39/0.46 c
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/memory = 13950
0.39/0.46 c
0.39/0.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.46 c # [type: int, range: [1,2], default: 1]
0.39/0.46 c timing/clocktype = 2
0.39/0.46 c
0.39/0.46 c # belongs reading time to solving time?
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c timing/reading = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify inequalities
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/linear/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/indicator/addCouplingCons = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify knapsacks
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c separating/rapidlearning/freq = 0
0.39/0.46 c
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c start solving
0.39/0.46 c
2.89/2.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.98 c 3.0s| 1 | 0 | 6756 | - | 33M| 0 |1364 |1648 | 20k|1648 | 20k| 0 | 40 | 0 | 4.157500e+02 | -- | Inf
8.49/8.59 c 8.6s| 1 | 0 | 16469 | - | 33M| 0 |1360 |1648 | 20k|1648 | 20k| 4 | 40 | 0 | 4.182983e+02 | -- | Inf
9.30/9.34 c 9.3s| 1 | 0 | 16872 | - | 33M| 0 |1360 |1648 | 20k|1648 | 20k| 9 | 40 | 0 | 4.191127e+02 | -- | Inf
10.19/10.24 c 10.2s| 1 | 0 | 17460 | - | 34M| 0 |1356 |1648 | 20k|1648 | 20k| 14 | 40 | 0 | 4.202777e+02 | -- | Inf
11.00/11.09 c 11.1s| 1 | 0 | 17937 | - | 34M| 0 |1355 |1648 | 20k|1648 | 20k| 19 | 40 | 0 | 4.212569e+02 | -- | Inf
11.89/11.99 c 12.0s| 1 | 0 | 18454 | - | 35M| 0 |1357 |1648 | 20k|1648 | 20k| 25 | 40 | 0 | 4.218821e+02 | -- | Inf
12.89/12.94 c 12.9s| 1 | 0 | 18744 | - | 35M| 0 |1362 |1648 | 20k|1648 | 20k| 31 | 40 | 0 | 4.221453e+02 | -- | Inf
14.09/14.11 c 14.1s| 1 | 0 | 19412 | - | 35M| 0 |1356 |1648 | 20k|1648 | 20k| 35 | 40 | 0 | 4.224900e+02 | -- | Inf
15.29/15.37 c 15.4s| 1 | 0 | 19724 | - | 35M| 0 |1349 |1648 | 20k|1648 | 20k| 41 | 40 | 0 | 4.228697e+02 | -- | Inf
16.60/16.61 c 16.6s| 1 | 0 | 19807 | - | 35M| 0 |1343 |1648 | 20k|1648 | 20k| 44 | 40 | 0 | 4.229235e+02 | -- | Inf
17.99/18.03 c 18.0s| 1 | 0 | 19854 | - | 35M| 0 |1341 |1648 | 20k|1648 | 20k| 45 | 40 | 0 | 4.229329e+02 | -- | Inf
19.29/19.33 c 19.3s| 1 | 0 | 19896 | - | 35M| 0 |1343 |1648 | 20k|1648 | 20k| 46 | 40 | 0 | 4.229409e+02 | -- | Inf
20.59/20.65 c 20.6s| 1 | 0 | 19912 | - | 35M| 0 |1343 |1648 | 20k|1648 | 20k| 47 | 40 | 0 | 4.229433e+02 | -- | Inf
35.59/35.66 c 35.7s| 1 | 2 | 19912 | - | 35M| 0 |1343 |1648 | 20k|1648 | 20k| 47 | 40 | 34 | 4.229433e+02 | -- | Inf
1797.06/1797.00 c
1797.06/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.00 c Solving Time (sec) : 1797.00
1797.06/1797.00 c Solving Nodes : 1812
1797.06/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.06/1797.00 c Dual Bound : +4.35928303956360e+02
1797.06/1797.00 c Gap : infinite
1797.06/1797.00 s UNKNOWN
1797.06/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.06/1797.00 c Total Time : 1797.00
1797.06/1797.00 c solving : 1797.00
1797.06/1797.00 c presolving : 0.34 (included in solving)
1797.06/1797.00 c reading : 0.11 (included in solving)
1797.06/1797.00 c Original Problem :
1797.06/1797.00 c Problem name : HOME/instance-3485579-1307763284.opb
1797.06/1797.00 c Variables : 1648 (1648 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.00 c Constraints : 20302 initial, 20302 maximal
1797.06/1797.00 c Presolved Problem :
1797.06/1797.00 c Problem name : t_HOME/instance-3485579-1307763284.opb
1797.06/1797.00 c Variables : 1648 (1648 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.06/1797.00 c Constraints : 20302 initial, 21970 maximal
1797.06/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.06/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c probing : 0.12 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c linear : 0.12 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c logicor : 0.03 0 0 0 0 0 0 0 0 0
1797.06/1797.00 c root node : - 0 - - 0 - - - - -
1797.06/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.06/1797.00 c integral : 0 0 0 1539 0 4 0 22 506 0 0 2762
1797.06/1797.00 c setppc : 19128 13 21161 0 1 3 106673 255 169949 0 0 0
1797.06/1797.00 c logicor : 1174+ 13 10435 0 1 0 5472 497 10004 0 0 0
1797.06/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.06/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.06/1797.00 c integral : 527.16 0.00 0.00 527.16 0.00 0.00 0.00
1797.06/1797.00 c setppc : 5.98 0.02 5.92 0.00 0.00 0.00 0.04
1797.06/1797.00 c logicor : 0.58 0.00 0.56 0.00 0.00 0.00 0.01
1797.06/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.06/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.06/1797.00 c vbounds : 0 0 0 0
1797.06/1797.00 c rootredcost : 0 0 0 0
1797.06/1797.00 c pseudoobj : 21000 0 0 0
1797.06/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.06/1797.00 c vbounds : 0.01 0.01 0.00
1797.06/1797.00 c rootredcost : 0.01 0.01 0.00
1797.06/1797.00 c pseudoobj : 0.57 0.57 0.00
1797.06/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.06/1797.00 c propagation : 0.09 752 752 3144 30.2 205 27.5 -
1797.06/1797.00 c infeasible LP : 0.05 61 61 265 32.6 16 26.0 0
1797.06/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.06/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.06/1797.00 c applied globally : - - - 2945 27.4 - - -
1797.06/1797.00 c applied locally : - - - 0 0.0 - - -
1797.06/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.06/1797.00 c cut pool : 0.00 12 - - 188 - (maximal pool size: 475)
1797.06/1797.00 c redcost : 0.04 1550 0 0 0 0
1797.06/1797.00 c impliedbounds : 0.02 13 0 0 0 0
1797.06/1797.00 c intobj : 0.00 0 0 0 0 0
1797.06/1797.00 c gomory : 5.09 13 0 0 1912 0
1797.06/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.06/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.06/1797.00 c strongcg : 4.72 13 0 0 2579 0
1797.06/1797.00 c cmir : 0.75 10 0 0 0 0
1797.06/1797.00 c flowcover : 0.83 10 0 0 0 0
1797.06/1797.00 c clique : 0.03 1 0 0 0 0
1797.06/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.06/1797.00 c mcf : 0.06 2 0 0 0 0
1797.06/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.06/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.06/1797.00 c Pricers : Time Calls Vars
1797.06/1797.00 c problem variables: 0.00 0 0
1797.06/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.06/1797.00 c relpscost : 527.16 1539 22 506 0 0 2762
1797.06/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.06/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.06/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.06/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.06/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.06/1797.00 c random : 0.00 0 0 0 0 0 0
1797.06/1797.00 c Primal Heuristics : Time Calls Found
1797.06/1797.00 c LP solutions : 0.00 - 0
1797.06/1797.00 c pseudo solutions : 0.00 - 0
1797.06/1797.00 c oneopt : 0.00 0 0
1797.06/1797.00 c crossover : 0.00 0 0
1797.06/1797.00 c guideddiving : 0.00 0 0
1797.06/1797.00 c coefdiving : 82.04 21 0
1797.06/1797.00 c linesearchdiving : 42.85 23 0
1797.06/1797.00 c pscostdiving : 54.50 23 0
1797.06/1797.00 c veclendiving : 70.28 23 0
1797.06/1797.00 c feaspump : 19.98 12 0
1797.06/1797.00 c trivial : 0.01 2 0
1797.06/1797.00 c shiftandpropagate: 0.09 1 0
1797.06/1797.00 c simplerounding : 0.00 0 0
1797.06/1797.00 c zirounding : 1.56 1000 0
1797.06/1797.00 c rounding : 0.84 508 0
1797.06/1797.00 c shifting : 1.17 133 0
1797.06/1797.00 c intshifting : 0.00 0 0
1797.06/1797.00 c twoopt : 0.00 0 0
1797.06/1797.00 c fixandinfer : 0.00 0 0
1797.06/1797.00 c clique : 0.00 0 0
1797.06/1797.00 c fracdiving : 85.32 19 0
1797.06/1797.00 c intdiving : 0.00 0 0
1797.06/1797.00 c actconsdiving : 0.00 0 0
1797.06/1797.00 c objpscostdiving : 26.06 4 0
1797.06/1797.00 c rootsoldiving : 25.86 5 0
1797.06/1797.00 c octane : 0.00 0 0
1797.06/1797.00 c rens : 0.01 0 0
1797.06/1797.00 c rins : 0.00 0 0
1797.06/1797.00 c localbranching : 0.00 0 0
1797.06/1797.00 c mutation : 0.00 0 0
1797.06/1797.00 c dins : 0.00 0 0
1797.06/1797.00 c vbounds : 0.00 0 0
1797.06/1797.00 c undercover : 0.00 0 0
1797.06/1797.00 c subnlp : 0.00 0 0
1797.06/1797.00 c trysol : 0.00 0 0
1797.06/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.06/1797.00 c primal LP : 0.01 0 0 0.00 -
1797.06/1797.00 c dual LP : 839.22 1552 1605753 1034.63 1913.39
1797.06/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.06/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.06/1797.00 c diving/probing LP: 387.65 7289 646627 88.71 1668.08
1797.06/1797.00 c strong branching : 526.57 2252 933604 414.57 1772.99
1797.06/1797.00 c (at root node) : - 34 23779 699.38 -
1797.06/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.06/1797.00 c B&B Tree :
1797.06/1797.00 c number of runs : 1
1797.06/1797.00 c nodes : 1812
1797.06/1797.00 c nodes (total) : 1812
1797.06/1797.00 c nodes left : 878
1797.06/1797.00 c max depth : 41
1797.06/1797.00 c max depth (total): 41
1797.06/1797.00 c backtracks : 325 (17.9%)
1797.06/1797.00 c delayed cutoffs : 75
1797.06/1797.00 c repropagations : 1108 (20687 domain reductions, 75 cutoffs)
1797.06/1797.00 c avg switch length: 3.53
1797.06/1797.00 c switching time : 1.14
1797.06/1797.00 c Solution :
1797.06/1797.00 c Solutions found : 0 (0 improvements)
1797.06/1797.00 c Primal Bound : -
1797.06/1797.00 c Dual Bound : +4.35928303956360e+02
1797.06/1797.00 c Gap : infinite
1797.06/1797.00 c Root Dual Bound : +4.22943307429509e+02
1797.06/1797.00 c Root Iterations : 19912
1797.06/1797.08 c Time complete: 1797.15.
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-3485579-1307763284/watcher-3485579-1307763284 -o /tmp/evaluation-result-3485579-1307763284/solver-3485579-1307763284 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485579-1307763284.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/177 21628
/proc/meminfo: memFree=31505432/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=11096 CPUtime=0 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 1768 0 0 0 0 0 0 0 25 0 1 0 887925122 11362304 1722 33554432000 4194304 8979876 140734395618736 18446744073709551615 4893320 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21628/statm: 2774 1722 358 1169 0 1601 0
[startup+0.100862 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 21628
/proc/meminfo: memFree=31505432/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=18032 CPUtime=0.09 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 3519 0 0 0 9 0 0 0 25 0 1 0 887925122 18464768 3473 33554432000 4194304 8979876 140734395618736 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21628/statm: 4508 3473 366 1169 0 3335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18032
[startup+0.20084 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 21628
/proc/meminfo: memFree=31505432/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=49412 CPUtime=0.19 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 11114 0 0 0 19 0 0 0 25 0 1 0 887925122 50597888 11042 33554432000 4194304 8979876 140734395618736 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21628/statm: 12353 11042 487 1169 0 11180 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 49412
[startup+0.30082 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 21628
/proc/meminfo: memFree=31505432/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=59548 CPUtime=0.29 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 14871 0 0 0 28 1 0 0 25 0 1 0 887925122 60977152 13556 33554432000 4194304 8979876 140734395618736 18446744073709551615 5378663 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21628/statm: 14887 13556 497 1169 0 13714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59548
[startup+0.700741 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 21628
/proc/meminfo: memFree=31505432/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=96220 CPUtime=0.69 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 24584 0 0 0 68 1 0 0 25 0 1 0 887925122 98529280 21955 33554432000 4194304 8979876 140734395618736 18446744073709551615 7180118 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21628/statm: 24055 21955 707 1169 0 22882 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96220
[startup+1.50058 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21629
/proc/meminfo: memFree=31417276/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=104140 CPUtime=1.49 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 27097 0 0 0 147 2 0 0 25 0 1 0 887925122 106639360 24101 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21628/statm: 26035 24101 689 1169 0 24862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104140
[startup+3.10126 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21629
/proc/meminfo: memFree=31407604/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=100484 CPUtime=3.09 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 28573 0 0 0 306 3 0 0 25 0 1 0 887925122 102895616 22644 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21628/statm: 25121 22644 678 1169 0 23948 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100484
[startup+6.30063 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21629
/proc/meminfo: memFree=31415656/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=100484 CPUtime=6.29 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 28674 0 0 0 625 4 0 0 25 0 1 0 887925122 102895616 22725 33554432000 4194304 8979876 140734395618736 18446744073709551615 7164588 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21628/statm: 25121 22725 658 1169 0 23948 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100484
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21705
/proc/meminfo: memFree=31388832/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=122028 CPUtime=12.69 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 35282 0 0 0 1263 6 0 0 25 0 1 0 887925122 124956672 28509 33554432000 4194304 8979876 140734395618736 18446744073709551615 6293612 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21628/statm: 30507 28509 1051 1169 0 29334 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122028
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21706
/proc/meminfo: memFree=31386864/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=121464 CPUtime=25.5 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 57472 0 0 0 2538 12 0 0 25 0 1 0 887925122 124379136 28059 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21628/statm: 30366 28059 702 1169 0 29193 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 121464
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21706
/proc/meminfo: memFree=31388548/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=121296 CPUtime=51.09 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 169197 0 0 0 5080 29 0 0 25 0 1 0 887925122 124207104 28211 33554432000 4194304 8979876 140734395618736 18446744073709551615 7143757 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/21628/statm: 30324 28211 712 1169 0 29151 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 121296
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21708
/proc/meminfo: memFree=31385532/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=120960 CPUtime=102.3 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 230202 0 0 0 10181 49 0 0 25 0 1 0 887925122 123863040 28925 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 30240 28925 703 1169 0 29067 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 120960
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21709
/proc/meminfo: memFree=31386288/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=120776 CPUtime=162.29 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 236082 0 0 0 16163 66 0 0 25 0 1 0 887925122 123674624 28797 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 30194 28797 703 1169 0 29021 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 120776
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21711
/proc/meminfo: memFree=31388116/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=124068 CPUtime=222.3 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 249704 0 0 0 22147 83 0 0 25 0 1 0 887925122 127045632 28511 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 31017 28511 707 1169 0 29844 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 124068
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21713
/proc/meminfo: memFree=31382364/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=128536 CPUtime=282.3 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 261101 0 0 0 28131 99 0 0 25 0 1 0 887925122 131620864 30051 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 32134 30051 1016 1169 0 30961 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 128536
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21714
/proc/meminfo: memFree=31381688/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=126268 CPUtime=342.31 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 283503 0 0 0 34113 118 0 0 25 0 1 0 887925122 129298432 29877 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 31567 29877 707 1169 0 30394 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 126268
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21716
/proc/meminfo: memFree=31379424/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=124596 CPUtime=402.3 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 293671 0 0 0 40096 134 0 0 25 0 1 0 887925122 127586304 29044 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 31149 29044 707 1169 0 29976 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 124596
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 21755
/proc/meminfo: memFree=31331556/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=125028 CPUtime=462.3 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 313882 0 0 0 46081 149 0 0 25 0 1 0 887925122 128028672 29233 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 31257 29233 707 1169 0 30084 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 125028
[startup+522.301 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 21757
/proc/meminfo: memFree=31249532/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=125368 CPUtime=522.31 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 325848 0 0 0 52064 167 0 0 25 0 1 0 887925122 128376832 29563 33554432000 4194304 8979876 140734395618736 18446744073709551615 7146136 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 31342 29563 707 1169 0 30169 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 125368
[startup+582.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 21759
/proc/meminfo: memFree=31246012/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=129408 CPUtime=582.31 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 376644 0 0 0 58043 188 0 0 25 0 1 0 887925122 132513792 30266 33554432000 4194304 8979876 140734395618736 18446744073709551615 7164620 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 32352 30266 713 1169 0 31179 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 129408
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31234912/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=136520 CPUtime=1062.33 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 591047 0 0 0 105890 343 0 0 25 0 1 0 887925122 139796480 32441 33554432000 4194304 8979876 140734395618736 18446744073709551615 7146532 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 34130 32441 726 1169 0 32957 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 136520
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 21773
/proc/meminfo: memFree=31228416/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=139052 CPUtime=1122.33 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 600691 0 0 0 111875 358 0 0 25 0 1 0 887925122 142389248 33166 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 34763 33166 758 1169 0 33590 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 139052
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21775
/proc/meminfo: memFree=31227992/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=138272 CPUtime=1182.34 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 611525 0 0 0 117858 376 0 0 25 0 1 0 887925122 141590528 32780 33554432000 4194304 8979876 140734395618736 18446744073709551615 7170306 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 34568 32780 718 1169 0 33395 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 138272
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21776
/proc/meminfo: memFree=31225340/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=140544 CPUtime=1242.34 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 630927 0 0 0 123838 396 0 0 25 0 1 0 887925122 143917056 33611 33554432000 4194304 8979876 140734395618736 18446744073709551615 7146353 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 35136 33611 897 1169 0 33963 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 140544
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21778
/proc/meminfo: memFree=31221072/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=142068 CPUtime=1302.34 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 649982 0 0 0 129818 416 0 0 25 0 1 0 887925122 145477632 34031 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 35517 34031 738 1169 0 34344 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 142068
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21779
/proc/meminfo: memFree=31216068/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=144640 CPUtime=1362.34 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 680428 0 0 0 135797 437 0 0 25 0 1 0 887925122 148111360 34542 33554432000 4194304 8979876 140734395618736 18446744073709551615 7179197 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 36160 34542 703 1169 0 34987 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 144640
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21781
/proc/meminfo: memFree=31214904/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=145324 CPUtime=1422.35 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 681954 0 0 0 141783 452 0 0 25 0 1 0 887925122 148811776 34767 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 36331 34767 703 1169 0 35158 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 145324
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21783
/proc/meminfo: memFree=31217080/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=142648 CPUtime=1482.35 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 697227 0 0 0 147765 470 0 0 25 0 1 0 887925122 146071552 33800 33554432000 4194304 8979876 140734395618736 18446744073709551615 7047619 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 35662 33800 703 1169 0 34489 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 142648
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21784
/proc/meminfo: memFree=31211940/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=146580 CPUtime=1542.36 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 712899 0 0 0 153746 490 0 0 25 0 1 0 887925122 150097920 34418 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 36645 34418 703 1169 0 35472 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 146580
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21795
/proc/meminfo: memFree=31212088/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=145016 CPUtime=1602.36 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 729662 0 0 0 159731 505 0 0 25 0 1 0 887925122 148496384 34318 33554432000 4194304 8979876 140734395618736 18446744073709551615 7046373 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 36254 34318 703 1169 0 35081 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 145016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21796
/proc/meminfo: memFree=31207200/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=147776 CPUtime=1662.36 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 739594 0 0 0 165712 524 0 0 25 0 1 0 887925122 151322624 35066 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 36944 35066 703 1169 0 35771 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 147776
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21798
/proc/meminfo: memFree=31206776/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=146836 CPUtime=1722.36 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 750488 0 0 0 171693 543 0 0 25 0 1 0 887925122 150360064 35073 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 36709 35073 768 1169 0 35536 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 146836
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21800
/proc/meminfo: memFree=31200900/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=151184 CPUtime=1782.36 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 790838 0 0 0 177670 566 0 0 25 0 1 0 887925122 154812416 35606 33554432000 4194304 8979876 140734395618736 18446744073709551615 7173010 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 37796 35606 713 1169 0 36623 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 151184
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21802
/proc/meminfo: memFree=31199284/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=152496 CPUtime=1785.67 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 793319 0 0 0 177999 568 0 0 25 0 1 0 887925122 156155904 35937 33554432000 4194304 8979876 140734395618736 18446744073709551615 7143785 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 38124 35937 713 1169 0 36951 0
Current children cumulated CPU time (s) 1785.67
Current children cumulated vsize (KiB) 152496
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 21802
/proc/meminfo: memFree=31197156/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=152076 CPUtime=1792.07 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 794943 0 0 0 178638 569 0 0 25 0 1 0 887925122 155725824 36561 33554432000 4194304 8979876 140734395618736 18446744073709551615 7192879 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 38019 36561 798 1169 0 36846 0
Current children cumulated CPU time (s) 1792.07
Current children cumulated vsize (KiB) 152076
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21802
/proc/meminfo: memFree=31197156/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=152076 CPUtime=1795.27 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 794943 0 0 0 178957 570 0 0 25 0 1 0 887925122 155725824 36561 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 38019 36561 798 1169 0 36846 0
Current children cumulated CPU time (s) 1795.27
Current children cumulated vsize (KiB) 152076
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21802
/proc/meminfo: memFree=31197156/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=152076 CPUtime=1796.06 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 794943 0 0 0 179036 570 0 0 25 0 1 0 887925122 155725824 36561 33554432000 4194304 8979876 140734395618736 18446744073709551615 7047806 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 38019 36561 798 1169 0 36846 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 152076
[startup+1796.8 s]
/proc/loadavg: 2.08 2.02 2.01 4/178 21803
/proc/meminfo: memFree=31196900/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=152076 CPUtime=1796.86 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 794943 0 0 0 179116 570 0 0 25 0 1 0 887925122 155725824 36561 33554432000 4194304 8979876 140734395618736 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 38019 36561 798 1169 0 36846 0
Current children cumulated CPU time (s) 1796.86
Current children cumulated vsize (KiB) 152076
[startup+1797 s]
/proc/loadavg: 2.08 2.02 2.01 4/178 21803
/proc/meminfo: memFree=31196900/32950928 swapFree=67053888/67111528
[pid=21628] ppid=21626 vsize=152076 CPUtime=1797.06 cores=0,2,4,6
/proc/21628/stat : 21628 (scip-2.0.1.4_2.) R 21626 21628 16800 0 -1 4202496 794943 0 0 0 179136 570 0 0 25 0 1 0 887925122 155725824 36561 33554432000 4194304 8979876 140734395618736 18446744073709551615 7047651 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21628/statm: 38019 36561 798 1169 0 36846 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 152076
Child status: 0
Real time (s): 1797.09
CPU time (s): 1797.15
CPU user time (s): 1791.44
CPU system time (s): 5.71013
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 155296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.44
system time used= 5.71013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 794956
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= 4
involuntary context switches= 20980
runsolver used 2.6506 second user time and 5.60415 second system time
The end