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-3742811-1338790894.opb>
0.29/0.32 c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.29/0.32 c problem read
0.29/0.32 c presolving settings loaded
0.49/0.50 c presolving:
0.49/0.59 c (round 1) 126 del vars, 3 del conss, 0 add conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.59/0.62 c (round 2) 1372 del vars, 1254 del conss, 0 add conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.59/0.64 c (round 3) 2024 del vars, 1906 del conss, 0 add conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.59/0.66 c (round 4) 2475 del vars, 2357 del conss, 0 add conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
0.59/0.68 c (round 5) 2838 del vars, 2720 del conss, 0 add conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.59/0.69 c (round 6) 3150 del vars, 3032 del conss, 0 add conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
0.69/0.71 c (round 7) 3418 del vars, 3300 del conss, 0 add conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
0.69/0.73 c (round 8) 3571 del vars, 3453 del conss, 0 add conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
0.69/0.74 c (round 9) 3629 del vars, 3511 del conss, 0 add conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
0.69/0.75 c (round 10) 3654 del vars, 3536 del conss, 0 add conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
8.49/8.57 c (round 11) 3722 del vars, 4088 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 2317076 impls, 551 clqs
8.59/8.66 c (round 12) 3722 del vars, 4155 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 2317076 impls, 552 clqs
21.48/21.57 c (round 13) 3787 del vars, 4155 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 6489338 impls, 552 clqs
21.58/21.63 c (round 14) 3787 del vars, 4220 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 6489338 impls, 552 clqs
168.96/169.05 c (round 15) 3869 del vars, 4220 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 13500840 impls, 552 clqs
169.06/169.10 c (round 16) 3869 del vars, 4302 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 13500944 impls, 552 clqs
180.36/180.43 c (round 17) 3919 del vars, 4302 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 13664762 impls, 552 clqs
180.36/180.48 c (round 18) 3919 del vars, 4352 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 13664958 impls, 552 clqs
195.25/195.35 c (round 19) 3969 del vars, 4352 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 14109928 impls, 552 clqs
195.25/195.38 c (round 20) 3969 del vars, 4402 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 14109928 impls, 552 clqs
250.04/250.12 c (round 21) 4020 del vars, 4402 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 16441714 impls, 552 clqs
250.04/250.15 c (round 22) 4020 del vars, 4453 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 16441714 impls, 552 clqs
402.42/402.56 c (402.6s) probing: 1000/37282 (2.7%) - 388 fixings, 15 aggregations, 4809579 implications, 0 bound changes
427.02/427.14 c (round 23) 4070 del vars, 4453 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 26452700 impls, 552 clqs
427.12/427.20 c (round 24) 4070 del vars, 4503 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 26452700 impls, 552 clqs
457.71/457.87 c (round 25) 4127 del vars, 4503 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 27498532 impls, 552 clqs
457.71/457.89 c (round 26) 4127 del vars, 4560 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 27498532 impls, 552 clqs
521.90/522.02 c (round 27) 4177 del vars, 4560 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30344050 impls, 552 clqs
521.90/522.04 c (round 28) 4177 del vars, 4610 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30344050 impls, 552 clqs
524.00/524.12 c (round 29) 4227 del vars, 4610 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30344050 impls, 552 clqs
524.00/524.14 c (round 30) 4227 del vars, 4660 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 30344050 impls, 552 clqs
672.67/672.84 c (round 31) 4277 del vars, 4660 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 37243234 impls, 552 clqs
672.67/672.86 c (round 32) 4277 del vars, 4710 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 37243234 impls, 552 clqs
851.15/851.37 c (851.4s) probing: 2000/37282 (5.4%) - 637 fixings, 15 aggregations, 14704358 implications, 0 bound changes
1077.01/1077.28 c (round 33) 4327 del vars, 4710 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 55188492 impls, 552 clqs
1077.11/1077.30 c (round 34) 4327 del vars, 4760 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 55188492 impls, 552 clqs
1456.55/1456.89 c (1456.9s) probing: 3000/37282 (8.0%) - 689 fixings, 15 aggregations, 27427906 implications, 0 bound changes
1742.11/1742.49 c (round 35) 4377 del vars, 4760 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 81365968 impls, 552 clqs
1742.21/1742.52 c (round 36) 4377 del vars, 4810 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 81365968 impls, 552 clqs
1797.10/1797.43 c (1797.4s) probing: 3540/37282 (9.5%) - 737 fixings, 15 aggregations, 33667056 implications, 0 bound changes
1797.10/1797.43 c (1797.4s) probing aborted: solving stopped
1797.10/1797.44 c (round 37) 4407 del vars, 4810 del conss, 0 add conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 83227338 impls, 552 clqs
1797.10/1797.44 c presolving (37 rounds):
1797.10/1797.44 c 4407 deleted vars, 4810 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1797.10/1797.44 c 83227338 implications, 552 cliques
1797.10/1797.44 c presolving was interrupted.
1797.10/1797.44 c Presolving Time: 1797.00
1797.10/1797.44 c - non default parameters ----------------------------------------------------------------------
1797.10/1797.44 c # SCIP version 2.0.1.5
1797.10/1797.44 c
1797.10/1797.44 c # frequency for displaying node information lines
1797.10/1797.44 c # [type: int, range: [-1,2147483647], default: 100]
1797.10/1797.44 c display/freq = 10000
1797.10/1797.44 c
1797.10/1797.44 c # maximal time in seconds to run
1797.10/1797.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.10/1797.44 c limits/time = 1797
1797.10/1797.44 c
1797.10/1797.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.10/1797.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.10/1797.44 c limits/memory = 13950
1797.10/1797.44 c
1797.10/1797.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.10/1797.44 c # [type: int, range: [1,2], default: 1]
1797.10/1797.44 c timing/clocktype = 2
1797.10/1797.44 c
1797.10/1797.44 c # belongs reading time to solving time?
1797.10/1797.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.10/1797.44 c timing/reading = TRUE
1797.10/1797.44 c
1797.10/1797.44 c # should presolving try to simplify inequalities
1797.10/1797.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.10/1797.44 c constraints/linear/simplifyinequalities = TRUE
1797.10/1797.44 c
1797.10/1797.44 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.10/1797.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.10/1797.44 c constraints/indicator/addCouplingCons = TRUE
1797.10/1797.44 c
1797.10/1797.44 c # should presolving try to simplify knapsacks
1797.10/1797.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.10/1797.44 c constraints/knapsack/simplifyinequalities = TRUE
1797.10/1797.44 c
1797.10/1797.44 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.10/1797.44 c # [type: int, range: [-1,2147483647], default: -1]
1797.10/1797.44 c separating/rapidlearning/freq = 0
1797.10/1797.44 c
1797.10/1797.44 c -----------------------------------------------------------------------------------------------
1797.10/1797.44 c start solving
1797.10/1797.45 c presolving:
1797.10/1797.45 c presolving (37 rounds):
1797.10/1797.45 c 4407 deleted vars, 4810 deleted constraints, 0 added constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1797.10/1797.45 c 83227338 implications, 552 cliques
1797.10/1797.45 c presolving was interrupted.
1797.10/1797.45 c Presolving Time: 1797.02
1797.10/1797.45 c
1797.10/1797.45 c SCIP Status : solving was interrupted [time limit reached]
1797.10/1797.45 c Solving Time (sec) : 1797.45
1797.10/1797.45 c Solving Nodes : 0
1797.10/1797.45 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.10/1797.45 s UNKNOWN
1797.10/1797.45 c SCIP Status : solving was interrupted [time limit reached]
1797.10/1797.45 c Total Time : 1797.45
1797.10/1797.45 c solving : 1797.45
1797.10/1797.45 c presolving : 1797.02 (included in solving)
1797.10/1797.45 c reading : 0.32 (included in solving)
1797.10/1797.45 c Original Problem :
1797.10/1797.45 c Problem name : HOME/instance-3742811-1338790894.opb
1797.10/1797.45 c Variables : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.10/1797.45 c Constraints : 41436 initial, 41436 maximal
1797.10/1797.45 c Presolved Problem :
1797.10/1797.45 c Problem name : t_HOME/instance-3742811-1338790894.opb
1797.10/1797.45 c Variables : 36530 (36530 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.10/1797.45 c Constraints : 36626 initial, 36626 maximal
1797.10/1797.45 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.10/1797.45 c trivial : 0.07 123 0 0 0 0 0 0 0 0
1797.10/1797.45 c dualfix : 0.06 0 0 0 0 0 0 0 0 0
1797.10/1797.45 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.10/1797.45 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.10/1797.45 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.10/1797.45 c implics : 0.09 0 1 0 0 0 0 0 0 0
1797.10/1797.45 c probing : 1795.55 737 15 0 0 0 0 0 0 0
1797.10/1797.45 c knapsack : 0.17 0 0 0 0 0 0 0 0 0
1797.10/1797.45 c setppc : 0.12 0 0 0 0 0 523 0 0 0
1797.10/1797.45 c linear : 0.37 3531 0 0 3531 0 4088 0 0 0
1797.10/1797.45 c logicor : 0.42 0 0 0 0 0 199 0 0 0
1797.10/1797.45 c root node : - 0 - - 0 - - - - -
1797.10/1797.45 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.10/1797.45 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.10/1797.45 c knapsack : 0+ 0 28655 0 0 0 0 185 0 0 0 0
1797.10/1797.45 c setppc : 0+ 0 28469 0 0 0 0 237 0 0 0 0
1797.10/1797.45 c linear : 0+ 0 65 0 0 0 0 0 0 0 0 0
1797.10/1797.45 c logicor : 0+ 0 24308 0 0 0 0 43 0 0 0 0
1797.10/1797.45 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.10/1797.45 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.10/1797.45 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.10/1797.45 c knapsack : 3.88 0.00 3.88 0.00 0.00 0.00 0.00
1797.10/1797.45 c setppc : 55.97 0.00 55.97 0.00 0.00 0.00 0.00
1797.10/1797.45 c linear : 0.07 0.00 0.07 0.00 0.00 0.00 0.00
1797.10/1797.45 c logicor : 20.59 0.00 20.59 0.00 0.00 0.00 0.00
1797.10/1797.45 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.10/1797.45 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.10/1797.45 c vbounds : 0 0 0 0
1797.10/1797.45 c rootredcost : 0 0 0 0
1797.10/1797.45 c pseudoobj : 0 0 0 0
1797.10/1797.45 c Propagator Timings : TotalTime Propagate Resprop
1797.10/1797.45 c vbounds : 0.01 0.01 0.00
1797.10/1797.45 c rootredcost : 0.00 0.00 0.00
1797.10/1797.45 c pseudoobj : 0.00 0.00 0.00
1797.10/1797.45 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.10/1797.45 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.10/1797.45 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.10/1797.45 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.10/1797.45 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.10/1797.45 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.10/1797.45 c applied globally : - - - 0 0.0 - - -
1797.10/1797.45 c applied locally : - - - 0 0.0 - - -
1797.29/1797.66 c Time complete: 1797.36.
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-3742811-1338790894/watcher-3742811-1338790894 -o /tmp/evaluation-result-3742811-1338790894/solver-3742811-1338790894 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3742811-1338790894.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 823
/proc/meminfo: memFree=26970536/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=9180 CPUtime=0 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 1289 0 0 0 0 0 0 0 20 0 1 0 345215184 9400320 1243 33554432000 4194304 9016284 140735530587408 140736602963112 6813403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 2295 1250 201 1178 0 1113 0
[startup+0.102581 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 823
/proc/meminfo: memFree=26970536/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=29960 CPUtime=0.09 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 6485 0 0 0 9 0 0 0 20 0 1 0 345215184 30679040 6439 33554432000 4194304 9016284 140735530587408 140736602963112 7928096 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 7490 6439 360 1178 0 6308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29960
[startup+0.200274 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 823
/proc/meminfo: memFree=26970536/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=45720 CPUtime=0.19 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 10418 0 0 0 18 1 0 0 20 0 1 0 345215184 46817280 10372 33554432000 4194304 9016284 140735530587408 140736602963112 7874936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 11430 10372 360 1178 0 10248 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 45720
[startup+0.300324 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 823
/proc/meminfo: memFree=26970536/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=60168 CPUtime=0.29 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 14008 0 0 0 28 1 0 0 20 0 1 0 345215184 61612032 13962 33554432000 4194304 9016284 140735530587408 140736602963112 4445906 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 15042 13962 360 1178 0 13860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60168
[startup+0.700297 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 823
/proc/meminfo: memFree=26970536/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=144752 CPUtime=0.69 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 35290 0 0 0 65 4 0 0 20 0 1 0 345215184 148226048 34691 33554432000 4194304 9016284 140735530587408 140736602963112 5975146 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 36188 34691 492 1178 0 35006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144752
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26792588/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=215456 CPUtime=1.49 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 54023 0 0 0 143 6 0 0 20 0 1 0 345215184 220626944 51624 33554432000 4194304 9016284 140735530587408 140735530581032 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 53864 51624 520 1178 0 52682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 215456
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26735796/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=272752 CPUtime=3.09 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 66862 0 0 0 301 8 0 0 20 0 1 0 345215184 279298048 64463 33554432000 4194304 9016284 140735530587408 140735530582792 6480379 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 68188 64463 520 1178 0 67006 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 272752
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26643416/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=351536 CPUtime=6.29 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 85403 0 0 0 619 10 0 0 20 0 1 0 345215184 359972864 83004 33554432000 4194304 9016284 140735530587408 140735530582792 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 87884 83004 520 1178 0 86702 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 351536
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26505640/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=483528 CPUtime=12.68 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 118741 0 0 0 1254 14 0 0 20 0 1 0 345215184 495132672 116401 33554432000 4194304 9016284 140735530587408 140735530582792 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 120882 116401 534 1178 0 119700 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 483528
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26405952/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=583496 CPUtime=25.48 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 143746 0 0 0 2531 17 0 0 20 0 1 0 345215184 597499904 141406 33554432000 4194304 9016284 140735530587408 140735530582792 6480421 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 145874 141406 534 1178 0 144692 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 583496
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26374924/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=613632 CPUtime=51.08 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 151757 0 0 0 5089 19 0 0 20 0 1 0 345215184 628359168 149612 33554432000 4194304 9016284 140735530587408 140735530582792 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 153408 149612 534 1178 0 152226 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 613632
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26247496/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=742392 CPUtime=102.27 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 182887 0 0 0 10203 24 0 0 20 0 1 0 345215184 760209408 180938 33554432000 4194304 9016284 140735530587408 140735530582792 6480433 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 185598 180938 534 1178 0 184416 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 742392
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26112736/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=880104 CPUtime=162.26 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 216710 0 0 0 16195 31 0 0 20 0 1 0 345215184 901226496 214760 33554432000 4194304 9016284 140735530587408 140735530582472 4875328 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 220026 214760 534 1178 0 218844 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 880104
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 824
/proc/meminfo: memFree=26075876/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=910672 CPUtime=222.25 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 224564 0 0 0 22193 32 0 0 20 0 1 0 345215184 932528128 223737 33554432000 4194304 9016284 140735530587408 140735530583080 6480407 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 227668 223737 534 1178 0 226486 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 910672
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=26033616/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=951636 CPUtime=282.24 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 234819 0 0 0 28190 34 0 0 20 0 1 0 345215184 974475264 234097 33554432000 4194304 9016284 140735530587408 140735530583000 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 237909 234097 534 1178 0 236727 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 951636
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=25919304/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=1066236 CPUtime=342.23 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 263208 0 0 0 34185 38 0 0 20 0 1 0 345215184 1091825664 262879 33554432000 4194304 9016284 140735530587408 140735530583000 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 266559 262879 534 1178 0 265377 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1066236
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=25779668/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=1205264 CPUtime=402.22 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 297318 0 0 0 40179 43 0 0 20 0 1 0 345215184 1234190336 297593 33554432000 4194304 9016284 140735530587408 140735530583000 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 301316 297593 534 1178 0 300134 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1205264
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=25689940/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=1295876 CPUtime=462.21 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 318968 0 0 0 46175 46 0 0 20 0 1 0 345215184 1326977024 320211 33554432000 4194304 9016284 140735530587408 140735530583000 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 323969 320211 539 1178 0 322787 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1295876
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 828
/proc/meminfo: memFree=25559092/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=1429240 CPUtime=522.2 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 352156 0 0 0 52170 50 0 0 20 0 1 0 345215184 1463541760 353546 33554432000 4194304 9016284 140735530587408 140735530583000 6817804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 357310 353546 539 1178 0 356128 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1429240
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 829
/proc/meminfo: memFree=25441040/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=1547280 CPUtime=582.19 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 380992 0 0 0 58164 55 0 0 20 0 1 0 345215184 1584414720 382930 33554432000 4194304 9016284 140735530587408 140735530583000 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 386820 382930 539 1178 0 385638 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1547280
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24379296/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2309152 CPUtime=1062.11 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 567296 0 0 0 106128 83 0 0 20 0 1 0 345215184 2364571648 573627 33554432000 4194304 9016284 140735530587408 140735530583000 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 577288 573627 539 1178 0 576106 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 2309152
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 871
/proc/meminfo: memFree=24171364/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2358348 CPUtime=1122.1 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 578958 0 0 0 112125 85 0 0 20 0 1 0 345215184 2414948352 586063 33554432000 4194304 9016284 140735530587408 140735530583000 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 589587 586063 539 1178 0 588405 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2358348
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 872
/proc/meminfo: memFree=24033392/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2440148 CPUtime=1182.09 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 598691 0 0 0 118122 87 0 0 20 0 1 0 345215184 2498711552 606232 33554432000 4194304 9016284 140735530587408 140735530583000 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 610037 606232 539 1178 0 608855 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2440148
[startup+1242.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 872
/proc/meminfo: memFree=23820392/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2554536 CPUtime=1242.09 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 627261 0 0 0 124117 92 0 0 20 0 1 0 345215184 2615844864 635497 33554432000 4194304 9016284 140735530587408 140735530583000 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 638634 635497 539 1178 0 637452 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2554536
[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 872
/proc/meminfo: memFree=23674100/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2587348 CPUtime=1302.07 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 634166 0 0 0 130114 93 0 0 20 0 1 0 345215184 2649444352 642761 33554432000 4194304 9016284 140735530587408 140735530583000 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 646837 642761 539 1178 0 645655 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2587348
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 872
/proc/meminfo: memFree=23512188/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2644468 CPUtime=1362.06 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 647476 0 0 0 136111 95 0 0 20 0 1 0 345215184 2707935232 656891 33554432000 4194304 9016284 140735530587408 140735530583000 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 661117 656891 539 1178 0 659935 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2644468
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 872
/proc/meminfo: memFree=23342524/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2726028 CPUtime=1422.06 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 667807 0 0 0 142108 98 0 0 20 0 1 0 345215184 2791452672 677768 33554432000 4194304 9016284 140735530587408 140735530583000 6480412 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 681507 677768 539 1178 0 680325 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2726028
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 873
/proc/meminfo: memFree=23125932/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2854704 CPUtime=1482.05 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 699380 0 0 0 148102 103 0 0 20 0 1 0 345215184 2923216896 709564 33554432000 4194304 9016284 140735530587408 140735530583000 6480384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 713676 709564 539 1178 0 712494 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2854704
[startup+1542.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 873
/proc/meminfo: memFree=22995588/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2890312 CPUtime=1542.04 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 707328 0 0 0 154100 104 0 0 20 0 1 0 345215184 2959679488 719331 33554432000 4194304 9016284 140735530587408 140735530583000 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 722578 719331 539 1178 0 721396 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2890312
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 873
/proc/meminfo: memFree=22871668/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2925752 CPUtime=1602.03 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 715410 0 0 0 160097 106 0 0 20 0 1 0 345215184 2995970048 727731 33554432000 4194304 9016284 140735530587408 140735530583000 7260774 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 731438 727731 539 1178 0 730256 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2925752
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 873
/proc/meminfo: memFree=22725128/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=2976568 CPUtime=1662.02 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 728388 0 0 0 166094 108 0 0 20 0 1 0 345215184 3048005632 740864 33554432000 4194304 9016284 140735530587408 140735530583000 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 744142 740864 539 1178 0 742960 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2976568
[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/178 876
/proc/meminfo: memFree=22510412/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3100256 CPUtime=1722.01 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 759343 0 0 0 172088 113 0 0 20 0 1 0 345215184 3174662144 773683 33554432000 4194304 9016284 140735530587408 140735530583000 4887822 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 775064 773683 539 1178 0 773882 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3100256
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 876
/proc/meminfo: memFree=22359052/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3158232 CPUtime=1781.99 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 773503 0 0 0 178084 115 0 0 20 0 1 0 345215184 3234029568 787955 33554432000 4194304 9016284 140735530587408 140735530583000 6480384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 789558 787955 539 1178 0 788376 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 3158232
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 877
/proc/meminfo: memFree=22356068/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3160124 CPUtime=1785.29 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 773944 0 0 0 178414 115 0 0 20 0 1 0 345215184 3235966976 788396 33554432000 4194304 9016284 140735530587408 140735530583000 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 790031 788396 539 1178 0 788849 0
Current children cumulated CPU time (s) 1785.29
Current children cumulated vsize (KiB) 3160124
[startup+1792.01 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 877
/proc/meminfo: memFree=22343236/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3163024 CPUtime=1791.7 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 774818 0 0 0 179054 116 0 0 20 0 1 0 345215184 3238936576 789269 33554432000 4194304 9016284 140735530587408 140735530583000 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 790756 789269 539 1178 0 789574 0
Current children cumulated CPU time (s) 1791.7
Current children cumulated vsize (KiB) 3163024
[startup+1795.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 877
/proc/meminfo: memFree=22332076/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3164976 CPUtime=1794.9 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 775188 0 0 0 179374 116 0 0 20 0 1 0 345215184 3240935424 789639 33554432000 4194304 9016284 140735530587408 140735530583000 6480412 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 791244 789639 539 1178 0 790062 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 3164976
[startup+1796.8 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 877
/proc/meminfo: memFree=22330836/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3165920 CPUtime=1796.5 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 775451 0 0 0 179534 116 0 0 20 0 1 0 345215184 3241902080 789902 33554432000 4194304 9016284 140735530587408 140735530583000 4889096 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 791480 789902 539 1178 0 790298 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 3165920
[startup+1797.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 877
/proc/meminfo: memFree=22330836/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3165920 CPUtime=1796.9 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 775451 0 0 0 179574 116 0 0 20 0 1 0 345215184 3241902080 789902 33554432000 4194304 9016284 140735530587408 140735530583000 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 791480 789902 539 1178 0 790298 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 3165920
[startup+1797.6 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 877
/proc/meminfo: memFree=22328232/32873660 swapFree=7120/7120
[pid=823] ppid=821 vsize=3144332 CPUtime=1797.29 cores=0,2,4,6
/proc/823/stat : 823 (scip-2.0.1.4b_2) R 821 823 31309 0 -1 4202496 775802 0 0 0 179613 116 0 0 20 0 1 0 345215184 3219795968 784607 33554432000 4194304 9016284 140735530587408 140735530583000 7933303 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/823/statm: 786083 784607 548 1178 0 784901 0
Current children cumulated CPU time (s) 1797.29
Current children cumulated vsize (KiB) 3144332
Child status: 0
Real time (s): 1797.66
CPU time (s): 1797.37
CPU user time (s): 1796.17
CPU system time (s): 1.19482
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 3165920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.17
system time used= 1.19482
maximum resident set size= 3161000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775820
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= 46
involuntary context switches= 1846
runsolver used 2.74658 second user time and 7.06293 second system time
The end