0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3478988-1307444788.opb>
67.19/67.20 c original problem has 335161 variables (335161 bin, 0 int, 0 impl, 0 cont) and 7866877 constraints
67.19/67.20 c problem read
67.19/67.21 c No objective function, only one solution is needed.
67.19/67.22 c presolving settings loaded
77.59/77.65 c presolving:
155.01/155.04 c (round 1) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 7866868 upgd conss, 3348490 impls, 12342 clqs
170.19/170.22 c presolving (2 rounds):
170.19/170.22 c 1 deleted vars, 30 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
170.19/170.22 c 3348490 implications, 12342 cliques
170.19/170.22 c presolved problem has 335160 variables (335160 bin, 0 int, 0 impl, 0 cont) and 7866847 constraints
170.19/170.22 c 787221 constraints of type <knapsack>
170.19/170.22 c 1655154 constraints of type <setppc>
170.19/170.22 c 1 constraints of type <linear>
170.19/170.22 c 5424471 constraints of type <logicor>
170.19/170.22 c transformed objective value is always integral (scale: 1)
170.19/170.22 c Presolving Time: 93.19
170.19/170.22 c - non default parameters ----------------------------------------------------------------------
170.19/170.22 c # SCIP version 2.0.1.5
170.19/170.22 c
170.19/170.22 c # frequency for displaying node information lines
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 100]
170.19/170.22 c display/freq = 10000
170.19/170.22 c
170.19/170.22 c # maximal time in seconds to run
170.19/170.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
170.19/170.22 c limits/time = 1800
170.19/170.22 c
170.19/170.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
170.19/170.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
170.19/170.22 c limits/memory = 13950
170.19/170.22 c
170.19/170.22 c # solving stops, if the given number of solutions were found (-1: no limit)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: -1]
170.19/170.22 c limits/solutions = 1
170.19/170.22 c
170.19/170.22 c # maximal number of separation rounds per node (-1: unlimited)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 5]
170.19/170.22 c separating/maxrounds = 1
170.19/170.22 c
170.19/170.22 c # maximal number of separation rounds in the root node (-1: unlimited)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: -1]
170.19/170.22 c separating/maxroundsroot = 5
170.19/170.22 c
170.19/170.22 c # default clock type (1: CPU user seconds, 2: wall clock time)
170.19/170.22 c # [type: int, range: [1,2], default: 1]
170.19/170.22 c timing/clocktype = 2
170.19/170.22 c
170.19/170.22 c # belongs reading time to solving time?
170.19/170.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
170.19/170.22 c timing/reading = TRUE
170.19/170.22 c
170.19/170.22 c # should presolving try to simplify inequalities
170.19/170.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
170.19/170.22 c constraints/linear/simplifyinequalities = TRUE
170.19/170.22 c
170.19/170.22 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
170.19/170.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
170.19/170.22 c constraints/indicator/addCouplingCons = TRUE
170.19/170.22 c
170.19/170.22 c # should disaggregation of knapsack constraints be allowed in preprocessing?
170.19/170.22 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
170.19/170.22 c constraints/knapsack/disaggregation = FALSE
170.19/170.22 c
170.19/170.22 c # should presolving try to simplify knapsacks
170.19/170.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
170.19/170.22 c constraints/knapsack/simplifyinequalities = TRUE
170.19/170.22 c
170.19/170.22 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: -1]
170.19/170.22 c presolving/probing/maxrounds = 0
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 10]
170.19/170.22 c heuristics/coefdiving/freq = -1
170.19/170.22 c
170.19/170.22 c # maximal fraction of diving LP iterations compared to node LP iterations
170.19/170.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
170.19/170.22 c heuristics/coefdiving/maxlpiterquot = 0.075
170.19/170.22 c
170.19/170.22 c # additional number of allowed LP iterations
170.19/170.22 c # [type: int, range: [0,2147483647], default: 1000]
170.19/170.22 c heuristics/coefdiving/maxlpiterofs = 1500
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 30]
170.19/170.22 c heuristics/crossover/freq = -1
170.19/170.22 c
170.19/170.22 c # number of nodes added to the contingent of the total nodes
170.19/170.22 c # [type: longint, range: [0,9223372036854775807], default: 500]
170.19/170.22 c heuristics/crossover/nodesofs = 750
170.19/170.22 c
170.19/170.22 c # number of nodes without incumbent change that heuristic should wait
170.19/170.22 c # [type: longint, range: [0,9223372036854775807], default: 200]
170.19/170.22 c heuristics/crossover/nwaitingnodes = 100
170.19/170.22 c
170.19/170.22 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
170.19/170.22 c # [type: real, range: [0,1], default: 0.1]
170.19/170.22 c heuristics/crossover/nodesquot = 0.15
170.19/170.22 c
170.19/170.22 c # minimum percentage of integer variables that have to be fixed
170.19/170.22 c # [type: real, range: [0,1], default: 0.666]
170.19/170.22 c heuristics/crossover/minfixingrate = 0.5
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 20]
170.19/170.22 c heuristics/feaspump/freq = -1
170.19/170.22 c
170.19/170.22 c # additional number of allowed LP iterations
170.19/170.22 c # [type: int, range: [0,2147483647], default: 1000]
170.19/170.22 c heuristics/feaspump/maxlpiterofs = 2000
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 10]
170.19/170.22 c heuristics/fracdiving/freq = -1
170.19/170.22 c
170.19/170.22 c # maximal fraction of diving LP iterations compared to node LP iterations
170.19/170.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
170.19/170.22 c heuristics/fracdiving/maxlpiterquot = 0.075
170.19/170.22 c
170.19/170.22 c # additional number of allowed LP iterations
170.19/170.22 c # [type: int, range: [0,2147483647], default: 1000]
170.19/170.22 c heuristics/fracdiving/maxlpiterofs = 1500
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 10]
170.19/170.22 c heuristics/guideddiving/freq = -1
170.19/170.22 c
170.19/170.22 c # maximal fraction of diving LP iterations compared to node LP iterations
170.19/170.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
170.19/170.22 c heuristics/guideddiving/maxlpiterquot = 0.075
170.19/170.22 c
170.19/170.22 c # additional number of allowed LP iterations
170.19/170.22 c # [type: int, range: [0,2147483647], default: 1000]
170.19/170.22 c heuristics/guideddiving/maxlpiterofs = 1500
170.19/170.22 c
170.19/170.22 c # maximal fraction of diving LP iterations compared to node LP iterations
170.19/170.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
170.19/170.22 c heuristics/intdiving/maxlpiterquot = 0.075
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 10]
170.19/170.22 c heuristics/intshifting/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 10]
170.19/170.22 c heuristics/linesearchdiving/freq = -1
170.19/170.22 c
170.19/170.22 c # maximal fraction of diving LP iterations compared to node LP iterations
170.19/170.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
170.19/170.22 c heuristics/linesearchdiving/maxlpiterquot = 0.075
170.19/170.22 c
170.19/170.22 c # additional number of allowed LP iterations
170.19/170.22 c # [type: int, range: [0,2147483647], default: 1000]
170.19/170.22 c heuristics/linesearchdiving/maxlpiterofs = 1500
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 20]
170.19/170.22 c heuristics/objpscostdiving/freq = -1
170.19/170.22 c
170.19/170.22 c # maximal fraction of diving LP iterations compared to total iteration number
170.19/170.22 c # [type: real, range: [0,1], default: 0.01]
170.19/170.22 c heuristics/objpscostdiving/maxlpiterquot = 0.015
170.19/170.22 c
170.19/170.22 c # additional number of allowed LP iterations
170.19/170.22 c # [type: int, range: [0,2147483647], default: 1000]
170.19/170.22 c heuristics/objpscostdiving/maxlpiterofs = 1500
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 1]
170.19/170.22 c heuristics/oneopt/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 10]
170.19/170.22 c heuristics/pscostdiving/freq = -1
170.19/170.22 c
170.19/170.22 c # maximal fraction of diving LP iterations compared to node LP iterations
170.19/170.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
170.19/170.22 c heuristics/pscostdiving/maxlpiterquot = 0.075
170.19/170.22 c
170.19/170.22 c # additional number of allowed LP iterations
170.19/170.22 c # [type: int, range: [0,2147483647], default: 1000]
170.19/170.22 c heuristics/pscostdiving/maxlpiterofs = 1500
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 0]
170.19/170.22 c heuristics/rens/freq = -1
170.19/170.22 c
170.19/170.22 c # minimum percentage of integer variables that have to be fixable
170.19/170.22 c # [type: real, range: [0,1], default: 0.5]
170.19/170.22 c heuristics/rens/minfixingrate = 0.3
170.19/170.22 c
170.19/170.22 c # number of nodes added to the contingent of the total nodes
170.19/170.22 c # [type: longint, range: [0,9223372036854775807], default: 500]
170.19/170.22 c heuristics/rens/nodesofs = 2000
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 20]
170.19/170.22 c heuristics/rootsoldiving/freq = -1
170.19/170.22 c
170.19/170.22 c # maximal fraction of diving LP iterations compared to node LP iterations
170.19/170.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
170.19/170.22 c heuristics/rootsoldiving/maxlpiterquot = 0.015
170.19/170.22 c
170.19/170.22 c # additional number of allowed LP iterations
170.19/170.22 c # [type: int, range: [0,2147483647], default: 1000]
170.19/170.22 c heuristics/rootsoldiving/maxlpiterofs = 1500
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 1]
170.19/170.22 c heuristics/rounding/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 0]
170.19/170.22 c heuristics/shiftandpropagate/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 10]
170.19/170.22 c heuristics/shifting/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 1]
170.19/170.22 c heuristics/simplerounding/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 1]
170.19/170.22 c heuristics/subnlp/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 0]
170.19/170.22 c heuristics/trivial/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 1]
170.19/170.22 c heuristics/trysol/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 0]
170.19/170.22 c heuristics/undercover/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 10]
170.19/170.22 c heuristics/veclendiving/freq = -1
170.19/170.22 c
170.19/170.22 c # maximal fraction of diving LP iterations compared to node LP iterations
170.19/170.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
170.19/170.22 c heuristics/veclendiving/maxlpiterquot = 0.075
170.19/170.22 c
170.19/170.22 c # additional number of allowed LP iterations
170.19/170.22 c # [type: int, range: [0,2147483647], default: 1000]
170.19/170.22 c heuristics/veclendiving/maxlpiterofs = 1500
170.19/170.22 c
170.19/170.22 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 1]
170.19/170.22 c heuristics/zirounding/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 0]
170.19/170.22 c separating/cmir/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: 0]
170.19/170.22 c separating/flowcover/freq = -1
170.19/170.22 c
170.19/170.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
170.19/170.22 c # [type: int, range: [-1,2147483647], default: -1]
170.19/170.22 c separating/rapidlearning/freq = 0
170.19/170.22 c
170.19/170.22 c -----------------------------------------------------------------------------------------------
170.19/170.22 c start solving
171.00/171.07 c
188.59/188.60 EMALLC01 malloc: Out of memory - cannot allocate 610850992 bytes
188.59/188.67 c [src/scip/lpi_spx.cpp:1516] Warning: SoPlex threw an exception: XMALLC01 malloc: Could not allocate enough memory
188.59/188.67 c [src/scip/lp.c:6371] ERROR: Error <-6> in function call
188.59/188.67 c [src/scip/lp.c:6648] ERROR: Error <-6> in function call
188.59/188.67 c [src/scip/lp.c:12168] ERROR: Error <-6> in function call
188.59/188.67 c [src/scip/solve.c:1043] ERROR: Error <-6> in function call
188.59/188.67 c [src/scip/solve.c:2191] ERROR: Error <-6> in function call
188.59/188.67 c [src/scip/solve.c:2968] ERROR: Error <-6> in function call
188.59/188.67 c [src/scip/solve.c:3596] ERROR: Error <-6> in function call
188.59/188.67 c [src/scip/scip.c:6917] ERROR: Error <-6> in function call
188.59/188.67 c [src/cmain.c:684] ERROR: Error <-6> in function call
188.59/188.67 c [src/cmain.c:859] ERROR: Error <-6> in function call
188.59/188.67 c [src/cmain.c:932] ERROR: Error <-6> in function call
188.59/188.67 c SCIP Error (-6): c error in LP solverc
188.59/188.67 c Time complete: 188.67.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3478988-1307444788/watcher-3478988-1307444788 -o /tmp/evaluation-result-3478988-1307444788/solver-3478988-1307444788 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3478988-1307444788.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: 0.43 0.10 0.03 2/415 31208
/proc/meminfo: memFree=24880048/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=13492 CPUtime=0.01 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 2373 0 0 0 1 0 0 0 21 0 1 0 312089080 13815808 2326 33554432000 4194304 9163163 140736306363632 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 3373 2326 392 1214 0 2155 0
[startup+0.0489769 s]
/proc/loadavg: 0.43 0.10 0.03 2/415 31208
/proc/meminfo: memFree=24880048/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=16712 CPUtime=0.04 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 3162 0 0 0 4 0 0 0 21 0 1 0 312089080 17113088 3115 33554432000 4194304 9163163 140736306363632 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 4178 3115 392 1214 0 2960 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16712
[startup+0.10097 s]
/proc/loadavg: 0.43 0.10 0.03 2/415 31208
/proc/meminfo: memFree=24880048/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=19756 CPUtime=0.09 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 3928 0 0 0 9 0 0 0 21 0 1 0 312089080 20230144 3881 33554432000 4194304 9163163 140736306363632 18446744073709551615 8031070 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 4939 3881 392 1214 0 3721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19756
[startup+0.300929 s]
/proc/loadavg: 0.43 0.10 0.03 2/415 31208
/proc/meminfo: memFree=24880048/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=29784 CPUtime=0.29 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 6440 0 0 0 29 0 0 0 22 0 1 0 312089080 30498816 6393 33554432000 4194304 9163163 140736306363632 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 7446 6393 392 1214 0 6228 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29784
[startup+0.700861 s]
/proc/loadavg: 0.43 0.10 0.03 2/415 31208
/proc/meminfo: memFree=24880048/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=51244 CPUtime=0.69 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 11721 0 0 0 68 1 0 0 24 0 1 0 312089080 52473856 11675 33554432000 4194304 9163163 140736306363632 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 12811 11703 392 1214 0 11593 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51244
[startup+1.50072 s]
/proc/loadavg: 0.43 0.10 0.03 3/416 31209
/proc/meminfo: memFree=24817296/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=93168 CPUtime=1.49 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 22267 0 0 0 146 3 0 0 25 0 1 0 312089080 95404032 22220 33554432000 4194304 9163163 140736306363632 18446744073709551615 6494405 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 23292 22220 392 1214 0 22074 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93168
[startup+3.10043 s]
/proc/loadavg: 0.43 0.10 0.03 3/416 31209
/proc/meminfo: memFree=24766240/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=173140 CPUtime=3.09 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 42224 0 0 0 304 5 0 0 25 0 1 0 312089080 177295360 42177 33554432000 4194304 9163163 140736306363632 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 43285 42177 392 1214 0 42067 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 173140
[startup+6.30085 s]
/proc/loadavg: 0.56 0.13 0.04 3/416 31209
/proc/meminfo: memFree=24572472/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=335392 CPUtime=6.3 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 82681 0 0 0 618 12 0 0 25 0 1 0 312089080 343441408 82634 33554432000 4194304 9163163 140736306363632 18446744073709551615 7985494 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 83848 82634 392 1214 0 82630 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 335392
[startup+12.7007 s]
/proc/loadavg: 0.67 0.16 0.05 3/416 31210
/proc/meminfo: memFree=24236364/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=656592 CPUtime=12.69 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 162723 0 0 0 1246 23 0 0 25 0 1 0 312089080 672350208 162676 33554432000 4194304 9163163 140736306363632 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 164148 162676 392 1214 0 162930 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 656592
[startup+25.5004 s]
/proc/loadavg: 0.97 0.25 0.08 3/416 31210
/proc/meminfo: memFree=23560068/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=1293632 CPUtime=25.49 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 321261 0 0 0 2502 47 0 0 25 0 1 0 312089080 1324679168 321214 33554432000 4194304 9163163 140736306363632 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 323408 321214 392 1214 0 322190 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1293632
[startup+51.1008 s]
/proc/loadavg: 1.39 0.40 0.14 3/416 31211
/proc/meminfo: memFree=22298236/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=2541536 CPUtime=51.09 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 633882 0 0 0 5020 89 0 0 25 0 1 0 312089080 2602532864 633835 33554432000 4194304 9163163 140736306363632 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31208/statm: 635384 633835 392 1214 0 634166 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2541536
[startup+102.316 s]
/proc/loadavg: 1.83 0.68 0.24 3/416 31212
/proc/meminfo: memFree=15455512/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=9411456 CPUtime=102.31 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 2501274 0 0 0 9909 322 0 0 25 0 1 0 312089080 9637330944 2324093 33554432000 4194304 9163163 140736306363632 18446744073709551615 4338432 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31208/statm: 2352864 2324093 522 1214 0 2351646 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 9411456
[startup+162.301 s]
/proc/loadavg: 1.98 0.93 0.35 3/416 31214
/proc/meminfo: memFree=16526992/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=8431588 CPUtime=162.29 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 3146704 0 0 0 15803 426 0 0 25 0 1 0 312089080 8633946112 2062766 33554432000 4194304 9163163 140736306363632 18446744073709551615 8039298 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31208/statm: 2107897 2062766 585 1214 0 2106679 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 8431588
Solver just ended. Dumping a history of the last processes samples
[startup+166.301 s]
/proc/loadavg: 1.98 0.95 0.36 3/416 31214
/proc/meminfo: memFree=15996520/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=8961808 CPUtime=166.29 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 3279261 0 0 0 16191 438 0 0 25 0 1 0 312089080 9176891392 2195323 33554432000 4194304 9163163 140736306363632 18446744073709551615 6918460 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31208/statm: 2240452 2195323 585 1214 0 2239234 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 8961808
[startup+179.101 s]
/proc/loadavg: 1.98 1.00 0.39 3/416 31214
/proc/meminfo: memFree=14250724/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=11190200 CPUtime=179.09 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 4032493 0 0 0 17380 529 0 0 25 0 1 0 312089080 11458764800 2743683 33554432000 4194304 9163163 140736306363632 18446744073709551615 4639098 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31208/statm: 2797550 2743683 600 1214 0 2796332 0
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (KiB) 11190200
[startup+185.501 s]
/proc/loadavg: 1.99 1.01 0.40 3/416 31214
/proc/meminfo: memFree=12042644/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=13468524 CPUtime=185.49 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 4579814 0 0 0 17935 614 0 0 25 0 1 0 312089080 13791768576 3239922 33554432000 4194304 9163163 140736306363632 18446744073709551615 6620116 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31208/statm: 3367131 3239925 617 1214 0 3365913 0
Current children cumulated CPU time (s) 185.49
Current children cumulated vsize (KiB) 13468524
[startup+187.1 s]
/proc/loadavg: 1.99 1.01 0.40 3/416 31214
/proc/meminfo: memFree=11381844/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=13728632 CPUtime=187.09 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 4697942 0 0 0 18073 636 0 0 25 0 1 0 312089080 14058119168 3358050 33554432000 4194304 9163163 140736306363632 18446744073709551615 6620127 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31208/statm: 3432158 3358051 617 1214 0 3430940 0
Current children cumulated CPU time (s) 187.09
Current children cumulated vsize (KiB) 13728632
[startup+187.901 s]
/proc/loadavg: 1.99 1.01 0.40 3/416 31214
/proc/meminfo: memFree=11381844/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=15112584 CPUtime=187.9 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202496 4870717 0 0 0 18125 665 0 0 25 0 1 0 312089080 15475286016 3519186 33554432000 4194304 9163163 140736306363632 18446744073709551615 6945456 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31208/statm: 3778146 3519197 617 1214 0 3776928 0
Current children cumulated CPU time (s) 187.9
Current children cumulated vsize (KiB) 15112584
[startup+188.701 s]
/proc/loadavg: 1.99 1.03 0.41 3/416 31214
/proc/meminfo: memFree=10583904/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=0 CPUtime=188.7 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202500 4967890 0 0 0 18179 691 0 0 25 0 1 0 312089080 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/31208/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 188.7
Current children cumulated vsize (KiB) 0
[startup+189.101 s]
/proc/loadavg: 1.99 1.03 0.41 3/416 31214
/proc/meminfo: memFree=22029524/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=0 CPUtime=189.11 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202500 4967890 0 0 0 18179 732 0 0 25 0 1 0 312089080 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/31208/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 189.11
Current children cumulated vsize (KiB) 0
[startup+189.216 s]
/proc/loadavg: 1.99 1.03 0.41 3/416 31214
/proc/meminfo: memFree=22029524/32950928 swapFree=52006644/67111528
[pid=31208] ppid=31206 vsize=0 CPUtime=189.21 cores=0,2,4,6
/proc/31208/stat : 31208 (scip-2.0.1.4b.l) R 31206 31208 31170 0 -1 4202500 4967890 0 0 0 18179 742 0 0 25 0 1 0 312089080 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/31208/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 189.21
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 189.256
CPU time (s): 189.26
CPU user time (s): 181.793
CPU system time (s): 7.46686
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 15586716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.793
system time used= 7.46686
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4967890
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= 7
involuntary context switches= 608
runsolver used 0.806877 second user time and 1.78673 second system time
The end