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-3731293-1338695364.opb>
0.00/0.02 c original problem has 1835 variables (1835 bin, 0 int, 0 impl, 0 cont) and 2112 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.06 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2110 upgd conss, 0 impls, 84 clqs
1.10/1.15 c (1.1s) probing: 1000/1835 (54.5%) - 0 fixings, 0 aggregations, 136373 implications, 0 bound changes
1.99/2.09 c presolving (2 rounds):
1.99/2.09 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.99/2.09 c 461024 implications, 84 cliques
1.99/2.09 c presolved problem has 1835 variables (1835 bin, 0 int, 0 impl, 0 cont) and 2112 constraints
1.99/2.09 c 120 constraints of type <knapsack>
1.99/2.09 c 84 constraints of type <setppc>
1.99/2.09 c 2 constraints of type <linear>
1.99/2.09 c 1906 constraints of type <logicor>
1.99/2.09 c transformed objective value is always integral (scale: 1)
1.99/2.09 c Presolving Time: 2.06
1.99/2.09 c - non default parameters ----------------------------------------------------------------------
1.99/2.09 c # SCIP version 2.0.1.5
1.99/2.09 c
1.99/2.09 c # frequency for displaying node information lines
1.99/2.09 c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.09 c display/freq = 10000
1.99/2.09 c
1.99/2.09 c # maximal time in seconds to run
1.99/2.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.09 c limits/time = 1797
1.99/2.09 c
1.99/2.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.09 c limits/memory = 13950
1.99/2.09 c
1.99/2.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.99/2.09 c # [type: int, range: [1,2], default: 1]
1.99/2.09 c timing/clocktype = 2
1.99/2.09 c
1.99/2.09 c # belongs reading time to solving time?
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c timing/reading = TRUE
1.99/2.09 c
1.99/2.09 c # should presolving try to simplify inequalities
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c constraints/linear/simplifyinequalities = TRUE
1.99/2.09 c
1.99/2.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c constraints/indicator/addCouplingCons = TRUE
1.99/2.09 c
1.99/2.09 c # should presolving try to simplify knapsacks
1.99/2.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.09 c
1.99/2.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.99/2.09 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.09 c separating/rapidlearning/freq = 0
1.99/2.09 c
1.99/2.09 c -----------------------------------------------------------------------------------------------
1.99/2.09 c start solving
1.99/2.09 c
3.09/3.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.17 c 3.2s| 1 | 0 | 6583 | - | 22M| 0 | 517 |1835 |2158 |1835 |2112 | 0 | 46 | 0 |-4.195745e+01 | -- | Inf
7.29/7.37 c 7.4s| 1 | 0 | 17554 | - | 23M| 0 | 527 |1835 |2653 |1835 |2113 | 1 | 46 | 0 |-4.195745e+01 | -- | Inf
7.70/7.79 c 7.8s| 1 | 0 | 18800 | - | 23M| 0 | 553 |1835 |2653 |1835 |2115 | 3 | 46 | 0 |-4.195745e+01 | -- | Inf
8.28/8.39 c 8.4s| 1 | 0 | 20683 | - | 23M| 0 | 594 |1835 |2653 |1835 |2120 | 8 | 46 | 0 |-4.195745e+01 | -- | Inf
8.80/8.81 c 8.8s| 1 | 0 | 21704 | - | 23M| 0 | 580 |1835 |2653 |1835 |2121 | 9 | 46 | 0 |-4.195745e+01 | -- | Inf
9.29/9.34 c 9.3s| 1 | 0 | 23245 | - | 23M| 0 | 559 |1835 |2653 |1835 |2122 | 10 | 46 | 0 |-4.195745e+01 | -- | Inf
9.79/9.81 c 9.8s| 1 | 0 | 24504 | - | 23M| 0 | 584 |1835 |2653 |1835 |2126 | 14 | 46 | 0 |-4.195745e+01 | -- | Inf
21.89/21.94 c 21.9s| 1 | 2 | 24504 | - | 23M| 0 | 584 |1835 |2653 |1835 |2126 | 14 | 46 | 14 |-4.195745e+01 | -- | Inf
1796.68/1797.09 c
1796.68/1797.09 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.09 c Solving Time (sec) : 1797.09
1796.68/1797.09 c Solving Nodes : 1545
1796.68/1797.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.09 c Dual Bound : -3.93513513513513e+01
1796.68/1797.09 c Gap : infinite
1796.68/1797.09 s UNKNOWN
1796.68/1797.09 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.09 c Total Time : 1797.09
1796.68/1797.09 c solving : 1797.09
1796.68/1797.09 c presolving : 2.06 (included in solving)
1796.68/1797.09 c reading : 0.02 (included in solving)
1796.68/1797.09 c Original Problem :
1796.68/1797.09 c Problem name : HOME/instance-3731293-1338695364.opb
1796.68/1797.09 c Variables : 1835 (1835 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.09 c Constraints : 2112 initial, 2112 maximal
1796.68/1797.09 c Presolved Problem :
1796.68/1797.09 c Problem name : t_HOME/instance-3731293-1338695364.opb
1796.68/1797.09 c Variables : 1835 (1835 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.09 c Constraints : 2112 initial, 3342 maximal
1796.68/1797.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.09 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c probing : 2.01 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c linear : 0.02 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c root node : - 0 - - 0 - - - - -
1796.68/1797.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.68/1797.09 c integral : 0 0 0 1110 0 4 0 6 146 0 0 2068
1796.68/1797.09 c knapsack : 120 6 23231 0 0 3 2120 0 2842 0 0 0
1796.68/1797.09 c setppc : 84 6 23231 0 0 1 51398 4 30897 0 0 0
1796.68/1797.09 c linear : 2+ 7 23227 0 0 0 34 0 101 0 0 0
1796.68/1797.09 c logicor : 1906+ 6 18785 0 0 0 85975 20 49515 0 0 0
1796.68/1797.09 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.68/1797.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.68/1797.09 c integral : 503.39 0.00 0.00 503.39 0.00 0.00 0.00
1796.68/1797.09 c knapsack : 0.12 0.01 0.11 0.00 0.00 0.00 0.00
1796.68/1797.09 c setppc : 0.10 0.00 0.09 0.00 0.00 0.00 0.01
1796.68/1797.09 c linear : 0.78 0.00 0.77 0.00 0.00 0.00 0.00
1796.68/1797.09 c logicor : 0.49 0.00 0.45 0.00 0.00 0.00 0.04
1796.68/1797.09 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.09 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.68/1797.09 c vbounds : 0 0 0 0
1796.68/1797.09 c rootredcost : 0 0 0 0
1796.68/1797.09 c pseudoobj : 8488 0 0 0
1796.68/1797.09 c Propagator Timings : TotalTime Propagate Resprop
1796.68/1797.09 c vbounds : 0.00 0.00 0.00
1796.68/1797.09 c rootredcost : 0.00 0.00 0.00
1796.68/1797.09 c pseudoobj : 0.03 0.03 0.00
1796.68/1797.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.09 c propagation : 0.00 24 24 115 25.0 3 21.7 -
1796.68/1797.09 c infeasible LP : 0.27 496 489 2834 93.6 17 42.9 0
1796.68/1797.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.09 c applied globally : - - - 1299 65.1 - - -
1796.68/1797.09 c applied locally : - - - 0 0.0 - - -
1796.68/1797.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.68/1797.09 c cut pool : 0.00 5 - - 7 - (maximal pool size: 58)
1796.68/1797.09 c redcost : 0.05 1184 0 3473 0 0
1796.68/1797.09 c impliedbounds : 0.01 6 0 0 0 0
1796.68/1797.09 c intobj : 0.00 0 0 0 0 0
1796.68/1797.09 c gomory : 0.29 6 0 0 0 0
1796.68/1797.09 c cgmip : 0.00 0 0 0 0 0
1796.68/1797.09 c closecuts : 0.00 0 0 0 0 0
1796.68/1797.09 c strongcg : 0.28 6 0 0 0 0
1796.68/1797.09 c cmir : 0.06 6 0 0 0 0
1796.68/1797.09 c flowcover : 0.06 6 0 0 0 0
1796.68/1797.09 c clique : 0.50 6 0 0 58 0
1796.68/1797.09 c zerohalf : 0.00 0 0 0 0 0
1796.68/1797.09 c mcf : 0.00 1 0 0 0 0
1796.68/1797.09 c oddcycle : 0.00 0 0 0 0 0
1796.68/1797.09 c rapidlearning : 0.28 1 0 0 0 495
1796.68/1797.09 c Pricers : Time Calls Vars
1796.68/1797.09 c problem variables: 0.00 0 0
1796.68/1797.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.09 c relpscost : 503.39 1110 6 146 0 0 2068
1796.68/1797.09 c pscost : 0.00 0 0 0 0 0 0
1796.68/1797.09 c inference : 0.00 0 0 0 0 0 0
1796.68/1797.09 c mostinf : 0.00 0 0 0 0 0 0
1796.68/1797.09 c leastinf : 0.00 0 0 0 0 0 0
1796.68/1797.09 c fullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.09 c allfullstrong : 0.00 0 0 0 0 0 0
1796.68/1797.09 c random : 0.00 0 0 0 0 0 0
1796.68/1797.09 c Primal Heuristics : Time Calls Found
1796.68/1797.09 c LP solutions : 0.00 - 0
1796.68/1797.09 c pseudo solutions : 0.00 - 0
1796.68/1797.09 c oneopt : 0.00 0 0
1796.68/1797.09 c crossover : 0.00 0 0
1796.68/1797.09 c guideddiving : 0.00 0 0
1796.68/1797.09 c intshifting : 0.00 0 0
1796.68/1797.09 c coefdiving : 27.08 8 0
1796.68/1797.09 c linesearchdiving : 30.47 8 0
1796.68/1797.09 c pscostdiving : 32.77 8 0
1796.68/1797.09 c veclendiving : 46.82 8 0
1796.68/1797.09 c feaspump : 62.01 4 0
1796.68/1797.09 c fracdiving : 41.01 9 0
1796.68/1797.09 c objpscostdiving : 41.59 5 0
1796.68/1797.09 c rootsoldiving : 49.85 5 0
1796.68/1797.09 c trivial : 0.00 2 0
1796.68/1797.09 c shiftandpropagate: 0.02 1 0
1796.68/1797.09 c simplerounding : 0.00 0 0
1796.68/1797.09 c zirounding : 0.08 0 0
1796.68/1797.09 c rounding : 0.12 421 0
1796.68/1797.09 c shifting : 0.13 112 0
1796.68/1797.09 c twoopt : 0.00 0 0
1796.68/1797.09 c fixandinfer : 0.00 0 0
1796.68/1797.09 c clique : 0.00 0 0
1796.68/1797.09 c intdiving : 0.00 0 0
1796.68/1797.09 c actconsdiving : 0.00 0 0
1796.68/1797.09 c octane : 0.00 0 0
1796.68/1797.09 c rens : 8.95 1 0
1796.68/1797.09 c rins : 0.00 0 0
1796.68/1797.09 c localbranching : 0.00 0 0
1796.68/1797.09 c mutation : 0.00 0 0
1796.68/1797.09 c dins : 0.00 0 0
1796.68/1797.09 c vbounds : 0.00 0 0
1796.68/1797.09 c undercover : 0.00 0 0
1796.68/1797.09 c subnlp : 0.00 0 0
1796.68/1797.09 c trysol : 0.00 0 0
1796.68/1797.09 c LP : Time Calls Iterations Iter/call Iter/sec
1796.68/1797.09 c primal LP : 0.00 0 0 0.00 -
1796.68/1797.09 c dual LP : 947.80 1615 4344874 2690.32 4584.17
1796.68/1797.09 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.09 c barrier LP : 0.00 0 0 0.00 -
1796.68/1797.09 c diving/probing LP: 330.84 1730 1161711 671.51 3511.35
1796.68/1797.09 c strong branching : 503.25 2629 2001781 761.42 3977.67
1796.68/1797.09 c (at root node) : - 14 10536 752.57 -
1796.68/1797.09 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.09 c B&B Tree :
1796.68/1797.09 c number of runs : 1
1796.68/1797.09 c nodes : 1545
1796.68/1797.09 c nodes (total) : 1545
1796.68/1797.09 c nodes left : 524
1796.68/1797.09 c max depth : 111
1796.68/1797.09 c max depth (total): 111
1796.68/1797.09 c backtracks : 162 (10.5%)
1796.68/1797.09 c delayed cutoffs : 0
1796.68/1797.09 c repropagations : 1567 (507 domain reductions, 0 cutoffs)
1796.68/1797.09 c avg switch length: 3.95
1796.68/1797.09 c switching time : 0.23
1796.68/1797.09 c Solution :
1796.68/1797.09 c Solutions found : 0 (0 improvements)
1796.68/1797.09 c Primal Bound : -
1796.68/1797.09 c Dual Bound : -3.93513513513513e+01
1796.68/1797.09 c Gap : infinite
1796.68/1797.09 c Root Dual Bound : -4.19574468085106e+01
1796.68/1797.09 c Root Iterations : 24504
1796.79/1797.11 c Time complete: 1796.81.
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-3731293-1338695364/watcher-3731293-1338695364 -o /tmp/evaluation-result-3731293-1338695364/solver-3731293-1338695364 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3731293-1338695364.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: 1.97 1.97 1.99 3/176 2378
/proc/meminfo: memFree=30145836/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=9456 CPUtime=0 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 1498 0 0 0 0 0 0 0 20 0 1 0 335662372 9682944 1453 33554432000 4194304 9016284 140733521576976 140733521576568 7824814 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 2364 1455 311 1178 0 1182 0
[startup+0.0714961 s]
/proc/loadavg: 1.97 1.97 1.99 3/176 2378
/proc/meminfo: memFree=30145836/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=28332 CPUtime=0.05 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 6111 0 0 0 5 0 0 0 20 0 1 0 335662372 29011968 5809 33554432000 4194304 9016284 140733521576976 140733521576568 5166486 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 7083 5809 500 1178 0 5901 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28332
[startup+0.10025 s]
/proc/loadavg: 1.97 1.97 1.99 3/176 2378
/proc/meminfo: memFree=30145836/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=28332 CPUtime=0.08 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 6152 0 0 0 8 0 0 0 20 0 1 0 335662372 29011968 5850 33554432000 4194304 9016284 140733521576976 140733521576568 5252669 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 7083 5850 526 1178 0 5901 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28332
[startup+0.300248 s]
/proc/loadavg: 1.97 1.97 1.99 3/176 2378
/proc/meminfo: memFree=30145836/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=29932 CPUtime=0.28 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 6552 0 0 0 28 0 0 0 20 0 1 0 335662372 30650368 6250 33554432000 4194304 9016284 140733521576976 140733521576568 5252659 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 7483 6250 526 1178 0 6301 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29932
[startup+0.700281 s]
/proc/loadavg: 1.97 1.97 1.99 3/176 2378
/proc/meminfo: memFree=30145836/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=35640 CPUtime=0.69 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 7979 0 0 0 68 1 0 0 20 0 1 0 335662372 36495360 7677 33554432000 4194304 9016284 140733521576976 140733521576568 5251849 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 8910 7677 526 1178 0 7728 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35640
[startup+1.50029 s]
/proc/loadavg: 1.97 1.97 1.99 3/177 2379
/proc/meminfo: memFree=30114720/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=44468 CPUtime=1.49 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 10216 0 0 0 148 1 0 0 20 0 1 0 335662372 45535232 9914 33554432000 4194304 9016284 140733521576976 140733521572568 5252189 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 11117 9914 531 1178 0 9935 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44468
[startup+3.10014 s]
/proc/loadavg: 1.97 1.97 1.99 3/177 2379
/proc/meminfo: memFree=30100436/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=59876 CPUtime=3.09 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 14300 0 0 0 307 2 0 0 20 0 1 0 335662372 61313024 13839 33554432000 4194304 9016284 140733521576976 140733521570936 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 14969 13839 640 1178 0 13787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59876
[startup+6.30023 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 2379
/proc/meminfo: memFree=30089772/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=61904 CPUtime=6.29 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 15306 0 0 0 626 3 0 0 20 0 1 0 335662372 63389696 14481 33554432000 4194304 9016284 140733521576976 140733521568760 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 15476 14481 654 1178 0 14294 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61904
[startup+12.7002 s]
/proc/loadavg: 1.98 1.97 1.99 3/176 2379
/proc/meminfo: memFree=30064120/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=88696 CPUtime=12.69 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22739 0 0 0 1259 10 0 0 20 0 1 0 335662372 90824704 21169 33554432000 4194304 9016284 140733521576976 140733521568328 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 22174 21169 707 1178 0 20992 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88696
[startup+25.5001 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 2380
/proc/meminfo: memFree=30066188/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=25.48 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22825 0 0 0 2528 20 0 0 20 0 1 0 335662372 86781952 20358 33554432000 4194304 9016284 140733521576976 140733521570728 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20358 710 1178 0 20005 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84748
[startup+51.1002 s]
/proc/loadavg: 1.99 1.97 1.99 3/178 2383
/proc/meminfo: memFree=30065784/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=51.07 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22830 0 0 0 5077 30 0 0 20 0 1 0 335662372 86781952 20524 33554432000 4194304 9016284 140733521576976 140733521570936 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20524 710 1178 0 20005 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84748
[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 2383
/proc/meminfo: memFree=30065724/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=102.28 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22832 0 0 0 10174 54 0 0 20 0 1 0 335662372 86781952 20526 33554432000 4194304 9016284 140733521576976 140733521570792 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20526 712 1178 0 20005 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 84748
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 2383
/proc/meminfo: memFree=30065228/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=162.26 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22832 0 0 0 16143 83 0 0 20 0 1 0 335662372 86781952 20526 33554432000 4194304 9016284 140733521576976 140733521570936 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20526 712 1178 0 20005 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 84748
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.99 4/177 2421
/proc/meminfo: memFree=30005396/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=222.25 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22832 0 0 0 22114 111 0 0 20 0 1 0 335662372 86781952 20526 33554432000 4194304 9016284 140733521576976 140733521569304 7190641 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20526 712 1178 0 20005 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 84748
[startup+282.3 s]
/proc/loadavg: 2.03 1.99 1.99 4/177 2421
/proc/meminfo: memFree=29774908/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=282.23 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22832 0 0 0 28085 138 0 0 20 0 1 0 335662372 86781952 20526 33554432000 4194304 9016284 140733521576976 140733521570824 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20526 712 1178 0 20005 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 84748
[startup+342.3 s]
/proc/loadavg: 2.01 1.99 1.99 4/177 2422
/proc/meminfo: memFree=29772920/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=342.23 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22832 0 0 0 34054 169 0 0 20 0 1 0 335662372 86781952 20526 33554432000 4194304 9016284 140733521576976 140733521570600 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20526 712 1178 0 20005 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 84748
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.99 4/177 2422
/proc/meminfo: memFree=29768128/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=402.22 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 40023 199 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570936 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 84748
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.99 4/177 2422
/proc/meminfo: memFree=29764808/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=462.21 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 45991 230 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570616 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 84748
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.99 4/177 2422
/proc/meminfo: memFree=29762000/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=522.2 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 51957 263 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 84748
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.99 4/177 2422
/proc/meminfo: memFree=29762540/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=582.18 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 57926 292 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570696 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 84748
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29763188/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1062.11 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 105677 534 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570728 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 84748
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.99 4/177 2450
/proc/meminfo: memFree=29763064/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1122.09 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 111648 561 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521571144 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 84748
[startup+1182.3 s]
/proc/loadavg: 2.10 2.02 2.00 4/177 2450
/proc/meminfo: memFree=29763312/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1182.09 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 117617 592 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521571032 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 84748
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 4/178 2454
/proc/meminfo: memFree=29761412/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1242.08 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 123587 621 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 84748
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 2454
/proc/meminfo: memFree=29762208/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1302.08 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 129557 651 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570232 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 84748
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 2454
/proc/meminfo: memFree=29761648/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1362.06 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 135524 682 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570728 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 84748
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 2454
/proc/meminfo: memFree=29761652/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1422.06 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 141494 712 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570936 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 84748
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 2454
/proc/meminfo: memFree=29761776/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1482.04 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 147461 743 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 84748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 2455
/proc/meminfo: memFree=29761652/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1542.03 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 153428 775 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 84748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 2455
/proc/meminfo: memFree=29761776/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1602.02 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 159398 804 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 84748
[startup+1662.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/177 2455
/proc/meminfo: memFree=29761776/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1662 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 165371 829 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570888 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 84748
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/177 2455
/proc/meminfo: memFree=29762152/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1722 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22954 0 0 0 171344 856 0 0 20 0 1 0 335662372 86781952 20648 33554432000 4194304 9016284 140733521576976 140733521570632 7178280 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20648 834 1178 0 20005 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 84748
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 2455
/proc/meminfo: memFree=29761656/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1781.99 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22955 0 0 0 177318 881 0 0 20 0 1 0 335662372 86781952 20649 33554432000 4194304 9016284 140733521576976 140733521570936 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20649 834 1178 0 20005 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 84748
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 2455
/proc/meminfo: memFree=29762028/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1785.18 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22955 0 0 0 177636 882 0 0 20 0 1 0 335662372 86781952 20649 33554432000 4194304 9016284 140733521576976 140733521570728 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20649 834 1178 0 20005 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 84748
[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 2455
/proc/meminfo: memFree=29761904/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1791.59 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22955 0 0 0 178273 886 0 0 20 0 1 0 335662372 86781952 20649 33554432000 4194304 9016284 140733521576976 140733521570840 7220594 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20649 834 1178 0 20005 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 84748
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 2455
/proc/meminfo: memFree=29761904/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1794.8 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22955 0 0 0 178591 889 0 0 20 0 1 0 335662372 86781952 20649 33554432000 4194304 9016284 140733521576976 140733521570840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20649 834 1178 0 20005 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 84748
[startup+1795.9 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 2455
/proc/meminfo: memFree=29761904/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1795.59 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22955 0 0 0 178670 889 0 0 20 0 1 0 335662372 86781952 20649 33554432000 4194304 9016284 140733521576976 140733521571208 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20649 834 1178 0 20005 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 84748
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 2455
/proc/meminfo: memFree=29761904/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1796.38 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22955 0 0 0 178749 889 0 0 20 0 1 0 335662372 86781952 20649 33554432000 4194304 9016284 140733521576976 140733521570344 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20649 834 1178 0 20005 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 84748
[startup+1797.1 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 2455
/proc/meminfo: memFree=29761904/32873648 swapFree=7628/7628
[pid=2378] ppid=2376 vsize=84748 CPUtime=1796.79 cores=0,2,4,6
/proc/2378/stat : 2378 (scip-2.0.1.4b_2) R 2376 2378 20657 0 -1 4202496 22956 0 0 0 178789 890 0 0 20 0 1 0 335662372 86781952 20199 33554432000 4194304 9016284 140733521576976 140733521570728 7933303 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2378/statm: 21187 20199 835 1178 0 20005 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 84748
Child status: 0
Real time (s): 1797.12
CPU time (s): 1796.81
CPU user time (s): 1787.91
CPU system time (s): 8.90165
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 89116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.91
system time used= 8.90165
maximum resident set size= 85424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22960
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= 9
involuntary context switches= 1921
runsolver used 3.72643 second user time and 10.0365 second system time
The end