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-3489738-1307793186.opb>
1.29/1.31 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245202 constraints
1.29/1.31 c problem read
1.29/1.31 c presolving settings loaded
1.69/1.75 c presolving:
9.69/9.73 c (round 1) 6279 del vars, 18648 del conss, 0 add conss, 4667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16661532 impls, 0 clqs
13.69/13.72 c (round 2) 13409 del vars, 45398 del conss, 0 add conss, 11309 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16697324 impls, 0 clqs
15.09/15.11 c (round 3) 15737 del vars, 56803 del conss, 0 add conss, 12646 chg bounds, 48 chg sides, 54 chg coeffs, 0 upgd conss, 16713536 impls, 0 clqs
15.79/15.83 c (round 4) 16859 del vars, 61586 del conss, 0 add conss, 13365 chg bounds, 65 chg sides, 72 chg coeffs, 0 upgd conss, 16720294 impls, 0 clqs
16.09/16.18 c (round 5) 17416 del vars, 63925 del conss, 0 add conss, 13644 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16725368 impls, 0 clqs
16.40/16.43 c (round 6) 17719 del vars, 65201 del conss, 0 add conss, 13828 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16727715 impls, 0 clqs
16.50/16.59 c (round 7) 17907 del vars, 66006 del conss, 0 add conss, 13923 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16729335 impls, 0 clqs
16.69/16.72 c (round 8) 18028 del vars, 66515 del conss, 0 add conss, 13983 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16731134 impls, 0 clqs
16.79/16.81 c (round 9) 18082 del vars, 66800 del conss, 0 add conss, 14011 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16731722 impls, 0 clqs
16.79/16.89 c (round 10) 18124 del vars, 66979 del conss, 0 add conss, 14034 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732156 impls, 0 clqs
16.89/16.95 c (round 11) 18140 del vars, 67067 del conss, 0 add conss, 14042 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732298 impls, 0 clqs
16.99/17.01 c (round 12) 18142 del vars, 67089 del conss, 0 add conss, 14043 chg bounds, 70 chg sides, 79 chg coeffs, 0 upgd conss, 16732302 impls, 0 clqs
17.60/17.66 c (round 13) 18142 del vars, 67091 del conss, 0 add conss, 14043 chg bounds, 70 chg sides, 79 chg coeffs, 178111 upgd conss, 16732302 impls, 0 clqs
17.99/18.03 c (round 14) 18142 del vars, 67092 del conss, 24 add conss, 14043 chg bounds, 118 chg sides, 309 chg coeffs, 178111 upgd conss, 16733214 impls, 711 clqs
858.23/858.21 c (858.2s) probing: 1000/54700 (1.8%) - 1 fixings, 1 aggregations, 13494598 implications, 0 bound changes
1472.56/1472.55 c (1472.6s) probing: 2000/54700 (3.7%) - 1 fixings, 1 aggregations, 21258559 implications, 0 bound changes
1555.26/1555.25 c (1555.2s) probing: 2147/54700 (3.9%) - 1 fixings, 1 aggregations, 22309973 implications, 0 bound changes
1555.26/1555.25 c (1555.2s) probing aborted: 2000/2000 successive useless probings
1555.26/1555.25 c presolving (15 rounds):
1555.26/1555.25 c 18144 deleted vars, 67092 deleted constraints, 24 added constraints, 14043 tightened bounds, 0 added holes, 130 changed sides, 324 changed coefficients
1555.26/1555.25 c 96067266 implications, 791 cliques
1555.26/1555.25 c presolved problem has 54698 variables (54698 bin, 0 int, 0 impl, 0 cont) and 178134 constraints
1555.26/1555.25 c 1108 constraints of type <knapsack>
1555.26/1555.25 c 150003 constraints of type <setppc>
1555.26/1555.25 c 27023 constraints of type <logicor>
1555.26/1555.25 c transformed objective value is always integral (scale: 1)
1555.26/1555.25 c Presolving Time: 1553.63
1555.26/1555.25 c - non default parameters ----------------------------------------------------------------------
1555.26/1555.25 c # SCIP version 2.0.1.5
1555.26/1555.25 c
1555.26/1555.25 c # frequency for displaying node information lines
1555.26/1555.25 c # [type: int, range: [-1,2147483647], default: 100]
1555.26/1555.25 c display/freq = 10000
1555.26/1555.25 c
1555.26/1555.25 c # maximal time in seconds to run
1555.26/1555.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1555.26/1555.25 c limits/time = 1797
1555.26/1555.25 c
1555.26/1555.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1555.26/1555.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1555.26/1555.25 c limits/memory = 13950
1555.26/1555.25 c
1555.26/1555.25 c # default clock type (1: CPU user seconds, 2: wall clock time)
1555.26/1555.25 c # [type: int, range: [1,2], default: 1]
1555.26/1555.25 c timing/clocktype = 2
1555.26/1555.25 c
1555.26/1555.25 c # belongs reading time to solving time?
1555.26/1555.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1555.26/1555.25 c timing/reading = TRUE
1555.26/1555.25 c
1555.26/1555.25 c # should presolving try to simplify inequalities
1555.26/1555.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1555.26/1555.25 c constraints/linear/simplifyinequalities = TRUE
1555.26/1555.25 c
1555.26/1555.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1555.26/1555.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1555.26/1555.25 c constraints/indicator/addCouplingCons = TRUE
1555.26/1555.25 c
1555.26/1555.25 c # should presolving try to simplify knapsacks
1555.26/1555.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1555.26/1555.25 c constraints/knapsack/simplifyinequalities = TRUE
1555.26/1555.25 c
1555.26/1555.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1555.26/1555.25 c # [type: int, range: [-1,2147483647], default: -1]
1555.26/1555.25 c separating/rapidlearning/freq = 0
1555.26/1555.25 c
1555.26/1555.25 c -----------------------------------------------------------------------------------------------
1555.26/1555.25 c start solving
1555.26/1555.29 c
1764.58/1764.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1764.58/1764.55 c 1765s| 1 | 0 | 46581 | - |2827M| 0 | 312 | 54k| 178k| 54k| 178k| 0 | 63 | 0 | 9.200000e+01 | -- | Inf
1797.18/1797.11 c 1797s| 1 | 2 | 56476 | - |2829M| 0 | - | 54k| 178k| 54k| 178k| 0 | 63 | 0 | 9.200000e+01 | -- | Inf
1797.18/1797.11 c
1797.18/1797.11 c SCIP Status : solving was interrupted [time limit reached]
1797.18/1797.11 c Solving Time (sec) : 1797.11
1797.18/1797.11 c Solving Nodes : 1
1797.18/1797.11 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.18/1797.11 c Dual Bound : +9.20000000000000e+01
1797.18/1797.11 c Gap : infinite
1797.18/1797.11 s UNKNOWN
1797.18/1797.11 c SCIP Status : solving was interrupted [time limit reached]
1797.18/1797.11 c Total Time : 1797.11
1797.18/1797.11 c solving : 1797.11
1797.18/1797.11 c presolving : 1553.63 (included in solving)
1797.18/1797.11 c reading : 1.31 (included in solving)
1797.18/1797.11 c Original Problem :
1797.18/1797.11 c Problem name : HOME/instance-3489738-1307793186.opb
1797.18/1797.11 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.18/1797.11 c Constraints : 245202 initial, 245202 maximal
1797.18/1797.11 c Presolved Problem :
1797.18/1797.11 c Problem name : t_HOME/instance-3489738-1307793186.opb
1797.18/1797.11 c Variables : 54698 (54698 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.18/1797.11 c Constraints : 178134 initial, 178197 maximal
1797.18/1797.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.18/1797.11 c trivial : 0.04 992 0 0 0 0 0 0 0 0
1797.18/1797.11 c dualfix : 0.08 120 0 0 0 0 0 0 0 0
1797.18/1797.11 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.18/1797.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.18/1797.11 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.18/1797.11 c implics : 0.50 0 0 0 0 0 0 0 0 0
1797.18/1797.11 c probing : 1537.01 1 1 0 0 0 0 0 0 0
1797.18/1797.11 c knapsack : 0.16 0 0 0 0 0 1 24 60 245
1797.18/1797.11 c setppc : 0.29 0 0 0 0 0 0 0 0 0
1797.18/1797.11 c linear : 15.17 13051 3979 0 14043 0 67091 0 70 79
1797.18/1797.11 c logicor : 0.05 0 0 0 0 0 0 0 0 0
1797.18/1797.11 c root node : - 0 - - 0 - - - - -
1797.18/1797.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.18/1797.11 c integral : 0 0 0 0 0 4 0 0 0 0 0 0
1797.18/1797.11 c knapsack : 1108 0 112813 0 1 3 185 0 0 0 0 0
1797.18/1797.11 c setppc : 150003 0 112813 0 1 1 729 3 0 0 0 0
1797.18/1797.11 c logicor : 27023+ 0 102206 0 1 0 197 13 0 0 0 0
1797.18/1797.11 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.18/1797.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.18/1797.11 c integral : 0.01 0.00 0.00 0.00 0.00 0.01 0.00
1797.18/1797.11 c knapsack : 5.73 0.00 5.73 0.00 0.00 0.00 0.00
1797.18/1797.11 c setppc : 670.05 0.00 670.00 0.00 0.04 0.00 0.00
1797.18/1797.11 c logicor : 7.05 0.00 7.04 0.00 0.01 0.00 0.00
1797.18/1797.11 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.18/1797.11 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.18/1797.11 c vbounds : 0 0 0 0
1797.18/1797.11 c rootredcost : 0 0 0 0
1797.18/1797.11 c pseudoobj : 7147 0 0 0
1797.18/1797.11 c Propagator Timings : TotalTime Propagate Resprop
1797.18/1797.11 c vbounds : 0.04 0.04 0.00
1797.18/1797.11 c rootredcost : 0.03 0.03 0.00
1797.18/1797.11 c pseudoobj : 0.03 0.03 0.00
1797.18/1797.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.18/1797.11 c propagation : 0.00 15 15 82 17.3 0 0.0 -
1797.18/1797.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.18/1797.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.18/1797.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.18/1797.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.18/1797.11 c applied globally : - - - 63 15.7 - - -
1797.18/1797.11 c applied locally : - - - 0 0.0 - - -
1797.18/1797.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.18/1797.11 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.18/1797.11 c redcost : 0.00 0 0 0 0 0
1797.18/1797.11 c impliedbounds : 0.00 0 0 0 0 0
1797.18/1797.11 c intobj : 0.00 0 0 0 0 0
1797.18/1797.11 c gomory : 0.00 0 0 0 0 0
1797.18/1797.11 c cgmip : 0.00 0 0 0 0 0
1797.18/1797.11 c closecuts : 0.00 0 0 0 0 0
1797.18/1797.11 c strongcg : 0.00 0 0 0 0 0
1797.18/1797.11 c cmir : 0.00 0 0 0 0 0
1797.18/1797.11 c flowcover : 0.00 0 0 0 0 0
1797.18/1797.11 c clique : 0.00 0 0 0 0 0
1797.18/1797.11 c zerohalf : 0.00 0 0 0 0 0
1797.18/1797.11 c mcf : 0.00 0 0 0 0 0
1797.18/1797.11 c oddcycle : 0.00 0 0 0 0 0
1797.18/1797.11 c rapidlearning : 0.00 0 0 0 0 0
1797.18/1797.11 c Pricers : Time Calls Vars
1797.18/1797.11 c problem variables: 0.00 0 0
1797.18/1797.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.18/1797.11 c relpscost : 0.00 0 0 0 0 0 0
1797.18/1797.11 c pscost : 0.00 0 0 0 0 0 0
1797.18/1797.11 c inference : 0.01 1 0 0 0 0 2
1797.18/1797.11 c mostinf : 0.00 0 0 0 0 0 0
1797.18/1797.11 c leastinf : 0.00 0 0 0 0 0 0
1797.18/1797.11 c fullstrong : 0.00 0 0 0 0 0 0
1797.18/1797.11 c allfullstrong : 0.00 0 0 0 0 0 0
1797.18/1797.11 c random : 0.00 0 0 0 0 0 0
1797.18/1797.11 c Primal Heuristics : Time Calls Found
1797.18/1797.11 c LP solutions : 0.00 - 0
1797.18/1797.11 c pseudo solutions : 0.00 - 0
1797.18/1797.11 c oneopt : 0.00 0 0
1797.18/1797.11 c trivial : 0.08 2 0
1797.18/1797.11 c shiftandpropagate: 15.08 1 0
1797.18/1797.11 c simplerounding : 0.00 0 0
1797.18/1797.11 c zirounding : 0.00 0 0
1797.18/1797.11 c rounding : 0.00 1 0
1797.18/1797.11 c shifting : 0.02 1 0
1797.18/1797.11 c intshifting : 0.00 0 0
1797.18/1797.11 c twoopt : 0.00 0 0
1797.18/1797.11 c fixandinfer : 0.00 0 0
1797.18/1797.11 c feaspump : 32.48 1 0
1797.18/1797.11 c clique : 0.00 0 0
1797.18/1797.11 c coefdiving : 0.00 0 0
1797.18/1797.11 c pscostdiving : 0.00 0 0
1797.18/1797.11 c fracdiving : 0.00 0 0
1797.18/1797.11 c veclendiving : 0.00 0 0
1797.18/1797.11 c intdiving : 0.00 0 0
1797.18/1797.11 c actconsdiving : 0.00 0 0
1797.18/1797.11 c objpscostdiving : 0.00 0 0
1797.18/1797.11 c rootsoldiving : 0.00 0 0
1797.18/1797.11 c linesearchdiving : 0.00 0 0
1797.18/1797.11 c guideddiving : 0.00 0 0
1797.18/1797.11 c octane : 0.00 0 0
1797.18/1797.11 c rens : 0.00 0 0
1797.18/1797.11 c rins : 0.00 0 0
1797.18/1797.11 c localbranching : 0.00 0 0
1797.18/1797.11 c mutation : 0.00 0 0
1797.18/1797.11 c crossover : 0.00 0 0
1797.18/1797.11 c dins : 0.00 0 0
1797.18/1797.11 c vbounds : 0.00 0 0
1797.18/1797.11 c undercover : 0.00 0 0
1797.18/1797.11 c subnlp : 0.00 0 0
1797.18/1797.11 c trysol : 0.00 0 0
1797.18/1797.11 c LP : Time Calls Iterations Iter/call Iter/sec
1797.18/1797.11 c primal LP : 0.00 0 0 0.00 -
1797.18/1797.11 c dual LP : 194.12 1 46581 46581.00 239.97
1797.18/1797.11 c lex dual LP : 0.00 0 0 0.00 -
1797.18/1797.11 c barrier LP : 0.00 0 0 0.00 -
1797.18/1797.11 c diving/probing LP: 32.44 1 9895 9895.00 305.01
1797.18/1797.11 c strong branching : 0.00 0 0 0.00 -
1797.18/1797.11 c (at root node) : - 0 0 0.00 -
1797.18/1797.11 c conflict analysis: 0.00 0 0 0.00 -
1797.18/1797.11 c B&B Tree :
1797.18/1797.11 c number of runs : 1
1797.18/1797.11 c nodes : 1
1797.18/1797.11 c nodes (total) : 1
1797.18/1797.11 c nodes left : 2
1797.18/1797.11 c max depth : 0
1797.18/1797.11 c max depth (total): 0
1797.18/1797.11 c backtracks : 0 (0.0%)
1797.18/1797.11 c delayed cutoffs : 0
1797.18/1797.11 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.18/1797.11 c avg switch length: 1.00
1797.18/1797.11 c switching time : 0.00
1797.18/1797.11 c Solution :
1797.18/1797.11 c Solutions found : 0 (0 improvements)
1797.18/1797.11 c Primal Bound : -
1797.18/1797.11 c Dual Bound : +9.20000000000000e+01
1797.18/1797.11 c Gap : infinite
1797.18/1797.11 c Root Dual Bound : +9.20000000000000e+01
1797.18/1797.11 c Root Iterations : 56476
1797.88/1797.86 c Time complete: 1797.94.
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-3489738-1307793186/watcher-3489738-1307793186 -o /tmp/evaluation-result-3489738-1307793186/solver-3489738-1307793186 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489738-1307793186.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.08 2.02 2.01 2/177 24890
/proc/meminfo: memFree=28464332/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=12692 CPUtime=0 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 2166 0 0 0 0 0 0 0 22 0 1 0 890915350 12996608 2121 33554432000 4194304 9016284 140736206375904 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24890/statm: 3173 2122 353 1178 0 1991 0
[startup+0.0804139 s]
/proc/loadavg: 2.08 2.02 2.01 2/177 24890
/proc/meminfo: memFree=28464332/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=28904 CPUtime=0.07 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 6192 0 0 0 7 0 0 0 22 0 1 0 890915350 29597696 6147 33554432000 4194304 9016284 140736206375904 18446744073709551615 4598431 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24890/statm: 7226 6147 360 1178 0 6044 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28904
[startup+0.100401 s]
/proc/loadavg: 2.08 2.02 2.01 2/177 24890
/proc/meminfo: memFree=28464332/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=32388 CPUtime=0.09 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 7096 0 0 0 9 0 0 0 22 0 1 0 890915350 33165312 7051 33554432000 4194304 9016284 140736206375904 18446744073709551615 6179836 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24890/statm: 8097 7051 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32388
[startup+0.300364 s]
/proc/loadavg: 2.08 2.02 2.01 2/177 24890
/proc/meminfo: memFree=28464332/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=60164 CPUtime=0.29 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 14022 0 0 0 28 1 0 0 23 0 1 0 890915350 61607936 13978 33554432000 4194304 9016284 140736206375904 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24890/statm: 15041 13995 360 1178 0 13859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60164
[startup+0.700286 s]
/proc/loadavg: 2.08 2.02 2.01 2/177 24890
/proc/meminfo: memFree=28464332/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=88824 CPUtime=0.69 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 21206 0 0 0 67 2 0 0 25 0 1 0 890915350 90955776 21161 33554432000 4194304 9016284 140736206375904 18446744073709551615 6151639 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24890/statm: 22206 21161 360 1178 0 21024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88824
[startup+1.50112 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 24891
/proc/meminfo: memFree=28345968/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=294524 CPUtime=1.49 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 72485 0 0 0 142 7 0 0 25 0 1 0 890915350 301592576 72394 33554432000 4194304 9016284 140736206375904 18446744073709551615 4351822 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 73631 72401 406 1178 0 72449 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 294524
[startup+3.10081 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 24891
/proc/meminfo: memFree=28059528/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=516036 CPUtime=3.09 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 126593 0 0 0 296 13 0 0 25 0 1 0 890915350 528420864 126502 33554432000 4194304 9016284 140736206375904 18446744073709551615 4772944 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 129009 126502 485 1178 0 127827 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 516036
[startup+6.30117 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 24891
/proc/meminfo: memFree=27795916/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=724216 CPUtime=6.29 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 178200 0 0 0 610 19 0 0 25 0 1 0 890915350 741597184 178109 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480241 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 181054 178109 485 1178 0 179872 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 724216
[startup+12.7009 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 24891
/proc/meminfo: memFree=27594564/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=876604 CPUtime=12.69 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 214413 0 0 0 1246 23 0 0 25 0 1 0 890915350 897642496 214065 33554432000 4194304 9016284 140736206375904 18446744073709551615 6481234 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 219151 214065 496 1178 0 217969 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 876604
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 24891
/proc/meminfo: memFree=27477880/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=984936 CPUtime=25.49 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 256983 0 0 0 2522 27 0 0 25 0 1 0 890915350 1008574464 240074 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480229 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 246234 240074 596 1178 0 245052 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 984936
[startup+51.1002 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 24892
/proc/meminfo: memFree=27423272/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=1018280 CPUtime=51.09 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 264415 0 0 0 5082 27 0 0 25 0 1 0 890915350 1042718720 247506 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 254570 247506 596 1178 0 253388 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1018280
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24893
/proc/meminfo: memFree=27274052/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=1098768 CPUtime=102.3 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 284114 0 0 0 10200 30 0 0 25 0 1 0 890915350 1125138432 267205 33554432000 4194304 9016284 140736206375904 18446744073709551615 4460320 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 274692 267205 596 1178 0 273510 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1098768
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24895
/proc/meminfo: memFree=27104988/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=1219820 CPUtime=162.3 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 314573 0 0 0 16196 34 0 0 25 0 1 0 890915350 1249095680 297664 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 304955 297664 596 1178 0 303773 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1219820
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24934
/proc/meminfo: memFree=29434872/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=1334292 CPUtime=222.3 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 342385 0 0 0 22192 38 0 0 25 0 1 0 890915350 1366315008 325476 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 333573 325476 596 1178 0 332391 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1334292
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24936
/proc/meminfo: memFree=29123720/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=1512984 CPUtime=282.31 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 386407 0 0 0 28188 43 0 0 25 0 1 0 890915350 1549295616 369498 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 378246 369498 596 1178 0 377064 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 1512984
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24938
/proc/meminfo: memFree=28845544/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=1643716 CPUtime=342.31 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 418333 0 0 0 34185 46 0 0 25 0 1 0 890915350 1683165184 401424 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 410929 401424 596 1178 0 409747 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1643716
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 24939
/proc/meminfo: memFree=28611024/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=1799492 CPUtime=402.31 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 456742 0 0 0 40182 49 0 0 25 0 1 0 890915350 1842679808 439833 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 449873 439833 596 1178 0 448691 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1799492
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24941
/proc/meminfo: memFree=28317856/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=1919248 CPUtime=462.32 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 487275 0 0 0 46179 53 0 0 25 0 1 0 890915350 1965309952 470366 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 479812 470366 596 1178 0 478630 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 1919248
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24951
/proc/meminfo: memFree=28088644/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=2061460 CPUtime=522.31 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 521801 0 0 0 52173 58 0 0 25 0 1 0 890915350 2110935040 504892 33554432000 4194304 9016284 140736206375904 18446744073709551615 4889369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 515365 504892 596 1178 0 514183 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2061460
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24953
/proc/meminfo: memFree=27866888/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=2178844 CPUtime=582.31 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 551361 0 0 0 58169 62 0 0 25 0 1 0 890915350 2231136256 534452 33554432000 4194304 9016284 140736206375904 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 544711 534452 596 1178 0 543529 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2178844
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26375160/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3039444 CPUtime=1122.35 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 765046 0 0 0 112143 92 0 0 25 0 1 0 890915350 3112390656 748137 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 759861 748137 601 1178 0 758679 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 3039444
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24972
/proc/meminfo: memFree=26291776/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3087932 CPUtime=1182.35 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 777108 0 0 0 118142 93 0 0 25 0 1 0 890915350 3162042368 760199 33554432000 4194304 9016284 140736206375904 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 771983 760199 601 1178 0 770801 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 3087932
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24974
/proc/meminfo: memFree=26201076/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3140104 CPUtime=1242.35 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 790779 0 0 0 124140 95 0 0 25 0 1 0 890915350 3215466496 773870 33554432000 4194304 9016284 140736206375904 18446744073709551615 6480180 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 785026 773870 601 1178 0 783844 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 3140104
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24975
/proc/meminfo: memFree=25901944/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3193200 CPUtime=1302.36 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 804274 0 0 0 130139 97 0 0 25 0 1 0 890915350 3269836800 787365 33554432000 4194304 9016284 140736206375904 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 798300 787365 601 1178 0 797118 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 3193200
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24977
/proc/meminfo: memFree=25809532/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3268124 CPUtime=1362.35 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 822877 0 0 0 136135 100 0 0 25 0 1 0 890915350 3346558976 805968 33554432000 4194304 9016284 140736206375904 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 817031 805968 601 1178 0 815849 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 3268124
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 24978
/proc/meminfo: memFree=25748988/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3307188 CPUtime=1422.37 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 832210 0 0 0 142134 103 0 0 25 0 1 0 890915350 3386560512 815301 33554432000 4194304 9016284 140736206375904 18446744073709551615 5510781 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 826797 815301 601 1178 0 825615 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 3307188
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24980
/proc/meminfo: memFree=25654836/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3386036 CPUtime=1482.36 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 852632 0 0 0 148131 105 0 0 25 0 1 0 890915350 3467300864 835723 33554432000 4194304 9016284 140736206375904 18446744073709551615 5510885 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 846509 835723 601 1178 0 845327 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 3386036
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24982
/proc/meminfo: memFree=25620924/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3423356 CPUtime=1542.37 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 861099 0 0 0 154131 106 0 0 25 0 1 0 890915350 3505516544 844190 33554432000 4194304 9016284 140736206375904 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 855839 844190 601 1178 0 854657 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 3423356
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24983
/proc/meminfo: memFree=25333340/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3746016 CPUtime=1602.36 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 936392 0 0 0 160116 120 0 0 25 0 1 0 890915350 3835920384 916144 33554432000 4194304 9016284 140736206375904 18446744073709551615 7181481 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 936504 916144 859 1178 0 935322 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 3746016
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24985
/proc/meminfo: memFree=25320528/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3757004 CPUtime=1662.37 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 940129 0 0 0 166111 126 0 0 25 0 1 0 890915350 3847172096 919607 33554432000 4194304 9016284 140736206375904 18446744073709551615 7181678 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 939251 919607 1117 1178 0 938069 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 3757004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24986
/proc/meminfo: memFree=25297672/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3769592 CPUtime=1722.37 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 946715 0 0 0 172106 131 0 0 25 0 1 0 890915350 3860062208 925519 33554432000 4194304 9016284 140736206375904 18446744073709551615 7181416 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 942398 925519 1365 1178 0 941216 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 3769592
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24988
/proc/meminfo: memFree=25288940/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3782048 CPUtime=1782.38 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 948887 0 0 0 178100 138 0 0 25 0 1 0 890915350 3872817152 927031 33554432000 4194304 9016284 140736206375904 18446744073709551615 7180592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 945512 927031 717 1178 0 944330 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 3782048
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24988
/proc/meminfo: memFree=25288816/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3782048 CPUtime=1785.57 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 948890 0 0 0 178419 138 0 0 25 0 1 0 890915350 3872817152 927034 33554432000 4194304 9016284 140736206375904 18446744073709551615 6852449 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 945512 927034 717 1178 0 944330 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 3782048
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24988
/proc/meminfo: memFree=25288796/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3782048 CPUtime=1791.98 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 948891 0 0 0 179059 139 0 0 25 0 1 0 890915350 3872817152 927035 33554432000 4194304 9016284 140736206375904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 945512 927035 717 1178 0 944330 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 3782048
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24988
/proc/meminfo: memFree=25288796/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3782048 CPUtime=1795.18 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 948891 0 0 0 179379 139 0 0 25 0 1 0 890915350 3872817152 927035 33554432000 4194304 9016284 140736206375904 18446744073709551615 6976956 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 945512 927035 717 1178 0 944330 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 3782048
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24988
/proc/meminfo: memFree=25288796/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3782048 CPUtime=1796.77 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 948892 0 0 0 179538 139 0 0 25 0 1 0 890915350 3872817152 927036 33554432000 4194304 9016284 140736206375904 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24890/statm: 945512 927036 717 1178 0 944330 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 3782048
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24988
/proc/meminfo: memFree=25287804/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3749400 CPUtime=1797.58 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 949178 0 0 0 179618 140 0 0 18 0 1 0 890915350 3839385600 919229 33554432000 4194304 9016284 140736206375904 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24890/statm: 937350 919229 726 1178 0 936168 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 3749400
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24988
/proc/meminfo: memFree=25287804/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=3310956 CPUtime=1797.78 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 949178 0 0 0 179636 142 0 0 18 0 1 0 890915350 3390418944 814550 33554432000 4194304 9016284 140736206375904 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24890/statm: 827739 814550 699 1178 0 826557 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 3310956
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24988
/proc/meminfo: memFree=25287804/32950928 swapFree=67053888/67111528
[pid=24890] ppid=24888 vsize=2613528 CPUtime=1797.88 cores=1,3,5,7
/proc/24890/stat : 24890 (scip-2.0.1.4b_2) R 24888 24890 23551 0 -1 4202496 949181 0 0 0 179641 147 0 0 18 0 1 0 890915350 2676252672 465377 33554432000 4194304 9016284 140736206375904 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24890/statm: 653382 465377 702 1178 0 652200 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 2613528
Child status: 0
Real time (s): 1797.87
CPU time (s): 1797.95
CPU user time (s): 1796.41
CPU system time (s): 1.53777
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 3782048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.41
system time used= 1.53777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 949186
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= 8
involuntary context switches= 1425
runsolver used 2.88656 second user time and 6.92095 second system time
The end