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-3741430-1338775327.opb>
0.00/0.01 c original problem has 1635 variables (1635 bin, 0 int, 0 impl, 0 cont) and 840 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 40 del vars, 40 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 72 impls, 800 clqs
0.00/0.02 c (round 2) 121 del vars, 56 del conss, 0 add conss, 82 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 80 impls, 783 clqs
0.00/0.02 c (round 3) 154 del vars, 64 del conss, 0 add conss, 112 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 84 impls, 776 clqs
0.00/0.03 c (round 4) 154 del vars, 64 del conss, 0 add conss, 112 chg bounds, 0 chg sides, 0 chg coeffs, 776 upgd conss, 84 impls, 776 clqs
0.08/0.13 c (0.1s) probing: 1000/1481 (67.5%) - 11 fixings, 1 aggregations, 4913 implications, 0 bound changes
0.08/0.18 c (round 5) 166 del vars, 64 del conss, 0 add conss, 112 chg bounds, 0 chg sides, 0 chg coeffs, 776 upgd conss, 13810 impls, 774 clqs
0.08/0.18 c (round 6) 166 del vars, 66 del conss, 0 add conss, 112 chg bounds, 0 chg sides, 0 chg coeffs, 776 upgd conss, 13810 impls, 774 clqs
0.08/0.19 c presolving (7 rounds):
0.08/0.19 c 166 deleted vars, 66 deleted constraints, 0 added constraints, 112 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.08/0.19 c 13810 implications, 774 cliques
0.08/0.19 c presolved problem has 1469 variables (1469 bin, 0 int, 0 impl, 0 cont) and 774 constraints
0.08/0.19 c 774 constraints of type <setppc>
0.08/0.19 c transformed objective value is always integral (scale: 1)
0.08/0.19 c Presolving Time: 0.17
0.08/0.19 c - non default parameters ----------------------------------------------------------------------
0.08/0.19 c # SCIP version 2.0.1.5
0.08/0.19 c
0.08/0.19 c # frequency for displaying node information lines
0.08/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.19 c display/freq = 10000
0.08/0.19 c
0.08/0.19 c # maximal time in seconds to run
0.08/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.19 c limits/time = 1797
0.08/0.19 c
0.08/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.19 c limits/memory = 13950
0.08/0.19 c
0.08/0.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.08/0.19 c # [type: int, range: [1,2], default: 1]
0.08/0.19 c timing/clocktype = 2
0.08/0.19 c
0.08/0.19 c # belongs reading time to solving time?
0.08/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.19 c timing/reading = TRUE
0.08/0.19 c
0.08/0.19 c # should presolving try to simplify inequalities
0.08/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.19 c constraints/linear/simplifyinequalities = TRUE
0.08/0.19 c
0.08/0.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.08/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.19 c constraints/indicator/addCouplingCons = TRUE
0.08/0.19 c
0.08/0.19 c # should presolving try to simplify knapsacks
0.08/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.19 c
0.08/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.19 c separating/rapidlearning/freq = 0
0.08/0.19 c
0.08/0.19 c -----------------------------------------------------------------------------------------------
0.08/0.19 c start solving
0.08/0.19 c
1.79/1.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.80 c 1.8s| 1 | 0 | 11766 | - |5717k| 0 | 760 |1469 | 794 |1469 | 774 | 0 | 20 | 0 | 2.800000e+02 | -- | Inf
4.19/4.23 c 4.2s| 1 | 0 | 18686 | - | 17M| 0 | 804 |1469 |1319 |1469 | 977 | 203 | 20 | 0 | 2.800000e+02 | -- | Inf
4.99/5.04 c 5.0s| 1 | 0 | 19960 | - | 17M| 0 | 786 |1469 |1319 |1469 | 984 | 210 | 20 | 0 | 2.800000e+02 | -- | Inf
5.19/5.25 c 5.3s| 1 | 0 | 20107 | - | 17M| 0 | 785 |1469 |1319 |1469 | 993 | 219 | 20 | 0 | 2.800000e+02 | -- | Inf
5.40/5.43 c 5.4s| 1 | 0 | 20155 | - | 17M| 0 | 785 |1469 |1319 |1469 | 995 | 221 | 20 | 0 | 2.800000e+02 | -- | Inf
5.59/5.61 c 5.6s| 1 | 0 | 20198 | - | 17M| 0 | 785 |1469 |1319 |1469 | 996 | 222 | 20 | 0 | 2.800000e+02 | -- | Inf
10.19/10.25 c 10.2s| 1 | 2 | 20198 | - | 17M| 0 | 785 |1469 |1319 |1469 | 996 | 222 | 20 | 13 | 2.800000e+02 | -- | Inf
1029.12/1029.31 c 1029s| 10000 | 2590 | 3967k| 394.8 | 28M| 28 | 693 |1469 |5280 |1469 | 800 | 222 | 11k|3507 | 2.800000e+02 | -- | Inf
1796.71/1797.01 c
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Solving Time (sec) : 1797.00
1796.71/1797.01 c Solving Nodes : 18120
1796.71/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.01 c Dual Bound : +2.80000000000001e+02
1796.71/1797.01 c Gap : infinite
1796.71/1797.01 s UNKNOWN
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Total Time : 1797.00
1796.71/1797.01 c solving : 1797.00
1796.71/1797.01 c presolving : 0.17 (included in solving)
1796.71/1797.01 c reading : 0.01 (included in solving)
1796.71/1797.01 c Original Problem :
1796.71/1797.01 c Problem name : HOME/instance-3741430-1338775327.opb
1796.71/1797.01 c Variables : 1635 (1635 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 840 initial, 840 maximal
1796.71/1797.01 c Presolved Problem :
1796.71/1797.01 c Problem name : t_HOME/instance-3741430-1338775327.opb
1796.71/1797.01 c Variables : 1469 (1469 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 774 initial, 5680 maximal
1796.71/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c probing : 0.15 11 1 0 0 0 0 0 0 0
1796.71/1797.01 c setppc : 0.00 0 0 0 0 0 2 0 0 0
1796.71/1797.01 c linear : 0.01 112 42 0 112 0 64 0 0 0
1796.71/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c root node : - 0 - - 0 - - - - -
1796.71/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c integral : 0 0 0 11416 0 4 0 95 350 0 0 22380
1796.71/1797.01 c setppc : 774 6 78212 0 1 3 1067344 35 416241 0 0 0
1796.71/1797.01 c linear : 0+ 6 74443 0 0 0 17960 0 5448 19 0 0
1796.71/1797.01 c logicor : 0+ 6 28053 0 0 0 16152 12 5742 1 0 0
1796.71/1797.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1796.71/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.71/1797.01 c integral : 511.15 0.00 0.00 511.15 0.00 0.00 0.00
1796.71/1797.01 c setppc : 1.67 0.00 1.45 0.00 0.00 0.00 0.21
1796.71/1797.01 c linear : 0.18 0.00 0.17 0.00 0.00 0.00 0.01
1796.71/1797.01 c logicor : 1.46 0.00 1.45 0.00 0.00 0.00 0.02
1796.71/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.71/1797.01 c vbounds : 0 0 0 0
1796.71/1797.01 c rootredcost : 0 0 0 0
1796.71/1797.01 c pseudoobj : 74608 0 0 0
1796.71/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1796.71/1797.01 c vbounds : 0.01 0.01 0.00
1796.71/1797.01 c rootredcost : 0.01 0.01 0.00
1796.71/1797.01 c pseudoobj : 1.54 1.54 0.00
1796.71/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.01 c propagation : 0.00 46 45 125 21.5 5 7.0 -
1796.71/1797.01 c infeasible LP : 2.66 6943 4760 70693 85.2 23 4.1 0
1796.71/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c applied globally : - - - 21757 77.9 - - -
1796.71/1797.01 c applied locally : - - - 10 152.5 - - -
1796.71/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.71/1797.01 c cut pool : 0.00 5 - - 0 - (maximal pool size: 536)
1796.71/1797.01 c redcost : 0.27 11421 0 0 0 0
1796.71/1797.01 c impliedbounds : 0.00 6 0 0 21 0
1796.71/1797.01 c intobj : 0.00 0 0 0 0 0
1796.71/1797.01 c gomory : 0.23 6 0 0 0 0
1796.71/1797.01 c cgmip : 0.00 0 0 0 0 0
1796.71/1797.01 c closecuts : 0.00 0 0 0 0 0
1796.71/1797.01 c strongcg : 0.39 6 0 0 500 0
1796.71/1797.01 c cmir : 0.04 6 0 0 0 0
1796.71/1797.01 c flowcover : 0.03 6 0 0 0 0
1796.71/1797.01 c clique : 0.20 6 0 0 25 0
1796.71/1797.01 c zerohalf : 0.00 0 0 0 0 0
1796.71/1797.01 c mcf : 0.00 1 0 0 0 0
1796.71/1797.01 c oddcycle : 0.00 0 0 0 0 0
1796.71/1797.01 c rapidlearning : 0.27 1 0 0 0 525
1796.71/1797.01 c Pricers : Time Calls Vars
1796.71/1797.01 c problem variables: 0.00 0 0
1796.71/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c relpscost : 511.14 11416 95 350 0 0 22380
1796.71/1797.01 c pscost : 0.00 0 0 0 0 0 0
1796.71/1797.01 c inference : 0.00 1 0 0 0 0 2
1796.71/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1796.71/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1796.71/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.01 c random : 0.00 0 0 0 0 0 0
1796.71/1797.01 c Primal Heuristics : Time Calls Found
1796.71/1797.01 c LP solutions : 0.00 - 0
1796.71/1797.01 c pseudo solutions : 0.00 - 0
1796.71/1797.01 c oneopt : 0.01 0 0
1796.71/1797.01 c crossover : 0.00 0 0
1796.71/1797.01 c guideddiving : 0.00 0 0
1796.71/1797.01 c rootsoldiving : 1.28 6 0
1796.71/1797.01 c coefdiving : 5.94 12 0
1796.71/1797.01 c pscostdiving : 1.71 12 0
1796.71/1797.01 c fracdiving : 4.62 12 0
1796.71/1797.01 c veclendiving : 3.70 12 0
1796.71/1797.01 c linesearchdiving : 2.53 12 0
1796.71/1797.01 c feaspump : 1.69 6 0
1796.71/1797.01 c objpscostdiving : 1.45 7 0
1796.71/1797.01 c trivial : 0.00 2 0
1796.71/1797.01 c shiftandpropagate: 0.01 1 0
1796.71/1797.01 c simplerounding : 0.00 0 0
1796.71/1797.01 c zirounding : 0.79 0 0
1796.71/1797.01 c rounding : 0.62 1462 0
1796.71/1797.01 c shifting : 0.42 430 0
1796.71/1797.01 c intshifting : 0.00 0 0
1796.71/1797.01 c twoopt : 0.00 0 0
1796.71/1797.01 c fixandinfer : 0.00 0 0
1796.71/1797.01 c clique : 0.00 0 0
1796.71/1797.01 c intdiving : 0.00 0 0
1796.71/1797.01 c actconsdiving : 0.00 0 0
1796.71/1797.01 c octane : 0.00 0 0
1796.71/1797.01 c rens : 0.01 0 0
1796.71/1797.01 c rins : 0.00 0 0
1796.71/1797.01 c localbranching : 0.00 0 0
1796.71/1797.01 c mutation : 0.00 0 0
1796.71/1797.01 c dins : 0.00 0 0
1796.71/1797.01 c vbounds : 0.00 0 0
1796.71/1797.01 c undercover : 0.00 0 0
1796.71/1797.01 c subnlp : 0.00 0 0
1796.71/1797.01 c trysol : 0.00 0 0
1796.71/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.71/1797.01 c primal LP : 0.01 0 0 0.00 -
1796.71/1797.01 c dual LP : 1245.58 18227 7193776 394.68 5775.46
1796.71/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.71/1797.01 c diving/probing LP: 21.70 4319 83193 19.26 3833.56
1796.71/1797.01 c strong branching : 509.48 5435 2601297 478.62 5105.75
1796.71/1797.01 c (at root node) : - 13 10722 824.77 -
1796.71/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.01 c B&B Tree :
1796.71/1797.01 c number of runs : 1
1796.71/1797.01 c nodes : 18120
1796.71/1797.01 c nodes (total) : 18120
1796.71/1797.01 c nodes left : 4260
1796.71/1797.01 c max depth : 30
1796.71/1797.01 c max depth (total): 30
1796.71/1797.01 c backtracks : 2519 (13.9%)
1796.71/1797.01 c delayed cutoffs : 3
1796.71/1797.01 c repropagations : 5989 (45669 domain reductions, 2 cutoffs)
1796.71/1797.01 c avg switch length: 5.72
1796.71/1797.01 c switching time : 2.69
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 0 (0 improvements)
1796.71/1797.01 c Primal Bound : -
1796.71/1797.01 c Dual Bound : +2.80000000000001e+02
1796.71/1797.01 c Gap : infinite
1796.71/1797.01 c Root Dual Bound : +2.80000000000001e+02
1796.71/1797.01 c Root Iterations : 20198
1796.71/1797.03 c Time complete: 1796.74.
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-3741430-1338775327/watcher-3741430-1338775327 -o /tmp/evaluation-result-3741430-1338775327/solver-3741430-1338775327 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741430-1338775327.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 2.00 3/176 32255
/proc/meminfo: memFree=26700216/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=10952 CPUtime=0 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 1723 0 0 0 0 0 0 0 20 0 1 0 343658442 11214848 1677 33554432000 4194304 9016284 140736866095888 140736866094856 7870589 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 2738 1688 340 1178 0 1556 0
[startup+0.087747 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32255
/proc/meminfo: memFree=26700216/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=23000 CPUtime=0.07 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 4813 0 0 0 7 0 0 0 20 0 1 0 343658442 23552000 4510 33554432000 4194304 9016284 140736866095888 140736866094856 4222970 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 5750 4510 515 1178 0 4568 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23000
[startup+0.100253 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32255
/proc/meminfo: memFree=26700216/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=23252 CPUtime=0.08 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 4888 0 0 0 8 0 0 0 20 0 1 0 343658442 23810048 4585 33554432000 4194304 9016284 140736866095888 140736866094856 5969584 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 5813 4585 515 1178 0 4631 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23252
[startup+0.300198 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32255
/proc/meminfo: memFree=26700216/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=27880 CPUtime=0.29 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 6149 0 0 0 28 1 0 0 20 0 1 0 343658442 28549120 5846 33554432000 4194304 9016284 140736866095888 140736866089848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 6970 5846 633 1178 0 5788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27880
[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32255
/proc/meminfo: memFree=26700216/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=27880 CPUtime=0.69 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 6150 0 0 0 68 1 0 0 20 0 1 0 343658442 28549120 5847 33554432000 4194304 9016284 140736866095888 140736866089848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 6970 5847 634 1178 0 5788 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27880
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32256
/proc/meminfo: memFree=26679236/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=29716 CPUtime=1.49 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 6595 0 0 0 147 2 0 0 20 0 1 0 343658442 30429184 6289 33554432000 4194304 9016284 140736866095888 140736866089800 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 7429 6289 637 1178 0 6247 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29716
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32256
/proc/meminfo: memFree=26677012/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=54548 CPUtime=3.09 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 12531 0 0 0 305 4 0 0 20 0 1 0 343658442 55857152 12204 33554432000 4194304 9016284 140736866095888 140736866087672 7870569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 13637 12204 685 1178 0 12455 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54548
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32256
/proc/meminfo: memFree=26626760/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73064 CPUtime=6.29 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19523 0 0 0 623 6 0 0 20 0 1 0 343658442 74817536 16998 33554432000 4194304 9016284 140736866095888 140736866089640 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18266 16998 697 1178 0 17084 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73064
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32256
/proc/meminfo: memFree=26627676/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=12.69 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19570 0 0 0 1261 8 0 0 20 0 1 0 343658442 74964992 17045 33554432000 4194304 9016284 140736866095888 140736866089736 7213824 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17045 697 1178 0 17120 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73208
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32256
/proc/meminfo: memFree=26632908/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=25.48 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19572 0 0 0 2534 14 0 0 20 0 1 0 343658442 74964992 17047 33554432000 4194304 9016284 140736866095888 140736866089640 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17047 699 1178 0 17120 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73208
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32256
/proc/meminfo: memFree=26618428/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=51.08 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19572 0 0 0 5079 29 0 0 20 0 1 0 343658442 74964992 17047 33554432000 4194304 9016284 140736866095888 140736866089640 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17047 699 1178 0 17120 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73208
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32256
/proc/meminfo: memFree=26606820/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=102.28 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19575 0 0 0 10171 57 0 0 20 0 1 0 343658442 74964992 17050 33554432000 4194304 9016284 140736866095888 140736866089304 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17050 700 1178 0 17120 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 73208
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32256
/proc/meminfo: memFree=26604612/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=162.26 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19575 0 0 0 16136 90 0 0 20 0 1 0 343658442 74964992 17050 33554432000 4194304 9016284 140736866095888 140736866089752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17050 700 1178 0 17120 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 73208
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 32295
/proc/meminfo: memFree=26864664/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=222.25 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19582 0 0 0 22091 134 0 0 20 0 1 0 343658442 74964992 17152 33554432000 4194304 9016284 140736866095888 140736866089848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17152 700 1178 0 17120 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 73208
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32296
/proc/meminfo: memFree=26850140/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=282.24 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19583 0 0 0 28052 172 0 0 20 0 1 0 343658442 74964992 17153 33554432000 4194304 9016284 140736866095888 140736866089848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17153 700 1178 0 17120 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 73208
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32334
/proc/meminfo: memFree=26923288/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=342.23 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19583 0 0 0 34017 206 0 0 20 0 1 0 343658442 74964992 17153 33554432000 4194304 9016284 140736866095888 140736866089640 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17153 700 1178 0 17120 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 73208
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32334
/proc/meminfo: memFree=26896124/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=402.22 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19593 0 0 0 39981 241 0 0 20 0 1 0 343658442 74964992 17163 33554432000 4194304 9016284 140736866095888 140736866089192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17163 700 1178 0 17120 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 73208
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32334
/proc/meminfo: memFree=26893760/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=462.21 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19603 0 0 0 45938 283 0 0 20 0 1 0 343658442 74964992 17305 33554432000 4194304 9016284 140736866095888 140736866090216 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17305 700 1178 0 17120 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 73208
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32337
/proc/meminfo: memFree=26894756/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=522.21 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19603 0 0 0 51889 332 0 0 20 0 1 0 343658442 74964992 17305 33554432000 4194304 9016284 140736866095888 140736866089752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17305 700 1178 0 17120 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 73208
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32338
/proc/meminfo: memFree=26897760/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=73208 CPUtime=582.19 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 19603 0 0 0 57843 376 0 0 20 0 1 0 343658442 74964992 17305 33554432000 4194304 9016284 140736866095888 140736866089752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18302 17305 700 1178 0 17120 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 73208
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26880768/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=75848 CPUtime=1122.11 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 20223 0 0 0 111490 721 0 0 20 0 1 0 343658442 77668352 17923 33554432000 4194304 9016284 140736866095888 140736866090056 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 18962 17923 700 1178 0 17780 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 75848
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32342
/proc/meminfo: memFree=26876052/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=76228 CPUtime=1182.1 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 20306 0 0 0 117454 756 0 0 20 0 1 0 343658442 78057472 18006 33554432000 4194304 9016284 140736866095888 140736866089640 7218066 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 19057 18006 700 1178 0 17875 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 76228
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32381
/proc/meminfo: memFree=26917428/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=77164 CPUtime=1242.09 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 20566 0 0 0 123410 799 0 0 20 0 1 0 343658442 79015936 18265 33554432000 4194304 9016284 140736866095888 140736866089752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 19291 18265 700 1178 0 18109 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 77164
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 32381
/proc/meminfo: memFree=26917460/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=77164 CPUtime=1302.08 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 20583 0 0 0 129363 845 0 0 20 0 1 0 343658442 79015936 18282 33554432000 4194304 9016284 140736866095888 140736866089736 7219203 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 19291 18282 700 1178 0 18109 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 77164
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32381
/proc/meminfo: memFree=26917336/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=77512 CPUtime=1362.07 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 20662 0 0 0 135317 890 0 0 20 0 1 0 343658442 79372288 18361 33554432000 4194304 9016284 140736866095888 140736866089640 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 19378 18361 700 1178 0 18196 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 77512
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32381
/proc/meminfo: memFree=26917460/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=77684 CPUtime=1422.07 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 20716 0 0 0 141266 941 0 0 20 0 1 0 343658442 79548416 18415 33554432000 4194304 9016284 140736866095888 140736866089736 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 19421 18415 700 1178 0 18239 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 77684
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32382
/proc/meminfo: memFree=26916784/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=79156 CPUtime=1482.05 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21083 0 0 0 147220 985 0 0 20 0 1 0 343658442 81055744 18781 33554432000 4194304 9016284 140736866095888 140736866089752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 19789 18781 700 1178 0 18607 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 79156
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32384
/proc/meminfo: memFree=26915936/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=79572 CPUtime=1542.05 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21179 0 0 0 153170 1035 0 0 20 0 1 0 343658442 81481728 18877 33554432000 4194304 9016284 140736866095888 140736866089752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 19893 18877 700 1178 0 18711 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 79572
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32384
/proc/meminfo: memFree=26915812/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=79904 CPUtime=1602.04 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21251 0 0 0 159125 1079 0 0 20 0 1 0 343658442 81821696 18949 33554432000 4194304 9016284 140736866095888 140736866089752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 19976 18949 700 1178 0 18794 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 79904
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32384
/proc/meminfo: memFree=26915440/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=80072 CPUtime=1662.03 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21335 0 0 0 165073 1130 0 0 20 0 1 0 343658442 81993728 19033 33554432000 4194304 9016284 140736866095888 140736866089752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 20018 19033 700 1178 0 18836 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 80072
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 32387
/proc/meminfo: memFree=26914568/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=80776 CPUtime=1722.02 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21447 0 0 0 171022 1180 0 0 20 0 1 0 343658442 82714624 19145 33554432000 4194304 9016284 140736866095888 140736866089800 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 20194 19145 700 1178 0 19012 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 80776
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32387
/proc/meminfo: memFree=26914452/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=80776 CPUtime=1782.01 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21482 0 0 0 176974 1227 0 0 20 0 1 0 343658442 82714624 19180 33554432000 4194304 9016284 140736866095888 140736866089752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 20194 19180 700 1178 0 19012 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 80776
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32387
/proc/meminfo: memFree=26914452/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=80776 CPUtime=1785.21 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21483 0 0 0 177292 1229 0 0 20 0 1 0 343658442 82714624 19181 33554432000 4194304 9016284 140736866095888 140736866089256 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 20194 19181 700 1178 0 19012 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 80776
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 32387
/proc/meminfo: memFree=26914452/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=80776 CPUtime=1791.61 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21483 0 0 0 177927 1234 0 0 20 0 1 0 343658442 82714624 19181 33554432000 4194304 9016284 140736866095888 140736866090056 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 20194 19181 700 1178 0 19012 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 80776
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 32387
/proc/meminfo: memFree=26914460/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=80776 CPUtime=1794.82 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21483 0 0 0 178245 1237 0 0 20 0 1 0 343658442 82714624 19181 33554432000 4194304 9016284 140736866095888 140736866089752 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 20194 19181 700 1178 0 19012 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 80776
[startup+1795.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 32387
/proc/meminfo: memFree=26914460/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=80776 CPUtime=1795.6 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21483 0 0 0 178323 1237 0 0 20 0 1 0 343658442 82714624 19181 33554432000 4194304 9016284 140736866095888 140736866089848 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 20194 19181 700 1178 0 19012 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 80776
[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32388
/proc/meminfo: memFree=26914460/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=80776 CPUtime=1796.4 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21483 0 0 0 178403 1237 0 0 20 0 1 0 343658442 82714624 19181 33554432000 4194304 9016284 140736866095888 140736866089736 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 20194 19181 700 1178 0 19012 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 80776
[startup+1796.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32388
/proc/meminfo: memFree=26914460/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=80776 CPUtime=1796.61 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21483 0 0 0 178423 1238 0 0 20 0 1 0 343658442 82714624 19181 33554432000 4194304 9016284 140736866095888 140736866089736 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 20194 19181 700 1178 0 19012 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 80776
[startup+1797 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32388
/proc/meminfo: memFree=26914460/32873660 swapFree=7120/7120
[pid=32255] ppid=32253 vsize=80776 CPUtime=1796.71 cores=1,3,5,7
/proc/32255/stat : 32255 (scip-2.0.1.4b_2) R 32253 32255 31309 0 -1 4202496 21483 0 0 0 178433 1238 0 0 20 0 1 0 343658442 82714624 19181 33554432000 4194304 9016284 140736866095888 140736866089736 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32255/statm: 20194 19181 700 1178 0 19012 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 80776
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.75
CPU user time (s): 1784.37
CPU system time (s): 12.3851
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 80776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.37
system time used= 12.3851
maximum resident set size= 76732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21490
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= 15
involuntary context switches= 1849
runsolver used 2.54961 second user time and 7.2539 second system time
The end