0.00/0.00 c SCIP version 2.0.1.4 [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-3478934-1307443995.opb>
58.39/58.44 c original problem has 334369 variables (334369 bin, 0 int, 0 impl, 0 cont) and 7853489 constraints
58.39/58.44 c problem read
58.39/58.45 c No objective function, only one solution is needed.
58.39/58.45 c presolving settings loaded
104.95/105.08 c presolving:
117.15/117.28 c (round 1) 4636 del vars, 74640 del conss, 0 add conss, 4636 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3369896 impls, 12137 clqs
119.15/119.23 c (round 2) 7041 del vars, 194927 del conss, 0 add conss, 4636 chg bounds, 23421 chg sides, 31080 chg coeffs, 0 upgd conss, 3392540 impls, 12137 clqs
120.15/120.28 c (round 3) 7041 del vars, 197147 del conss, 0 add conss, 4636 chg bounds, 23421 chg sides, 31080 chg coeffs, 0 upgd conss, 3392540 impls, 12137 clqs
229.36/229.46 c (round 4) 7041 del vars, 197192 del conss, 0 add conss, 4636 chg bounds, 23428 chg sides, 31080 chg coeffs, 7656334 upgd conss, 3392540 impls, 12137 clqs
250.67/250.75 c presolving (5 rounds):
250.67/250.75 c 7041 deleted vars, 197192 deleted constraints, 0 added constraints, 4636 tightened bounds, 0 added holes, 23539 changed sides, 31302 changed coefficients
250.67/250.75 c 3392540 implications, 12137 cliques
250.67/250.75 c presolved problem has 327328 variables (327328 bin, 0 int, 0 impl, 0 cont) and 7656297 constraints
250.67/250.75 c 770213 constraints of type <knapsack>
250.67/250.75 c 1596563 constraints of type <setppc>
250.67/250.75 c 1 constraints of type <linear>
250.67/250.75 c 5289520 constraints of type <logicor>
250.67/250.75 c transformed objective value is always integral (scale: 1)
250.67/250.75 c Presolving Time: 187.34
250.67/250.75 c - non default parameters ----------------------------------------------------------------------
250.67/250.75 c # SCIP version 2.0.1.4
250.67/250.75 c
250.67/250.75 c # frequency for displaying node information lines
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 100]
250.67/250.75 c display/freq = 10000
250.67/250.75 c
250.67/250.75 c # maximal time in seconds to run
250.67/250.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
250.67/250.75 c limits/time = 1800
250.67/250.75 c
250.67/250.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
250.67/250.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
250.67/250.75 c limits/memory = 13950
250.67/250.75 c
250.67/250.75 c # solving stops, if the given number of solutions were found (-1: no limit)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: -1]
250.67/250.75 c limits/solutions = 1
250.67/250.75 c
250.67/250.75 c # maximal number of separation rounds per node (-1: unlimited)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 5]
250.67/250.75 c separating/maxrounds = 1
250.67/250.75 c
250.67/250.75 c # maximal number of separation rounds in the root node (-1: unlimited)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: -1]
250.67/250.75 c separating/maxroundsroot = 5
250.67/250.75 c
250.67/250.75 c # default clock type (1: CPU user seconds, 2: wall clock time)
250.67/250.75 c # [type: int, range: [1,2], default: 1]
250.67/250.75 c timing/clocktype = 2
250.67/250.75 c
250.67/250.75 c # belongs reading time to solving time?
250.67/250.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
250.67/250.75 c timing/reading = TRUE
250.67/250.75 c
250.67/250.75 c # should presolving try to simplify inequalities
250.67/250.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
250.67/250.75 c constraints/linear/simplifyinequalities = TRUE
250.67/250.75 c
250.67/250.75 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
250.67/250.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
250.67/250.75 c constraints/indicator/addCouplingCons = TRUE
250.67/250.75 c
250.67/250.75 c # should disaggregation of knapsack constraints be allowed in preprocessing?
250.67/250.75 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
250.67/250.75 c constraints/knapsack/disaggregation = FALSE
250.67/250.75 c
250.67/250.75 c # should presolving try to simplify knapsacks
250.67/250.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
250.67/250.75 c constraints/knapsack/simplifyinequalities = TRUE
250.67/250.75 c
250.67/250.75 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: -1]
250.67/250.75 c presolving/probing/maxrounds = 0
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 10]
250.67/250.75 c heuristics/coefdiving/freq = -1
250.67/250.75 c
250.67/250.75 c # maximal fraction of diving LP iterations compared to node LP iterations
250.67/250.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
250.67/250.75 c heuristics/coefdiving/maxlpiterquot = 0.075
250.67/250.75 c
250.67/250.75 c # additional number of allowed LP iterations
250.67/250.75 c # [type: int, range: [0,2147483647], default: 1000]
250.67/250.75 c heuristics/coefdiving/maxlpiterofs = 1500
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 30]
250.67/250.75 c heuristics/crossover/freq = -1
250.67/250.75 c
250.67/250.75 c # number of nodes added to the contingent of the total nodes
250.67/250.75 c # [type: longint, range: [0,9223372036854775807], default: 500]
250.67/250.75 c heuristics/crossover/nodesofs = 750
250.67/250.75 c
250.67/250.75 c # number of nodes without incumbent change that heuristic should wait
250.67/250.75 c # [type: longint, range: [0,9223372036854775807], default: 200]
250.67/250.75 c heuristics/crossover/nwaitingnodes = 100
250.67/250.75 c
250.67/250.75 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
250.67/250.75 c # [type: real, range: [0,1], default: 0.1]
250.67/250.75 c heuristics/crossover/nodesquot = 0.15
250.67/250.75 c
250.67/250.75 c # minimum percentage of integer variables that have to be fixed
250.67/250.75 c # [type: real, range: [0,1], default: 0.666]
250.67/250.75 c heuristics/crossover/minfixingrate = 0.5
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 20]
250.67/250.75 c heuristics/feaspump/freq = -1
250.67/250.75 c
250.67/250.75 c # additional number of allowed LP iterations
250.67/250.75 c # [type: int, range: [0,2147483647], default: 1000]
250.67/250.75 c heuristics/feaspump/maxlpiterofs = 2000
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 10]
250.67/250.75 c heuristics/fracdiving/freq = -1
250.67/250.75 c
250.67/250.75 c # maximal fraction of diving LP iterations compared to node LP iterations
250.67/250.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
250.67/250.75 c heuristics/fracdiving/maxlpiterquot = 0.075
250.67/250.75 c
250.67/250.75 c # additional number of allowed LP iterations
250.67/250.75 c # [type: int, range: [0,2147483647], default: 1000]
250.67/250.75 c heuristics/fracdiving/maxlpiterofs = 1500
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 10]
250.67/250.75 c heuristics/guideddiving/freq = -1
250.67/250.75 c
250.67/250.75 c # maximal fraction of diving LP iterations compared to node LP iterations
250.67/250.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
250.67/250.75 c heuristics/guideddiving/maxlpiterquot = 0.075
250.67/250.75 c
250.67/250.75 c # additional number of allowed LP iterations
250.67/250.75 c # [type: int, range: [0,2147483647], default: 1000]
250.67/250.75 c heuristics/guideddiving/maxlpiterofs = 1500
250.67/250.75 c
250.67/250.75 c # maximal fraction of diving LP iterations compared to node LP iterations
250.67/250.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
250.67/250.75 c heuristics/intdiving/maxlpiterquot = 0.075
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 10]
250.67/250.75 c heuristics/intshifting/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 10]
250.67/250.75 c heuristics/linesearchdiving/freq = -1
250.67/250.75 c
250.67/250.75 c # maximal fraction of diving LP iterations compared to node LP iterations
250.67/250.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
250.67/250.75 c heuristics/linesearchdiving/maxlpiterquot = 0.075
250.67/250.75 c
250.67/250.75 c # additional number of allowed LP iterations
250.67/250.75 c # [type: int, range: [0,2147483647], default: 1000]
250.67/250.75 c heuristics/linesearchdiving/maxlpiterofs = 1500
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 20]
250.67/250.75 c heuristics/objpscostdiving/freq = -1
250.67/250.75 c
250.67/250.75 c # maximal fraction of diving LP iterations compared to total iteration number
250.67/250.75 c # [type: real, range: [0,1], default: 0.01]
250.67/250.75 c heuristics/objpscostdiving/maxlpiterquot = 0.015
250.67/250.75 c
250.67/250.75 c # additional number of allowed LP iterations
250.67/250.75 c # [type: int, range: [0,2147483647], default: 1000]
250.67/250.75 c heuristics/objpscostdiving/maxlpiterofs = 1500
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 1]
250.67/250.75 c heuristics/oneopt/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 10]
250.67/250.75 c heuristics/pscostdiving/freq = -1
250.67/250.75 c
250.67/250.75 c # maximal fraction of diving LP iterations compared to node LP iterations
250.67/250.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
250.67/250.75 c heuristics/pscostdiving/maxlpiterquot = 0.075
250.67/250.75 c
250.67/250.75 c # additional number of allowed LP iterations
250.67/250.75 c # [type: int, range: [0,2147483647], default: 1000]
250.67/250.75 c heuristics/pscostdiving/maxlpiterofs = 1500
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 0]
250.67/250.75 c heuristics/rens/freq = -1
250.67/250.75 c
250.67/250.75 c # minimum percentage of integer variables that have to be fixable
250.67/250.75 c # [type: real, range: [0,1], default: 0.5]
250.67/250.75 c heuristics/rens/minfixingrate = 0.3
250.67/250.75 c
250.67/250.75 c # number of nodes added to the contingent of the total nodes
250.67/250.75 c # [type: longint, range: [0,9223372036854775807], default: 500]
250.67/250.75 c heuristics/rens/nodesofs = 2000
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 20]
250.67/250.75 c heuristics/rootsoldiving/freq = -1
250.67/250.75 c
250.67/250.75 c # maximal fraction of diving LP iterations compared to node LP iterations
250.67/250.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
250.67/250.75 c heuristics/rootsoldiving/maxlpiterquot = 0.015
250.67/250.75 c
250.67/250.75 c # additional number of allowed LP iterations
250.67/250.75 c # [type: int, range: [0,2147483647], default: 1000]
250.67/250.75 c heuristics/rootsoldiving/maxlpiterofs = 1500
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 1]
250.67/250.75 c heuristics/rounding/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 0]
250.67/250.75 c heuristics/shiftandpropagate/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 10]
250.67/250.75 c heuristics/shifting/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 1]
250.67/250.75 c heuristics/simplerounding/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 1]
250.67/250.75 c heuristics/subnlp/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 0]
250.67/250.75 c heuristics/trivial/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 1]
250.67/250.75 c heuristics/trysol/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 0]
250.67/250.75 c heuristics/undercover/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 10]
250.67/250.75 c heuristics/veclendiving/freq = -1
250.67/250.75 c
250.67/250.75 c # maximal fraction of diving LP iterations compared to node LP iterations
250.67/250.75 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
250.67/250.75 c heuristics/veclendiving/maxlpiterquot = 0.075
250.67/250.75 c
250.67/250.75 c # additional number of allowed LP iterations
250.67/250.75 c # [type: int, range: [0,2147483647], default: 1000]
250.67/250.75 c heuristics/veclendiving/maxlpiterofs = 1500
250.67/250.75 c
250.67/250.75 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 1]
250.67/250.75 c heuristics/zirounding/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 0]
250.67/250.75 c separating/cmir/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: 0]
250.67/250.75 c separating/flowcover/freq = -1
250.67/250.75 c
250.67/250.75 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
250.67/250.75 c # [type: int, range: [-1,2147483647], default: -1]
250.67/250.75 c separating/rapidlearning/freq = 0
250.67/250.75 c
250.67/250.75 c -----------------------------------------------------------------------------------------------
250.67/250.75 c start solving
251.35/251.49 c
266.07/266.14 EMALLC02 realloc: Out of memory - cannot allocate 38930560 bytes
266.07/266.17 c [src/scip/lpi_spx.cpp:1516] Warning: SoPlex threw an exception: XMALLC02 realloc: Could not allocate enough memory
266.07/266.17 c [src/scip/lp.c:6371] ERROR: Error <-6> in function call
266.07/266.17 c [src/scip/lp.c:6648] ERROR: Error <-6> in function call
266.07/266.17 c [src/scip/lp.c:12168] ERROR: Error <-6> in function call
266.07/266.17 c [src/scip/solve.c:1043] ERROR: Error <-6> in function call
266.07/266.17 c [src/scip/solve.c:2191] ERROR: Error <-6> in function call
266.07/266.17 c [src/scip/solve.c:2968] ERROR: Error <-6> in function call
266.07/266.17 c [src/scip/solve.c:3596] ERROR: Error <-6> in function call
266.07/266.17 c [src/scip/scip.c:6917] ERROR: Error <-6> in function call
266.07/266.17 c [src/cmain.c:680] ERROR: Error <-6> in function call
266.07/266.17 c [src/cmain.c:855] ERROR: Error <-6> in function call
266.07/266.17 c [src/cmain.c:928] ERROR: Error <-6> in function call
266.07/266.17 c SCIP Error (-6): c error in LP solverc
266.07/266.17 c Time complete: 266.13.
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-3478934-1307443995/watcher-3478934-1307443995 -o /tmp/evaluation-result-3478934-1307443995/solver-3478934-1307443995 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3478934-1307443995.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/521 23078
/proc/meminfo: memFree=20198348/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=10812 CPUtime=0.01 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 1688 0 0 0 1 0 0 0 24 0 1 0 836815873 11071488 1641 33554432000 4194304 9128323 140734529484304 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 2703 1641 397 1205 0 1494 0
[startup+0.0841401 s]
/proc/loadavg: 2.00 2.03 2.00 2/521 23078
/proc/meminfo: memFree=20198348/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=15656 CPUtime=0.08 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 2920 0 0 0 8 0 0 0 24 0 1 0 836815873 16031744 2871 33554432000 4194304 9128323 140734529484304 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 3914 2871 397 1205 0 2705 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15656
[startup+0.101135 s]
/proc/loadavg: 2.00 2.03 2.00 2/521 23078
/proc/meminfo: memFree=20198348/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=16176 CPUtime=0.09 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 3055 0 0 0 9 0 0 0 25 0 1 0 836815873 16564224 3006 33554432000 4194304 9128323 140734529484304 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 4044 3006 397 1205 0 2835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16176
[startup+0.301099 s]
/proc/loadavg: 2.00 2.03 2.00 2/521 23078
/proc/meminfo: memFree=20198348/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=25824 CPUtime=0.29 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 5466 0 0 0 29 0 0 0 25 0 1 0 836815873 26443776 5414 33554432000 4194304 9128323 140734529484304 18446744073709551615 6192930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 6456 5414 397 1205 0 5247 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25824
[startup+0.701025 s]
/proc/loadavg: 2.00 2.03 2.00 2/521 23078
/proc/meminfo: memFree=20198348/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=45408 CPUtime=0.69 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 10349 0 0 0 68 1 0 0 25 0 1 0 836815873 46497792 10290 33554432000 4194304 9128323 140734529484304 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 11352 10290 397 1205 0 10143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45408
[startup+1.50087 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 23079
/proc/meminfo: memFree=20143788/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=82768 CPUtime=1.49 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 19684 0 0 0 147 2 0 0 25 0 1 0 836815873 84754432 19611 33554432000 4194304 9128323 140734529484304 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 20692 19611 397 1205 0 19483 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82768
[startup+3.10058 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 23079
/proc/meminfo: memFree=20089848/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=157944 CPUtime=3.09 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 38440 0 0 0 304 5 0 0 25 0 1 0 836815873 161734656 38340 33554432000 4194304 9128323 140734529484304 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 39486 38340 397 1205 0 38277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157944
[startup+6.30099 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 23079
/proc/meminfo: memFree=19946520/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=304092 CPUtime=6.29 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 74876 0 0 0 619 10 0 0 25 0 1 0 836815873 311390208 74723 33554432000 4194304 9128323 140734529484304 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 76023 74723 397 1205 0 74814 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 304092
[startup+12.7008 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 23079
/proc/meminfo: memFree=19643392/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=597568 CPUtime=12.69 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 147947 0 0 0 1248 21 0 0 25 0 1 0 836815873 611909632 147687 33554432000 4194304 9128323 140734529484304 18446744073709551615 7929330 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 149392 147687 397 1205 0 148183 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 597568
[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23080
/proc/meminfo: memFree=19050364/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=1172144 CPUtime=25.49 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 292182 0 0 0 2509 40 0 0 25 0 1 0 836815873 1200275456 291711 33554432000 4194304 9128323 140734529484304 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 293036 291711 397 1205 0 291827 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1172144
[startup+51.1008 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23080
/proc/meminfo: memFree=17918916/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=2318268 CPUtime=51.09 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 578149 0 0 0 5033 76 0 0 25 0 1 0 836815873 2373906432 577260 33554432000 4194304 9128323 140734529484304 18446744073709551615 7929172 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23078/statm: 579567 577260 397 1205 0 578358 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2318268
[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23082
/proc/meminfo: memFree=9821936/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=10446316 CPUtime=102.27 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 2683127 0 0 0 9914 313 0 0 25 0 1 0 836815873 10697027584 2571572 33554432000 4194304 9128323 140734529484304 18446744073709551615 6885361 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23078/statm: 2611579 2571572 465 1205 0 2610370 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10446316
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23083
/proc/meminfo: memFree=9444340/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=10975680 CPUtime=162.25 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 3402204 0 0 0 15828 397 0 0 25 0 1 0 836815873 11239096320 2694203 33554432000 4194304 9128323 140734529484304 18446744073709551615 4338304 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23078/statm: 2743920 2694203 530 1205 0 2742711 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 10975680
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23085
/proc/meminfo: memFree=10475260/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=9934488 CPUtime=222.25 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 3693691 0 0 0 21788 437 0 0 25 0 1 0 836815873 10172915712 2426293 33554432000 4194304 9128323 140734529484304 18446744073709551615 6885516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23078/statm: 2483622 2426293 533 1205 0 2482413 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 9934488
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+265.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/522 23086
/proc/meminfo: memFree=5673328/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=15889572 CPUtime=265.86 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202496 5330647 0 0 0 25945 641 0 0 25 0 1 0 836815873 16270921728 3627960 33554432000 4194304 9128323 140734529484304 18446744073709551615 7288196 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/23078/statm: 3972393 3627966 619 1205 0 3971184 0
Current children cumulated CPU time (s) 265.86
Current children cumulated vsize (KiB) 15889572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+266.22 s]
/proc/loadavg: 2.00 2.00 2.00 3/523 23087
/proc/meminfo: memFree=5463884/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=0 CPUtime=266.17 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202500 5391853 0 0 0 25960 657 0 0 25 0 1 0 836815873 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/23078/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 266.17
Current children cumulated vsize (KiB) 0
[startup+266.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/523 23087
/proc/meminfo: memFree=5463884/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=0 CPUtime=266.55 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202500 5391853 0 0 0 25960 695 0 0 25 0 1 0 836815873 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/23078/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 266.55
Current children cumulated vsize (KiB) 0
[startup+266.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/523 23087
/proc/meminfo: memFree=5463884/32951124 swapFree=58800704/67111528
[pid=23078] ppid=23076 vsize=0 CPUtime=266.65 cores=1,3,5,7
/proc/23078/stat : 23078 (scip-2.0.1.4.li) R 23076 23078 22600 0 -1 4202500 5391853 0 0 0 25960 705 0 0 25 0 1 0 836815873 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/23078/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 266.65
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 266.749
CPU time (s): 266.708
CPU user time (s): 259.604
CPU system time (s): 7.10492
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 15902920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.604
system time used= 7.10492
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5391853
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= 6
involuntary context switches= 2491
runsolver used 1.35179 second user time and 3.2605 second system time
The end