0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3730051-1338680416.opb>
17.59/17.63 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
17.59/17.63 c problem read
17.59/17.63 c No objective function, only one solution is needed.
17.59/17.63 c presolving settings loaded
21.09/21.15 c presolving:
30.98/31.05 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2559500 upgd conss, 4000 impls, 100 clqs
32.78/32.85 c presolving (2 rounds):
32.78/32.85 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5041 changed coefficients
32.78/32.85 c 4000 implications, 100 cliques
32.78/32.85 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
32.78/32.85 c 4950 constraints of type <knapsack>
32.78/32.85 c 2100 constraints of type <setppc>
32.78/32.85 c 1 constraints of type <linear>
32.78/32.85 c 2552450 constraints of type <logicor>
32.78/32.85 c transformed objective value is always integral (scale: 1)
32.78/32.85 c Presolving Time: 12.32
32.78/32.85 c - non default parameters ----------------------------------------------------------------------
32.78/32.85 c # SCIP version 1.2.1.3
32.78/32.85 c
32.78/32.85 c # frequency for displaying node information lines
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 100]
32.78/32.85 c display/freq = 10000
32.78/32.85 c
32.78/32.85 c # maximal time in seconds to run
32.78/32.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
32.78/32.85 c limits/time = 1772.38
32.78/32.85 c
32.78/32.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
32.78/32.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
32.78/32.85 c limits/memory = 13950
32.78/32.85 c
32.78/32.85 c # solving stops, if the given number of solutions were found (-1: no limit)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: -1]
32.78/32.85 c limits/solutions = 1
32.78/32.85 c
32.78/32.85 c # maximal number of separation rounds per node (-1: unlimited)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 5]
32.78/32.85 c separating/maxrounds = 1
32.78/32.85 c
32.78/32.85 c # maximal number of separation rounds in the root node (-1: unlimited)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: -1]
32.78/32.85 c separating/maxroundsroot = 5
32.78/32.85 c
32.78/32.85 c # default clock type (1: CPU user seconds, 2: wall clock time)
32.78/32.85 c # [type: int, range: [1,2], default: 1]
32.78/32.85 c timing/clocktype = 2
32.78/32.85 c
32.78/32.85 c # should presolving try to simplify inequalities
32.78/32.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
32.78/32.85 c constraints/linear/simplifyinequalities = TRUE
32.78/32.85 c
32.78/32.85 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
32.78/32.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
32.78/32.85 c constraints/indicator/addCouplingCons = TRUE
32.78/32.85 c
32.78/32.85 c # should disaggregation of knapsack constraints be allowed in preprocessing?
32.78/32.85 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
32.78/32.85 c constraints/knapsack/disaggregation = FALSE
32.78/32.85 c
32.78/32.85 c # should presolving try to simplify knapsacks
32.78/32.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
32.78/32.85 c constraints/knapsack/simplifyinequalities = TRUE
32.78/32.85 c
32.78/32.85 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: -1]
32.78/32.85 c presolving/probing/maxrounds = 0
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 10]
32.78/32.85 c heuristics/coefdiving/freq = -1
32.78/32.85 c
32.78/32.85 c # maximal fraction of diving LP iterations compared to node LP iterations
32.78/32.85 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.78/32.85 c heuristics/coefdiving/maxlpiterquot = 0.075
32.78/32.85 c
32.78/32.85 c # additional number of allowed LP iterations
32.78/32.85 c # [type: int, range: [0,2147483647], default: 1000]
32.78/32.85 c heuristics/coefdiving/maxlpiterofs = 1500
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 30]
32.78/32.85 c heuristics/crossover/freq = -1
32.78/32.85 c
32.78/32.85 c # number of nodes added to the contingent of the total nodes
32.78/32.85 c # [type: longint, range: [0,9223372036854775807], default: 500]
32.78/32.85 c heuristics/crossover/nodesofs = 750
32.78/32.85 c
32.78/32.85 c # number of nodes without incumbent change that heuristic should wait
32.78/32.85 c # [type: longint, range: [0,9223372036854775807], default: 200]
32.78/32.85 c heuristics/crossover/nwaitingnodes = 100
32.78/32.85 c
32.78/32.85 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
32.78/32.85 c # [type: real, range: [0,1], default: 0.1]
32.78/32.85 c heuristics/crossover/nodesquot = 0.15
32.78/32.85 c
32.78/32.85 c # minimum percentage of integer variables that have to be fixed
32.78/32.85 c # [type: real, range: [0,1], default: 0.666]
32.78/32.85 c heuristics/crossover/minfixingrate = 0.5
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 20]
32.78/32.85 c heuristics/feaspump/freq = -1
32.78/32.85 c
32.78/32.85 c # additional number of allowed LP iterations
32.78/32.85 c # [type: int, range: [0,2147483647], default: 1000]
32.78/32.85 c heuristics/feaspump/maxlpiterofs = 2000
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 10]
32.78/32.85 c heuristics/fracdiving/freq = -1
32.78/32.85 c
32.78/32.85 c # maximal fraction of diving LP iterations compared to node LP iterations
32.78/32.85 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.78/32.85 c heuristics/fracdiving/maxlpiterquot = 0.075
32.78/32.85 c
32.78/32.85 c # additional number of allowed LP iterations
32.78/32.85 c # [type: int, range: [0,2147483647], default: 1000]
32.78/32.85 c heuristics/fracdiving/maxlpiterofs = 1500
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 10]
32.78/32.85 c heuristics/guideddiving/freq = -1
32.78/32.85 c
32.78/32.85 c # maximal fraction of diving LP iterations compared to node LP iterations
32.78/32.85 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.78/32.85 c heuristics/guideddiving/maxlpiterquot = 0.075
32.78/32.85 c
32.78/32.85 c # additional number of allowed LP iterations
32.78/32.85 c # [type: int, range: [0,2147483647], default: 1000]
32.78/32.85 c heuristics/guideddiving/maxlpiterofs = 1500
32.78/32.85 c
32.78/32.85 c # maximal fraction of diving LP iterations compared to node LP iterations
32.78/32.85 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.78/32.85 c heuristics/intdiving/maxlpiterquot = 0.075
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 10]
32.78/32.85 c heuristics/intshifting/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 10]
32.78/32.85 c heuristics/linesearchdiving/freq = -1
32.78/32.85 c
32.78/32.85 c # maximal fraction of diving LP iterations compared to node LP iterations
32.78/32.85 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.78/32.85 c heuristics/linesearchdiving/maxlpiterquot = 0.075
32.78/32.85 c
32.78/32.85 c # additional number of allowed LP iterations
32.78/32.85 c # [type: int, range: [0,2147483647], default: 1000]
32.78/32.85 c heuristics/linesearchdiving/maxlpiterofs = 1500
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 1]
32.78/32.85 c heuristics/nlp/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 20]
32.78/32.85 c heuristics/objpscostdiving/freq = -1
32.78/32.85 c
32.78/32.85 c # maximal fraction of diving LP iterations compared to total iteration number
32.78/32.85 c # [type: real, range: [0,1], default: 0.01]
32.78/32.85 c heuristics/objpscostdiving/maxlpiterquot = 0.015
32.78/32.85 c
32.78/32.85 c # additional number of allowed LP iterations
32.78/32.85 c # [type: int, range: [0,2147483647], default: 1000]
32.78/32.85 c heuristics/objpscostdiving/maxlpiterofs = 1500
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 1]
32.78/32.85 c heuristics/oneopt/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 10]
32.78/32.85 c heuristics/pscostdiving/freq = -1
32.78/32.85 c
32.78/32.85 c # maximal fraction of diving LP iterations compared to node LP iterations
32.78/32.85 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.78/32.85 c heuristics/pscostdiving/maxlpiterquot = 0.075
32.78/32.85 c
32.78/32.85 c # additional number of allowed LP iterations
32.78/32.85 c # [type: int, range: [0,2147483647], default: 1000]
32.78/32.85 c heuristics/pscostdiving/maxlpiterofs = 1500
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 0]
32.78/32.85 c heuristics/rens/freq = -1
32.78/32.85 c
32.78/32.85 c # minimum percentage of integer variables that have to be fixable
32.78/32.85 c # [type: real, range: [0,1], default: 0.5]
32.78/32.85 c heuristics/rens/minfixingrate = 0.3
32.78/32.85 c
32.78/32.85 c # number of nodes added to the contingent of the total nodes
32.78/32.85 c # [type: longint, range: [0,9223372036854775807], default: 500]
32.78/32.85 c heuristics/rens/nodesofs = 2000
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 20]
32.78/32.85 c heuristics/rootsoldiving/freq = -1
32.78/32.85 c
32.78/32.85 c # maximal fraction of diving LP iterations compared to node LP iterations
32.78/32.85 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
32.78/32.85 c heuristics/rootsoldiving/maxlpiterquot = 0.015
32.78/32.85 c
32.78/32.85 c # additional number of allowed LP iterations
32.78/32.85 c # [type: int, range: [0,2147483647], default: 1000]
32.78/32.85 c heuristics/rootsoldiving/maxlpiterofs = 1500
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 1]
32.78/32.85 c heuristics/rounding/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 10]
32.78/32.85 c heuristics/shifting/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 1]
32.78/32.85 c heuristics/simplerounding/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 0]
32.78/32.85 c heuristics/trivial/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 1]
32.78/32.85 c heuristics/trysol/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 10]
32.78/32.85 c heuristics/veclendiving/freq = -1
32.78/32.85 c
32.78/32.85 c # maximal fraction of diving LP iterations compared to node LP iterations
32.78/32.85 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.78/32.85 c heuristics/veclendiving/maxlpiterquot = 0.075
32.78/32.85 c
32.78/32.85 c # additional number of allowed LP iterations
32.78/32.85 c # [type: int, range: [0,2147483647], default: 1000]
32.78/32.85 c heuristics/veclendiving/maxlpiterofs = 1500
32.78/32.85 c
32.78/32.85 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 1]
32.78/32.85 c heuristics/zirounding/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 0]
32.78/32.85 c separating/cmir/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: 0]
32.78/32.85 c separating/flowcover/freq = -1
32.78/32.85 c
32.78/32.85 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
32.78/32.85 c # [type: int, range: [-1,2147483647], default: -1]
32.78/32.85 c separating/rapidlearning/freq = 0
32.78/32.85 c
32.78/32.85 c -----------------------------------------------------------------------------------------------
32.78/32.85 c start solving
32.98/33.03 c
1800.10/1800.40 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730051-1338680416/watcher-3730051-1338680416 -o /tmp/evaluation-result-3730051-1338680416/solver-3730051-1338680416 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3730051-1338680416.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 1.99 1.77 3/177 21878
/proc/meminfo: memFree=28256804/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 1608 0 0 0 0 0 0 0 20 0 1 0 334166397 10211328 1554 33554432000 4194304 8395647 140733479591744 140733317820584 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21878/statm: 2493 1565 374 1026 0 1463 0
[startup+0.050887 s]
/proc/loadavg: 2.02 1.99 1.77 3/177 21878
/proc/meminfo: memFree=28256804/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=16372 CPUtime=0.04 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 3328 0 0 0 4 0 0 0 20 0 1 0 334166397 16764928 3274 33554432000 4194304 8395647 140733479591744 140733317820584 7382041 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21878/statm: 4093 3274 390 1026 0 3063 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16372
[startup+0.10024 s]
/proc/loadavg: 2.02 1.99 1.77 3/177 21878
/proc/meminfo: memFree=28256804/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=18628 CPUtime=0.09 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 3907 0 0 0 9 0 0 0 20 0 1 0 334166397 19075072 3853 33554432000 4194304 8395647 140733479591744 140733317820584 7382066 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21878/statm: 4657 3853 390 1026 0 3627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18628
[startup+0.30021 s]
/proc/loadavg: 2.02 1.99 1.77 3/177 21878
/proc/meminfo: memFree=28256804/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=30108 CPUtime=0.29 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 6776 0 0 0 29 0 0 0 20 0 1 0 334166397 30830592 6722 33554432000 4194304 8395647 140733479591744 140733317820584 7382036 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21878/statm: 7527 6722 390 1026 0 6497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30108
[startup+0.700207 s]
/proc/loadavg: 2.02 1.99 1.77 3/177 21878
/proc/meminfo: memFree=28256804/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=51116 CPUtime=0.69 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 12030 0 0 0 68 1 0 0 20 0 1 0 334166397 52342784 11976 33554432000 4194304 8395647 140733479591744 140733479456952 4245985 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21878/statm: 12779 11976 390 1026 0 11749 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51116
[startup+1.50021 s]
/proc/loadavg: 2.02 1.99 1.77 3/178 21879
/proc/meminfo: memFree=28195284/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=93864 CPUtime=1.49 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 22469 0 0 0 146 3 0 0 20 0 1 0 334166397 96116736 22416 33554432000 4194304 8395647 140733479591744 140733479456952 6347101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21878/statm: 23466 22446 390 1026 0 22436 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93864
[startup+3.10021 s]
/proc/loadavg: 2.02 1.99 1.77 3/178 21879
/proc/meminfo: memFree=28136012/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=177496 CPUtime=3.09 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 43599 0 0 0 302 7 0 0 20 0 1 0 334166397 181755904 43545 33554432000 4194304 8395647 140733479591744 140733479456952 7382041 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21878/statm: 44374 43545 390 1026 0 43344 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 177496
[startup+6.30021 s]
/proc/loadavg: 2.02 1.99 1.77 3/178 21879
/proc/meminfo: memFree=27953268/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=347288 CPUtime=6.29 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 85947 0 0 0 616 13 0 0 20 0 1 0 334166397 355622912 85893 33554432000 4194304 8395647 140733479591744 140733479456952 7382016 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21878/statm: 86822 85893 390 1026 0 85792 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 347288
[startup+12.7002 s]
/proc/loadavg: 2.02 1.99 1.77 3/177 21879
/proc/meminfo: memFree=27606116/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=683212 CPUtime=12.69 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 169682 0 0 0 1242 27 0 0 20 0 1 0 334166397 699609088 169628 33554432000 4194304 8395647 140733479591744 140733479456952 7382061 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21878/statm: 170803 169628 390 1026 0 169773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 683212
[startup+25.5066 s]
/proc/loadavg: 2.01 1.99 1.77 3/178 21880
/proc/meminfo: memFree=25545740/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=2762668 CPUtime=25.49 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 677734 0 0 0 2444 105 0 0 20 0 1 0 334166397 2828972032 682786 33554432000 4194304 8395647 140733479591744 140733479587736 4720720 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21878/statm: 690667 682786 470 1026 0 689637 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2762668
[startup+51.1003 s]
/proc/loadavg: 2.01 1.99 1.78 3/177 21880
/proc/meminfo: memFree=23256260/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5379996 CPUtime=51.07 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 917132 0 0 0 4933 174 0 0 20 0 1 0 334166397 5509115904 1257174 33554432000 4194304 8395647 140733479591744 140733479586152 7382162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1344999 1257174 565 1026 0 1343969 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 5379996
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 21880
/proc/meminfo: memFree=23071540/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5509320 CPUtime=102.27 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 921928 0 0 0 10044 183 0 0 20 0 1 0 334166397 5641543680 1294806 33554432000 4194304 8395647 140733479591744 140733479586872 6390530 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1377330 1294806 569 1026 0 1376300 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 5509320
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 21880
/proc/meminfo: memFree=23026580/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5556756 CPUtime=162.26 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 924644 0 0 0 16032 194 0 0 20 0 1 0 334166397 5690118144 1305695 33554432000 4194304 8395647 140733479591744 140733479586872 6752542 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1389189 1305695 569 1026 0 1388159 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5556756
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/177 21880
/proc/meminfo: memFree=23026236/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5561744 CPUtime=222.26 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 925494 0 0 0 22022 204 0 0 20 0 1 0 334166397 5695225856 1305775 33554432000 4194304 8395647 140733479591744 140733479586872 6697938 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1390436 1305775 569 1026 0 1389406 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 5561744
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/177 21880
/proc/meminfo: memFree=22978856/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5647460 CPUtime=282.24 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 928319 0 0 0 28009 215 0 0 20 0 1 0 334166397 5782999040 1317613 33554432000 4194304 8395647 140733479591744 140733479586872 6698409 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1411865 1317613 569 1026 0 1410835 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 5647460
[startup+342.307 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 21881
/proc/meminfo: memFree=22971408/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5663412 CPUtime=342.24 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 929567 0 0 0 34003 221 0 0 20 0 1 0 334166397 5799333888 1319400 33554432000 4194304 8395647 140733479591744 140733479586872 6697351 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1415853 1319400 569 1026 0 1414823 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 5663412
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 1.84 3/177 21881
/proc/meminfo: memFree=22956544/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5696860 CPUtime=402.23 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 931615 0 0 0 39990 233 0 0 20 0 1 0 334166397 5833584640 1322899 33554432000 4194304 8395647 140733479591744 140733479586872 6390474 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1424215 1322899 569 1026 0 1423185 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 5696860
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.84 3/177 21881
/proc/meminfo: memFree=22953532/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5705412 CPUtime=462.22 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 932536 0 0 0 45980 242 0 0 20 0 1 0 334166397 5842341888 1323455 33554432000 4194304 8395647 140733479591744 140733479586872 6697955 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1426353 1323455 569 1026 0 1425323 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 5705412
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 21881
/proc/meminfo: memFree=22954740/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5708892 CPUtime=522.2 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 933556 0 0 0 51972 248 0 0 20 0 1 0 334166397 5845905408 1323230 33554432000 4194304 8395647 140733479591744 140733479586872 6697104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1427223 1323230 569 1026 0 1426193 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 5708892
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 21881
/proc/meminfo: memFree=22949000/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5712260 CPUtime=582.19 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 934836 0 0 0 57962 257 0 0 20 0 1 0 334166397 5849354240 1323707 33554432000 4194304 8395647 140733479591744 140733479586872 6697955 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1428065 1323707 569 1026 0 1427035 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 5712260
[startup+642.3 s]
################
# More data... #
################
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 946343 0 0 0 105873 338 0 0 20 0 1 0 334166397 5935079424 1336140 33554432000 4194304 8395647 140733479591744 140733479586872 6698068 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1448994 1336140 569 1026 0 1447964 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 5795976
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 21887
/proc/meminfo: memFree=22893488/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5805116 CPUtime=1122.1 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 948208 0 0 0 111860 350 0 0 20 0 1 0 334166397 5944438784 1336593 33554432000 4194304 8395647 140733479591744 140733479586872 6697359 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1451279 1336593 569 1026 0 1450249 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 5805116
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21887
/proc/meminfo: memFree=22892896/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5809676 CPUtime=1182.09 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 949528 0 0 0 117850 359 0 0 20 0 1 0 334166397 5949108224 1336582 33554432000 4194304 8395647 140733479591744 140733479586872 6698051 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1452419 1336582 569 1026 0 1451389 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 5809676
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21891
/proc/meminfo: memFree=22889392/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5815364 CPUtime=1242.08 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 950835 0 0 0 123840 368 0 0 20 0 1 0 334166397 5954932736 1337338 33554432000 4194304 8395647 140733479591744 140733479586872 6697376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1453841 1337338 569 1026 0 1452811 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 5815364
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21914
/proc/meminfo: memFree=22888528/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5818464 CPUtime=1302.07 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 952330 0 0 0 129827 380 0 0 20 0 1 0 334166397 5958107136 1337243 33554432000 4194304 8395647 140733479591744 140733479586872 6697376 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1454616 1337243 569 1026 0 1453586 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 5818464
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21914
/proc/meminfo: memFree=22888724/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5822484 CPUtime=1362.06 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 953759 0 0 0 135816 390 0 0 20 0 1 0 334166397 5962223616 1337094 33554432000 4194304 8395647 140733479591744 140733479586872 6698349 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1455621 1337094 569 1026 0 1454591 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 5822484
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21952
/proc/meminfo: memFree=18026148/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5827656 CPUtime=1422.05 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 955492 0 0 0 141805 400 0 0 20 0 1 0 334166397 5967519744 1339003 33554432000 4194304 8395647 140733479591744 140733479586872 6752542 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1456914 1339003 569 1026 0 1455884 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 5827656
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21952
/proc/meminfo: memFree=17765860/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5832816 CPUtime=1482.04 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 956757 0 0 0 147794 410 0 0 20 0 1 0 334166397 5972803584 1339076 33554432000 4194304 8395647 140733479591744 140733479586872 6697980 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1458204 1339076 569 1026 0 1457174 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 5832816
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21953
/proc/meminfo: memFree=17744788/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5839596 CPUtime=1542.04 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 957574 0 0 0 153788 416 0 0 20 0 1 0 334166397 5979746304 1339625 33554432000 4194304 8395647 140733479591744 140733479586872 6698051 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1459899 1339625 569 1026 0 1458869 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 5839596
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21953
/proc/meminfo: memFree=17695920/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5845816 CPUtime=1602.02 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 959989 0 0 0 159774 428 0 0 20 0 1 0 334166397 5986115584 1340123 33554432000 4194304 8395647 140733479591744 140733479586872 6697266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1461454 1340123 569 1026 0 1460424 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 5845816
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21953
/proc/meminfo: memFree=17688156/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5850156 CPUtime=1662.02 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 962045 0 0 0 165761 441 0 0 20 0 1 0 334166397 5990559744 1340360 33554432000 4194304 8395647 140733479591744 140733479586872 6697959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1462539 1340360 569 1026 0 1461509 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 5850156
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21953
/proc/meminfo: memFree=17682816/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5856544 CPUtime=1722 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 962843 0 0 0 171753 447 0 0 20 0 1 0 334166397 5997101056 1340902 33554432000 4194304 8395647 140733479591744 140733479586872 6697359 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1464136 1340902 569 1026 0 1463106 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 5856544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21953
/proc/meminfo: memFree=17678900/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5863764 CPUtime=1782 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 964343 0 0 0 177742 458 0 0 20 0 1 0 334166397 6004494336 1342076 33554432000 4194304 8395647 140733479591744 140733479586872 6390518 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1465941 1342076 569 1026 0 1464911 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 5863764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21956
/proc/meminfo: memFree=17673680/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5863764 CPUtime=1800.1 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 964343 0 0 0 179552 458 0 0 20 0 1 0 334166397 6004494336 1342526 33554432000 4194304 8395647 140733479591744 140733479586872 6390506 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1465941 1342526 569 1026 0 1464911 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 5863764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21878
Solver just ended. Dumping a history of the last processes samples
[startup+1801.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21957
/proc/meminfo: memFree=17673424/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5863764 CPUtime=1801.29 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 964343 0 0 0 179671 458 0 0 20 0 1 0 334166397 6004494336 1342526 33554432000 4194304 8395647 140733479591744 140733479587208 6670348 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1465941 1342526 569 1026 0 1464911 0
Current children cumulated CPU time (s) 1801.29
Current children cumulated vsize (KiB) 5863764
[startup+1802.01 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21957
/proc/meminfo: memFree=17673300/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5863764 CPUtime=1801.7 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 964343 0 0 0 179712 458 0 0 20 0 1 0 334166397 6004494336 1342526 33554432000 4194304 8395647 140733479591744 140733479587208 6752385 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1465941 1342526 569 1026 0 1464911 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 5863764
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21957
/proc/meminfo: memFree=17673300/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=5863764 CPUtime=1802.09 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4202496 964343 0 0 0 179751 458 0 0 20 0 1 0 334166397 6004494336 1342526 33554432000 4194304 8395647 140733479591744 140733479586872 6698051 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 1465941 1342526 569 1026 0 1464911 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 5863764
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21957
/proc/meminfo: memFree=17673300/32873648 swapFree=7388/7388
[pid=21878] ppid=21876 vsize=0 CPUtime=1802.19 cores=0,2,4,6
/proc/21878/stat : 21878 (pbscip.linux.x8) R 21876 21878 21664 0 -1 4203524 964343 0 0 0 179752 467 0 0 20 0 1 0 334166397 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21878/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.51
CPU time (s): 1802.21
CPU user time (s): 1797.52
CPU system time (s): 4.68429
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 6180816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.52
system time used= 4.68429
maximum resident set size= 5524064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 964343
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= 21
involuntary context switches= 2544
runsolver used 2.95455 second user time and 7.37988 second system time
The end