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-3478922-1307444787.opb>
51.19/51.28 c original problem has 268241 variables (268241 bin, 0 int, 0 impl, 0 cont) and 5985144 constraints
51.19/51.28 c problem read
51.19/51.28 c No objective function, only one solution is needed.
51.19/51.29 c presolving settings loaded
59.29/59.34 c presolving:
108.89/108.96 c (round 1) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 5985135 upgd conss, 2424798 impls, 10661 clqs
118.29/118.31 c presolving (2 rounds):
118.29/118.31 c 1 deleted vars, 22 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
118.29/118.31 c 2424798 implications, 10661 cliques
118.29/118.31 c presolved problem has 268240 variables (268240 bin, 0 int, 0 impl, 0 cont) and 5985122 constraints
118.29/118.31 c 616037 constraints of type <knapsack>
118.29/118.31 c 1194866 constraints of type <setppc>
118.29/118.31 c 1 constraints of type <linear>
118.29/118.31 c 4174218 constraints of type <logicor>
118.29/118.31 c transformed objective value is always integral (scale: 1)
118.29/118.31 c Presolving Time: 59.45
118.29/118.31 c - non default parameters ----------------------------------------------------------------------
118.29/118.31 c # SCIP version 2.0.1.5
118.29/118.31 c
118.29/118.31 c # frequency for displaying node information lines
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 100]
118.29/118.31 c display/freq = 10000
118.29/118.31 c
118.29/118.31 c # maximal time in seconds to run
118.29/118.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
118.29/118.31 c limits/time = 1800
118.29/118.31 c
118.29/118.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
118.29/118.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
118.29/118.31 c limits/memory = 13950
118.29/118.31 c
118.29/118.31 c # solving stops, if the given number of solutions were found (-1: no limit)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: -1]
118.29/118.31 c limits/solutions = 1
118.29/118.31 c
118.29/118.31 c # maximal number of separation rounds per node (-1: unlimited)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 5]
118.29/118.31 c separating/maxrounds = 1
118.29/118.31 c
118.29/118.31 c # maximal number of separation rounds in the root node (-1: unlimited)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: -1]
118.29/118.31 c separating/maxroundsroot = 5
118.29/118.31 c
118.29/118.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
118.29/118.31 c # [type: int, range: [1,2], default: 1]
118.29/118.31 c timing/clocktype = 2
118.29/118.31 c
118.29/118.31 c # belongs reading time to solving time?
118.29/118.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
118.29/118.31 c timing/reading = TRUE
118.29/118.31 c
118.29/118.31 c # should presolving try to simplify inequalities
118.29/118.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
118.29/118.31 c constraints/linear/simplifyinequalities = TRUE
118.29/118.31 c
118.29/118.31 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
118.29/118.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
118.29/118.31 c constraints/indicator/addCouplingCons = TRUE
118.29/118.31 c
118.29/118.31 c # should disaggregation of knapsack constraints be allowed in preprocessing?
118.29/118.31 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
118.29/118.31 c constraints/knapsack/disaggregation = FALSE
118.29/118.31 c
118.29/118.31 c # should presolving try to simplify knapsacks
118.29/118.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
118.29/118.31 c constraints/knapsack/simplifyinequalities = TRUE
118.29/118.31 c
118.29/118.31 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: -1]
118.29/118.31 c presolving/probing/maxrounds = 0
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 10]
118.29/118.31 c heuristics/coefdiving/freq = -1
118.29/118.31 c
118.29/118.31 c # maximal fraction of diving LP iterations compared to node LP iterations
118.29/118.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
118.29/118.31 c heuristics/coefdiving/maxlpiterquot = 0.075
118.29/118.31 c
118.29/118.31 c # additional number of allowed LP iterations
118.29/118.31 c # [type: int, range: [0,2147483647], default: 1000]
118.29/118.31 c heuristics/coefdiving/maxlpiterofs = 1500
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 30]
118.29/118.31 c heuristics/crossover/freq = -1
118.29/118.31 c
118.29/118.31 c # number of nodes added to the contingent of the total nodes
118.29/118.31 c # [type: longint, range: [0,9223372036854775807], default: 500]
118.29/118.31 c heuristics/crossover/nodesofs = 750
118.29/118.31 c
118.29/118.31 c # number of nodes without incumbent change that heuristic should wait
118.29/118.31 c # [type: longint, range: [0,9223372036854775807], default: 200]
118.29/118.31 c heuristics/crossover/nwaitingnodes = 100
118.29/118.31 c
118.29/118.31 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
118.29/118.31 c # [type: real, range: [0,1], default: 0.1]
118.29/118.31 c heuristics/crossover/nodesquot = 0.15
118.29/118.31 c
118.29/118.31 c # minimum percentage of integer variables that have to be fixed
118.29/118.31 c # [type: real, range: [0,1], default: 0.666]
118.29/118.31 c heuristics/crossover/minfixingrate = 0.5
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 20]
118.29/118.31 c heuristics/feaspump/freq = -1
118.29/118.31 c
118.29/118.31 c # additional number of allowed LP iterations
118.29/118.31 c # [type: int, range: [0,2147483647], default: 1000]
118.29/118.31 c heuristics/feaspump/maxlpiterofs = 2000
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 10]
118.29/118.31 c heuristics/fracdiving/freq = -1
118.29/118.31 c
118.29/118.31 c # maximal fraction of diving LP iterations compared to node LP iterations
118.29/118.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
118.29/118.31 c heuristics/fracdiving/maxlpiterquot = 0.075
118.29/118.31 c
118.29/118.31 c # additional number of allowed LP iterations
118.29/118.31 c # [type: int, range: [0,2147483647], default: 1000]
118.29/118.31 c heuristics/fracdiving/maxlpiterofs = 1500
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 10]
118.29/118.31 c heuristics/guideddiving/freq = -1
118.29/118.31 c
118.29/118.31 c # maximal fraction of diving LP iterations compared to node LP iterations
118.29/118.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
118.29/118.31 c heuristics/guideddiving/maxlpiterquot = 0.075
118.29/118.31 c
118.29/118.31 c # additional number of allowed LP iterations
118.29/118.31 c # [type: int, range: [0,2147483647], default: 1000]
118.29/118.31 c heuristics/guideddiving/maxlpiterofs = 1500
118.29/118.31 c
118.29/118.31 c # maximal fraction of diving LP iterations compared to node LP iterations
118.29/118.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
118.29/118.31 c heuristics/intdiving/maxlpiterquot = 0.075
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 10]
118.29/118.31 c heuristics/intshifting/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 10]
118.29/118.31 c heuristics/linesearchdiving/freq = -1
118.29/118.31 c
118.29/118.31 c # maximal fraction of diving LP iterations compared to node LP iterations
118.29/118.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
118.29/118.31 c heuristics/linesearchdiving/maxlpiterquot = 0.075
118.29/118.31 c
118.29/118.31 c # additional number of allowed LP iterations
118.29/118.31 c # [type: int, range: [0,2147483647], default: 1000]
118.29/118.31 c heuristics/linesearchdiving/maxlpiterofs = 1500
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 20]
118.29/118.31 c heuristics/objpscostdiving/freq = -1
118.29/118.31 c
118.29/118.31 c # maximal fraction of diving LP iterations compared to total iteration number
118.29/118.31 c # [type: real, range: [0,1], default: 0.01]
118.29/118.31 c heuristics/objpscostdiving/maxlpiterquot = 0.015
118.29/118.31 c
118.29/118.31 c # additional number of allowed LP iterations
118.29/118.31 c # [type: int, range: [0,2147483647], default: 1000]
118.29/118.31 c heuristics/objpscostdiving/maxlpiterofs = 1500
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 1]
118.29/118.31 c heuristics/oneopt/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 10]
118.29/118.31 c heuristics/pscostdiving/freq = -1
118.29/118.31 c
118.29/118.31 c # maximal fraction of diving LP iterations compared to node LP iterations
118.29/118.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
118.29/118.31 c heuristics/pscostdiving/maxlpiterquot = 0.075
118.29/118.31 c
118.29/118.31 c # additional number of allowed LP iterations
118.29/118.31 c # [type: int, range: [0,2147483647], default: 1000]
118.29/118.31 c heuristics/pscostdiving/maxlpiterofs = 1500
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 0]
118.29/118.31 c heuristics/rens/freq = -1
118.29/118.31 c
118.29/118.31 c # minimum percentage of integer variables that have to be fixable
118.29/118.31 c # [type: real, range: [0,1], default: 0.5]
118.29/118.31 c heuristics/rens/minfixingrate = 0.3
118.29/118.31 c
118.29/118.31 c # number of nodes added to the contingent of the total nodes
118.29/118.31 c # [type: longint, range: [0,9223372036854775807], default: 500]
118.29/118.31 c heuristics/rens/nodesofs = 2000
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 20]
118.29/118.31 c heuristics/rootsoldiving/freq = -1
118.29/118.31 c
118.29/118.31 c # maximal fraction of diving LP iterations compared to node LP iterations
118.29/118.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
118.29/118.31 c heuristics/rootsoldiving/maxlpiterquot = 0.015
118.29/118.31 c
118.29/118.31 c # additional number of allowed LP iterations
118.29/118.31 c # [type: int, range: [0,2147483647], default: 1000]
118.29/118.31 c heuristics/rootsoldiving/maxlpiterofs = 1500
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 1]
118.29/118.31 c heuristics/rounding/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 0]
118.29/118.31 c heuristics/shiftandpropagate/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 10]
118.29/118.31 c heuristics/shifting/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 1]
118.29/118.31 c heuristics/simplerounding/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 1]
118.29/118.31 c heuristics/subnlp/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 0]
118.29/118.31 c heuristics/trivial/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 1]
118.29/118.31 c heuristics/trysol/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 0]
118.29/118.31 c heuristics/undercover/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 10]
118.29/118.31 c heuristics/veclendiving/freq = -1
118.29/118.31 c
118.29/118.31 c # maximal fraction of diving LP iterations compared to node LP iterations
118.29/118.31 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
118.29/118.31 c heuristics/veclendiving/maxlpiterquot = 0.075
118.29/118.31 c
118.29/118.31 c # additional number of allowed LP iterations
118.29/118.31 c # [type: int, range: [0,2147483647], default: 1000]
118.29/118.31 c heuristics/veclendiving/maxlpiterofs = 1500
118.29/118.31 c
118.29/118.31 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 1]
118.29/118.31 c heuristics/zirounding/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 0]
118.29/118.31 c separating/cmir/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: 0]
118.29/118.31 c separating/flowcover/freq = -1
118.29/118.31 c
118.29/118.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
118.29/118.31 c # [type: int, range: [-1,2147483647], default: -1]
118.29/118.31 c separating/rapidlearning/freq = 0
118.29/118.31 c
118.29/118.31 c -----------------------------------------------------------------------------------------------
118.29/118.31 c start solving
118.79/118.89 c
149.30/149.41 EMALLC01 malloc: Out of memory - cannot allocate 191523936 bytes
149.30/149.42 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XMALLC01 malloc: Could not allocate enough memory
151.61/151.63 EMALLC01 malloc: Out of memory - cannot allocate 191523936 bytes
151.61/151.63 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XMALLC01 malloc: Could not allocate enough memory
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-3478922-1307444787/watcher-3478922-1307444787 -o /tmp/evaluation-result-3478922-1307444787/solver-3478922-1307444787 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3478922-1307444787.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.31 0.07 0.02 2/515 8163
/proc/meminfo: memFree=21882480/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=13116 CPUtime=0 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 2248 0 0 0 0 0 0 0 23 0 1 0 934710046 13430784 2201 33554432000 4194304 9163163 140736803366160 18446744073709551615 4337755 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8163/statm: 3279 2201 392 1214 0 2061 0
[startup+0.115541 s]
/proc/loadavg: 0.31 0.07 0.02 2/515 8163
/proc/meminfo: memFree=21882480/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=20368 CPUtime=0.11 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 4082 0 0 0 11 0 0 0 24 0 1 0 934710046 20856832 4035 33554432000 4194304 9163163 140736803366160 18446744073709551615 7936410 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8163/statm: 5092 4035 392 1214 0 3874 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 20368
[startup+0.200526 s]
/proc/loadavg: 0.31 0.07 0.02 2/515 8163
/proc/meminfo: memFree=21882480/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=26788 CPUtime=0.19 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5685 0 0 0 19 0 0 0 24 0 1 0 934710046 27430912 5638 33554432000 4194304 9163163 140736803366160 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8163/statm: 6697 5638 392 1214 0 5479 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26788
[startup+0.300506 s]
/proc/loadavg: 0.31 0.07 0.02 2/515 8163
/proc/meminfo: memFree=21882480/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=32440 CPUtime=0.29 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 7098 0 0 0 29 0 0 0 25 0 1 0 934710046 33218560 7051 33554432000 4194304 9163163 140736803366160 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8163/statm: 8110 7051 392 1214 0 6892 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32440
[startup+0.700376 s]
/proc/loadavg: 0.31 0.07 0.02 2/515 8163
/proc/meminfo: memFree=21882480/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=56288 CPUtime=0.69 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 13036 0 0 0 68 1 0 0 25 0 1 0 934710046 57638912 12989 33554432000 4194304 9163163 140736803366160 18446744073709551615 7480143 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/8163/statm: 14072 12989 392 1214 0 12854 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56288
[startup+1.50028 s]
/proc/loadavg: 0.31 0.07 0.02 3/516 8164
/proc/meminfo: memFree=21805096/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=99604 CPUtime=1.48 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 23817 0 0 0 146 2 0 0 25 0 1 0 934710046 101994496 23770 33554432000 4194304 9163163 140736803366160 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8163/statm: 24901 23770 392 1214 0 23683 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 99604
[startup+3.11998 s]
/proc/loadavg: 0.31 0.07 0.02 3/516 8164
/proc/meminfo: memFree=21684476/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=181040 CPUtime=3.11 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 44235 0 0 0 307 4 0 0 25 0 1 0 934710046 185384960 44188 33554432000 4194304 9163163 140736803366160 18446744073709551615 4609414 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8163/statm: 45260 44188 392 1214 0 44042 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 181040
[startup+6.30137 s]
/proc/loadavg: 0.44 0.10 0.03 3/516 8165
/proc/meminfo: memFree=21497136/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=341936 CPUtime=6.3 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 84350 0 0 0 620 10 0 0 25 0 1 0 934710046 350142464 84303 33554432000 4194304 9163163 140736803366160 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8163/statm: 85484 84303 392 1214 0 84266 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 341936
[startup+12.7011 s]
/proc/loadavg: 0.57 0.13 0.04 3/516 8165
/proc/meminfo: memFree=21205868/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=663664 CPUtime=12.69 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 164494 0 0 0 1247 22 0 0 25 0 1 0 934710046 679591936 164447 33554432000 4194304 9163163 140736803366160 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8163/statm: 165916 164447 392 1214 0 164698 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 663664
[startup+25.5007 s]
/proc/loadavg: 0.88 0.22 0.07 3/516 8165
/proc/meminfo: memFree=20535428/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=1301640 CPUtime=25.49 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 323225 0 0 0 2503 46 0 0 25 0 1 0 934710046 1332879360 323178 33554432000 4194304 9163163 140736803366160 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8163/statm: 325410 323178 392 1214 0 324192 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1301640
[startup+51.1008 s]
/proc/loadavg: 1.26 0.36 0.12 3/516 8166
/proc/meminfo: memFree=19268712/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=2540380 CPUtime=51.08 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 633542 0 0 0 5016 92 0 0 25 0 1 0 934710046 2601349120 633495 33554432000 4194304 9163163 140736803366160 18446744073709551615 6137057 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8163/statm: 635095 633495 392 1214 0 633877 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2540380
[startup+102.301 s]
/proc/loadavg: 1.68 0.61 0.22 3/516 8167
/proc/meminfo: memFree=13952044/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=7810268 CPUtime=102.29 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 2388146 0 0 0 9925 304 0 0 25 0 1 0 934710046 7997714432 1936044 33554432000 4194304 9163163 140736803366160 18446744073709551615 6918256 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 1952567 1936044 522 1214 0 1951349 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 7810268
[startup+162.301 s]
/proc/loadavg: 1.88 0.86 0.33 3/516 8169
/proc/meminfo: memFree=8404300/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14728992 CPUtime=162.29 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5458867 0 0 0 15503 726 0 0 25 0 1 0 934710046 15082487808 3337410 33554432000 4194304 9163163 140736803366160 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3682248 3337410 3133 1214 0 3681030 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 14728992
[startup+222.301 s]
/proc/loadavg: 1.95 1.07 0.43 3/516 8170
/proc/meminfo: memFree=8417476/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14728992 CPUtime=222.3 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5458903 0 0 0 21503 727 0 0 25 0 1 0 934710046 15082487808 3337410 33554432000 4194304 9163163 140736803366160 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3682248 3337410 3133 1214 0 3681030 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 14728992
[startup+282.301 s]
/proc/loadavg: 1.98 1.23 0.52 3/516 8172
/proc/meminfo: memFree=8456440/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14728992 CPUtime=282.3 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5458934 0 0 0 27502 728 0 0 25 0 1 0 934710046 15082487808 3337410 33554432000 4194304 9163163 140736803366160 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3682248 3337410 3132 1214 0 3681030 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 14728992
[startup+342.301 s]
/proc/loadavg: 2.06 1.40 0.62 3/516 8174
/proc/meminfo: memFree=8443232/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14728992 CPUtime=342.3 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5458970 0 0 0 33502 728 0 0 25 0 1 0 934710046 15082487808 3337410 33554432000 4194304 9163163 140736803366160 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3682248 3337410 3132 1214 0 3681030 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 14728992
[startup+402.301 s]
/proc/loadavg: 2.05 1.52 0.71 3/516 8175
/proc/meminfo: memFree=8452324/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14733596 CPUtime=402.31 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5460151 0 0 0 39502 729 0 0 25 0 1 0 934710046 15087202304 3338509 33554432000 4194304 9163163 140736803366160 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3683399 3338509 3132 1214 0 3682181 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 14733596
[startup+462.301 s]
/proc/loadavg: 2.13 1.64 0.80 3/516 8177
/proc/meminfo: memFree=8450516/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14734348 CPUtime=462.31 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5460452 0 0 0 45501 730 0 0 25 0 1 0 934710046 15087972352 3338728 33554432000 4194304 9163163 140736803366160 18446744073709551615 7413686 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3683587 3338728 3132 1214 0 3682369 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 14734348
[startup+522.321 s]
/proc/loadavg: 2.15 1.73 0.88 3/516 8178
/proc/meminfo: memFree=8413624/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14753560 CPUtime=522.32 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5464507 0 0 0 51501 731 0 0 25 0 1 0 934710046 15107645440 3342656 33554432000 4194304 9163163 140736803366160 18446744073709551615 7396181 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3688390 3342656 3223 1214 0 3687172 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 14753560
[startup+582.301 s]
/proc/loadavg: 2.05 1.78 0.95 3/516 8180
/proc/meminfo: memFree=8388252/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14756616 CPUtime=582.31 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5465846 0 0 0 57499 732 0 0 25 0 1 0 934710046 15110774784 3343837 33554432000 4194304 9163163 140736803366160 18446744073709551615 7224045 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3689154 3343837 3185 1214 0 3687936 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 14756616
[startup+642.301 s]
/proc/loadavg: 2.02 1.81 1.01 3/516 8182
/proc/meminfo: memFree=8427252/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14756616 CPUtime=642.31 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5466358 0 0 0 63499 732 0 0 25 0 1 0 934710046 15110774784 3344319 33554432000 4194304 9163163 140736803366160 18446744073709551615 7414054 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3689154 3344319 3185 1214 0 3687936 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 14756616
[startup+702.3 s]
/proc/loadavg: 2.00 1.85 1.07 3/516 8183
/proc/meminfo: memFree=8396432/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14756616 CPUtime=702.31 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5466382 0 0 0 69499 732 0 0 25 0 1 0 934710046 15110774784 3344319 33554432000 4194304 9163163 140736803366160 18446744073709551615 7224027 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3689154 3344319 3185 1214 0 3687936 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 14756616
[startup+762.301 s]
/proc/loadavg: 2.00 1.87 1.13 3/516 8185
/proc/meminfo: memFree=8361288/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14784644 CPUtime=762.31 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5472261 0 0 0 75496 735 0 0 25 0 1 0 934710046 15139475456 3350166 33554432000 4194304 9163163 140736803366160 18446744073709551615 7414184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3696161 3350166 3189 1214 0 3694943 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 14784644
[startup+822.3 s]
/proc/loadavg: 2.10 1.92 1.19 3/516 8186
/proc/meminfo: memFree=8297136/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=14903692 CPUtime=822.31 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5521662 0 0 0 81488 743 0 0 25 0 1 0 934710046 15261380608 3365879 33554432000 4194304 9163163 140736803366160 18446744073709551615 7414184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3725923 3365879 3136 1214 0 3724705 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 14903692
[startup+882.301 s]
/proc/loadavg: 2.08 1.95 1.24 3/516 8188
/proc/meminfo: memFree=8278984/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=15023972 CPUtime=882.31 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5561262 0 0 0 87482 749 0 0 25 0 1 0 934710046 15384547328 3373625 33554432000 4194304 9163163 140736803366160 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3755993 3373625 3136 1214 0 3754775 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 15023972
[startup+942.3 s]
/proc/loadavg: 2.03 1.95 1.29 3/516 8190
/proc/meminfo: memFree=8207324/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=15047772 CPUtime=942.32 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5596774 0 0 0 93476 756 0 0 25 0 1 0 934710046 15408918528 3374625 33554432000 4194304 9163163 140736803366160 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3761943 3374625 3136 1214 0 3760725 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 15047772
[startup+1002.3 s]
/proc/loadavg: 2.17 1.99 1.34 3/516 8191
/proc/meminfo: memFree=8244716/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=15860872 CPUtime=1002.32 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5662879 0 0 0 99466 766 0 0 25 0 1 0 934710046 16241532928 3387804 33554432000 4194304 9163163 140736803366160 18446744073709551615 7382596 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3965218 3387804 3136 1214 0 3964000 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 15860872
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1020.62 s]
/proc/loadavg: 2.12 1.99 1.35 3/516 8192
/proc/meminfo: memFree=8177348/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=15877588 CPUtime=1020.65 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5674685 0 0 0 101296 769 0 0 25 0 1 0 934710046 16258650112 3388151 33554432000 4194304 9163163 140736803366160 18446744073709551615 7382621 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3969397 3388151 3136 1214 0 3968179 0
Current children cumulated CPU time (s) 1020.65
Current children cumulated vsize (KiB) 15877588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8163
Solver just ended. Dumping a history of the last processes samples
[startup+1021.5 s]
/proc/loadavg: 2.12 1.99 1.35 3/516 8192
/proc/meminfo: memFree=8177348/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=15131844 CPUtime=1021.52 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5680257 0 0 0 101382 770 0 0 25 0 1 0 934710046 15495008256 3387845 33554432000 4194304 9163163 140736803366160 18446744073709551615 7110296 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3782961 3387845 3136 1214 0 3781743 0
Current children cumulated CPU time (s) 1021.52
Current children cumulated vsize (KiB) 15131844
[startup+1022.3 s]
/proc/loadavg: 2.12 1.99 1.35 3/517 8193
/proc/meminfo: memFree=8178704/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=15131844 CPUtime=1022.32 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4202496 5680305 0 0 0 101462 770 0 0 25 0 1 0 934710046 15495008256 3387893 33554432000 4194304 9163163 140736803366160 18446744073709551615 7110306 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8163/statm: 3782961 3387893 3136 1214 0 3781743 0
Current children cumulated CPU time (s) 1022.32
Current children cumulated vsize (KiB) 15131844
[startup+1022.7 s]
/proc/loadavg: 2.12 1.99 1.35 3/516 8193
/proc/meminfo: memFree=9824308/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=0 CPUtime=1022.73 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4203524 5680309 0 0 0 101496 777 0 0 25 0 1 0 934710046 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/8163/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1022.73
Current children cumulated vsize (KiB) 0
[startup+1023.1 s]
/proc/loadavg: 2.12 1.99 1.35 3/516 8193
/proc/meminfo: memFree=9824308/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=0 CPUtime=1023.13 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4203524 5680309 0 0 0 101496 817 0 0 25 0 1 0 934710046 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/8163/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1023.13
Current children cumulated vsize (KiB) 0
[startup+1023.2 s]
/proc/loadavg: 2.12 1.99 1.35 3/516 8193
/proc/meminfo: memFree=9824308/32950928 swapFree=58671692/67111528
[pid=8163] ppid=8161 vsize=0 CPUtime=1023.23 cores=0,2,4,6
/proc/8163/stat : 8163 (scip-2.0.1.4b.l) R 8161 8163 8125 0 -1 4203524 5680309 0 0 0 101496 827 0 0 25 0 1 0 934710046 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/8163/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1023.23
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1023.23
CPU time (s): 1023.27
CPU user time (s): 1014.96
CPU system time (s): 8.30274
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 15877588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1014.96
system time used= 8.30274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5680309
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= 4
involuntary context switches= 2117
runsolver used 5.59115 second user time and 12.6631 second system time
The end