39.38/39.42 c SCIP version 1.1.0.7
39.38/39.42 c LP-Solver SoPlex 1.4.1
39.38/39.42 c user parameter file <scip.set> not found - using default parameters
39.38/39.42 c read problem <HOME/instance-3740806-1338765494.opb>
39.38/39.42 c original problem has 248659 variables (248659 bin, 0 int, 0 impl, 0 cont) and 5546518 constraints
46.57/46.62 c No objective function, only one solution is needed.
46.57/46.62 c start presolving problem
46.57/46.62 c presolving:
76.15/76.20 c (round 1) 1 del vars, 8 del conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 5546509 upgd conss, 2248928 impls, 9881 clqs
905.73/905.96 c presolving (2 rounds):
905.73/905.96 c 1 deleted vars, 34 deleted constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
905.73/905.96 c 2248928 implications, 9881 cliques
905.73/905.96 c presolved problem has 248658 variables (248658 bin, 0 int, 0 impl, 0 cont) and 5546484 constraints
905.73/905.96 c 570855 constraints of type <knapsack>
905.73/905.96 c 9881 constraints of type <setppc>
905.73/905.96 c 1 constraints of type <linear>
905.73/905.96 c 4965747 constraints of type <logicor>
905.73/905.96 c transformed objective value is always integral (scale: 1)
905.73/905.96 c Presolving Time: 853.58
905.73/905.96 c SATUNSAT-LIN
905.73/905.96 c -----------------------------------------------------------------------------------------------
905.73/905.96 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 0]
905.73/905.96 c separating/flowcover/freq = c -1
905.73/905.96 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 0]
905.73/905.96 c separating/cmir/freq = c -1
905.73/905.96 c # additional number of allowed LP iterations
905.73/905.96 c # [type: int, range: [0,2147483647], default: 1000]
905.73/905.96 c heuristics/veclendiving/maxlpiterofs = c 1500
905.73/905.96 c # maximal fraction of diving LP iterations compared to node LP iterations
905.73/905.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
905.73/905.96 c heuristics/veclendiving/maxlpiterquot = c 0.075
905.73/905.96 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 10]
905.73/905.96 c heuristics/veclendiving/freq = c -1
905.73/905.96 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 1]
905.73/905.96 c heuristics/simplerounding/freq = c -1
905.73/905.96 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 10]
905.73/905.96 c heuristics/shifting/freq = c -1
905.73/905.96 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 1]
905.73/905.96 c heuristics/rounding/freq = c -1
905.73/905.96 c # additional number of allowed LP iterations
905.73/905.96 c # [type: int, range: [0,2147483647], default: 1000]
905.73/905.96 c heuristics/rootsoldiving/maxlpiterofs = c 1500
905.73/905.96 c # maximal fraction of diving LP iterations compared to node LP iterations
905.73/905.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
905.73/905.96 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
905.73/905.96 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 20]
905.73/905.96 c heuristics/rootsoldiving/freq = c -1
905.73/905.96 c # number of nodes added to the contingent of the total nodes
905.73/905.96 c # [type: longint, range: [0,9223372036854775807], default: 500]
905.73/905.96 c heuristics/rens/nodesofs = c 2000
905.73/905.96 c # minimum percentage of integer variables that have to be fixable
905.73/905.96 c # [type: real, range: [0,1], default: 0.5]
905.73/905.96 c heuristics/rens/minfixingrate = c 0.3
905.73/905.96 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 0]
905.73/905.96 c heuristics/rens/freq = c -1
905.73/905.96 c # additional number of allowed LP iterations
905.73/905.96 c # [type: int, range: [0,2147483647], default: 1000]
905.73/905.96 c heuristics/pscostdiving/maxlpiterofs = c 1500
905.73/905.96 c # maximal fraction of diving LP iterations compared to node LP iterations
905.73/905.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
905.73/905.96 c heuristics/pscostdiving/maxlpiterquot = c 0.075
905.73/905.96 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 10]
905.73/905.96 c heuristics/pscostdiving/freq = c -1
905.73/905.96 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 1]
905.73/905.96 c heuristics/oneopt/freq = c -1
905.73/905.96 c # additional number of allowed LP iterations
905.73/905.96 c # [type: int, range: [0,2147483647], default: 1000]
905.73/905.96 c heuristics/objpscostdiving/maxlpiterofs = c 1500
905.73/905.96 c # maximal fraction of diving LP iterations compared to total iteration number
905.73/905.96 c # [type: real, range: [0,1], default: 0.01]
905.73/905.96 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
905.73/905.96 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 20]
905.73/905.96 c heuristics/objpscostdiving/freq = c -1
905.73/905.96 c # additional number of allowed LP iterations
905.73/905.96 c # [type: int, range: [0,2147483647], default: 1000]
905.73/905.96 c heuristics/linesearchdiving/maxlpiterofs = c 1500
905.73/905.96 c # maximal fraction of diving LP iterations compared to node LP iterations
905.73/905.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
905.73/905.96 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
905.73/905.96 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 10]
905.73/905.96 c heuristics/linesearchdiving/freq = c -1
905.73/905.96 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 10]
905.73/905.96 c heuristics/intshifting/freq = c -1
905.73/905.96 c # maximal fraction of diving LP iterations compared to node LP iterations
905.73/905.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
905.73/905.96 c heuristics/intdiving/maxlpiterquot = c 0.075
905.73/905.96 c # additional number of allowed LP iterations
905.73/905.96 c # [type: int, range: [0,2147483647], default: 1000]
905.73/905.96 c heuristics/guideddiving/maxlpiterofs = c 1500
905.73/905.96 c # maximal fraction of diving LP iterations compared to node LP iterations
905.73/905.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
905.73/905.96 c heuristics/guideddiving/maxlpiterquot = c 0.075
905.73/905.96 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 10]
905.73/905.96 c heuristics/guideddiving/freq = c -1
905.73/905.96 c # additional number of allowed LP iterations
905.73/905.96 c # [type: int, range: [0,2147483647], default: 1000]
905.73/905.96 c heuristics/fracdiving/maxlpiterofs = c 1500
905.73/905.96 c # maximal fraction of diving LP iterations compared to node LP iterations
905.73/905.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
905.73/905.96 c heuristics/fracdiving/maxlpiterquot = c 0.075
905.73/905.96 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 10]
905.73/905.96 c heuristics/fracdiving/freq = c -1
905.73/905.96 c # additional number of allowed LP iterations
905.73/905.96 c # [type: int, range: [0,2147483647], default: 1000]
905.73/905.96 c heuristics/feaspump/maxlpiterofs = c 2000
905.73/905.96 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 20]
905.73/905.96 c heuristics/feaspump/freq = c -1
905.73/905.96 c # minimum percentage of integer variables that have to be fixed
905.73/905.96 c # [type: real, range: [0,1], default: 0.666]
905.73/905.96 c heuristics/crossover/minfixingrate = c 0.5
905.73/905.96 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
905.73/905.96 c # [type: real, range: [0,1], default: 0.1]
905.73/905.96 c heuristics/crossover/nodesquot = c 0.15
905.73/905.96 c # number of nodes without incumbent change that heuristic should wait
905.73/905.96 c # [type: longint, range: [0,9223372036854775807], default: 200]
905.73/905.96 c heuristics/crossover/nwaitingnodes = c 100
905.73/905.96 c # number of nodes added to the contingent of the total nodes
905.73/905.96 c # [type: longint, range: [0,9223372036854775807], default: 500]
905.73/905.96 c heuristics/crossover/nodesofs = c 750
905.73/905.96 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 30]
905.73/905.96 c heuristics/crossover/freq = c -1
905.73/905.96 c # additional number of allowed LP iterations
905.73/905.96 c # [type: int, range: [0,2147483647], default: 1000]
905.73/905.96 c heuristics/coefdiving/maxlpiterofs = c 1500
905.73/905.96 c # maximal fraction of diving LP iterations compared to node LP iterations
905.73/905.96 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
905.73/905.96 c heuristics/coefdiving/maxlpiterquot = c 0.075
905.73/905.96 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: 10]
905.73/905.96 c heuristics/coefdiving/freq = c -1
905.73/905.96 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: -1]
905.73/905.96 c presolving/probing/maxrounds = c 0
905.73/905.96 c # should presolving try to simplify knapsacks
905.73/905.96 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
905.73/905.96 c constraints/knapsack/simplifyinequalities = c TRUE
905.73/905.96 c # should disaggregation of knapsack constraints be allowed in preprocessing?
905.73/905.96 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
905.73/905.96 c constraints/knapsack/disaggregation = c FALSE
905.73/905.96 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
905.73/905.96 c # [type: int, range: [-1,2147483647], default: -1]
905.73/905.96 c constraints/knapsack/maxnumcardlift = c 0
905.73/905.96 c # should presolving try to simplify inequalities
906.42/906.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
906.42/906.64 c constraints/linear/simplifyinequalities = c TRUE
906.42/906.64 c # maximal number of separation rounds in the root node (-1: unlimited)
906.42/906.64 c # [type: int, range: [-1,2147483647], default: -1]
906.42/906.64 c separating/maxroundsroot = c 5
906.42/906.64 c # maximal number of separation rounds per node (-1: unlimited)
906.42/906.64 c # [type: int, range: [-1,2147483647], default: 5]
906.42/906.64 c separating/maxrounds = c 1
906.42/906.64 c # solving stops, if the given number of solutions were found (-1: no limit)
906.42/906.64 c # [type: int, range: [-1,2147483647], default: -1]
906.42/906.64 c limits/solutions = c 1
906.42/906.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
906.42/906.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
906.42/906.64 c limits/memory = c 13950
906.42/906.64 c # maximal time in seconds to run
906.42/906.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
906.42/906.64 c limits/time = c 1791
906.42/906.64 c # frequency for displaying node information lines
906.42/906.64 c # [type: int, range: [-1,2147483647], default: 100]
906.42/906.64 c display/freq = c 10000
906.42/906.64 c -----------------------------------------------------------------------------------------------
906.42/906.64 c start solving problem
906.42/906.64 c
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-3740806-1338765494/watcher-3740806-1338765494 -o /tmp/evaluation-result-3740806-1338765494/solver-3740806-1338765494 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740806-1338765494.opb
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.00 2.00 3/176 29242
/proc/meminfo: memFree=26714548/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=8696 CPUtime=0 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1512 0 0 0 0 0 0 0 20 0 1 0 342674596 8904704 1464 33554432000 4194304 7823515 140736486136208 140736171022920 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 2174 1464 351 887 0 1284 0
[startup+0.046352 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29242
/proc/meminfo: memFree=26714548/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=12632 CPUtime=0.04 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2506 0 0 0 4 0 0 0 20 0 1 0 342674596 12935168 2458 33554432000 4194304 7823515 140736486136208 140736171022920 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3158 2458 351 887 0 2268 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12632
[startup+0.100285 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29242
/proc/meminfo: memFree=26714548/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=15540 CPUtime=0.09 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 3248 0 0 0 9 0 0 0 20 0 1 0 342674596 15912960 3200 33554432000 4194304 7823515 140736486136208 140736171022920 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3885 3200 351 887 0 2995 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15540
[startup+0.300283 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29242
/proc/meminfo: memFree=26714548/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=29416 CPUtime=0.29 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 6700 0 0 0 29 0 0 0 20 0 1 0 342674596 30121984 6652 33554432000 4194304 7823515 140736486136208 140736171022920 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 7354 6652 351 887 0 6464 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29416
[startup+0.70028 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29242
/proc/meminfo: memFree=26714548/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=52952 CPUtime=0.69 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 12586 0 0 0 68 1 0 0 20 0 1 0 342674596 54222848 12538 33554432000 4194304 7823515 140736486136208 140736171022920 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 13238 12538 351 887 0 12348 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52952
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29243
/proc/meminfo: memFree=26641304/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=98632 CPUtime=1.49 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 24001 0 0 0 146 3 0 0 20 0 1 0 342674596 100999168 23953 33554432000 4194304 7823515 140736486136208 140736486002312 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 24658 23953 351 887 0 23768 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98632
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29243
/proc/meminfo: memFree=26572104/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=190284 CPUtime=3.09 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 46840 0 0 0 302 7 0 0 20 0 1 0 342674596 194850816 46792 33554432000 4194304 7823515 140736486136208 140736486002312 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 47571 46792 351 887 0 46681 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 190284
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29243
/proc/meminfo: memFree=26343324/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=375168 CPUtime=6.29 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 92972 0 0 0 615 14 0 0 20 0 1 0 342674596 384172032 92924 33554432000 4194304 7823515 140736486136208 140736486002312 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 93792 92924 351 887 0 92902 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 375168
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29243
/proc/meminfo: memFree=25926960/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=740032 CPUtime=12.7 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 183677 0 0 0 1240 30 0 0 20 0 1 0 342674596 757792768 184140 33554432000 4194304 7823515 140736486136208 140736486002312 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 185008 184140 351 887 0 184118 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 740032
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29281
/proc/meminfo: memFree=26355516/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=1454972 CPUtime=25.48 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 359703 0 0 0 2490 58 0 0 20 0 1 0 342674596 1489891328 361699 33554432000 4194304 7823515 140736486136208 140736486001912 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 363743 361699 351 887 0 362853 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1454972
[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 29282
/proc/meminfo: memFree=21250668/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=5963328 CPUtime=51.07 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1441276 0 0 0 4783 324 0 0 20 0 1 0 342674596 6106447872 1476751 33554432000 4194304 7823515 140736486136208 140736486133144 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 1490832 1476751 427 887 0 1489942 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 5963328
[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 29285
/proc/meminfo: memFree=19273184/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=7942052 CPUtime=102.24 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1895899 0 0 0 9496 728 0 0 20 0 1 0 342674596 8132661248 1968054 33554432000 4194304 7823515 140736486136208 140736486133496 6908082 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 1985513 1968054 439 887 0 1984623 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 7942052
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29285
/proc/meminfo: memFree=19272732/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=7942052 CPUtime=162.24 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1895899 0 0 0 15494 730 0 0 20 0 1 0 342674596 8132661248 1968054 33554432000 4194304 7823515 140736486136208 140736486133496 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 1985513 1968054 439 887 0 1984623 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 7942052
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29285
/proc/meminfo: memFree=19272512/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=7942052 CPUtime=222.22 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1895905 0 0 0 21490 732 0 0 20 0 1 0 342674596 8132661248 1968054 33554432000 4194304 7823515 140736486136208 140736486133496 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 1985513 1968054 439 887 0 1984623 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 7942052
[startup+282.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29285
/proc/meminfo: memFree=19272416/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=7942052 CPUtime=282.22 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1895906 0 0 0 27488 734 0 0 20 0 1 0 342674596 8132661248 1968054 33554432000 4194304 7823515 140736486136208 140736486133496 6908132 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 1985513 1968054 439 887 0 1984623 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 7942052
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29285
/proc/meminfo: memFree=19272328/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=7942052 CPUtime=342.21 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1895906 0 0 0 33485 736 0 0 20 0 1 0 342674596 8132661248 1968054 33554432000 4194304 7823515 140736486136208 140736486133496 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 1985513 1968054 439 887 0 1984623 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 7942052
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29286
/proc/meminfo: memFree=19272472/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=7942052 CPUtime=402.19 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1895906 0 0 0 39482 737 0 0 20 0 1 0 342674596 8132661248 1968054 33554432000 4194304 7823515 140736486136208 140736486133496 6908132 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 1985513 1968054 439 887 0 1984623 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 7942052
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29286
/proc/meminfo: memFree=19266232/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=7942052 CPUtime=462.18 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1895906 0 0 0 45479 739 0 0 20 0 1 0 342674596 8132661248 1968054 33554432000 4194304 7823515 140736486136208 140736486133496 6908132 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 1985513 1968054 439 887 0 1984623 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 7942052
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29286
/proc/meminfo: memFree=19259560/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=7942052 CPUtime=522.18 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1895906 0 0 0 51475 743 0 0 20 0 1 0 342674596 8132661248 1968054 33554432000 4194304 7823515 140736486136208 140736486133496 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 1985513 1968054 439 887 0 1984623 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 7942052
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29286
/proc/meminfo: memFree=19257540/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=7942052 CPUtime=582.16 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 1895906 0 0 0 57471 745 0 0 20 0 1 0 342674596 8132661248 1968054 33554432000 4194304 7823515 140736486136208 140736486133496 6908148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 1985513 1968054 439 887 0 1984623 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 7942052
[startup+642.3 s]
################
# More data... #
################
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2091003 0 0 0 105268 942 0 0 20 0 1 0 342674596 12961202176 2953652 33554432000 4194304 7823515 140736486136208 140736486132008 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3164356 2953652 522 887 0 3163466 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 12657424
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29292
/proc/meminfo: memFree=15287320/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=12673780 CPUtime=1122.09 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2091368 0 0 0 111266 943 0 0 20 0 1 0 342674596 12977950720 2957053 33554432000 4194304 7823515 140736486136208 140736486131896 6110625 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3168445 2957053 522 887 0 3167555 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 12673780
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29292
/proc/meminfo: memFree=15262712/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=12696980 CPUtime=1182.07 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2092588 0 0 0 117263 944 0 0 20 0 1 0 342674596 13001707520 2962580 33554432000 4194304 7823515 140736486136208 140736486131896 6908173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3174245 2962580 522 887 0 3173355 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 12696980
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 29292
/proc/meminfo: memFree=15259452/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=12725040 CPUtime=1242.07 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2092848 0 0 0 123262 945 0 0 20 0 1 0 342674596 13030440960 2963321 33554432000 4194304 7823515 140736486136208 140736486131896 6110797 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3181260 2963321 522 887 0 3180370 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 12725040
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 29296
/proc/meminfo: memFree=15258952/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=12725040 CPUtime=1302.06 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2092880 0 0 0 129260 946 0 0 20 0 1 0 342674596 13030440960 2963323 33554432000 4194304 7823515 140736486136208 140736486132008 6908173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3181260 2963323 522 887 0 3180370 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 12725040
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29296
/proc/meminfo: memFree=15242684/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=12727820 CPUtime=1362.05 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2093422 0 0 0 135258 947 0 0 20 0 1 0 342674596 13033287680 2967418 33554432000 4194304 7823515 140736486136208 140736486131544 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3181955 2967418 522 887 0 3181065 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 12727820
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29296
/proc/meminfo: memFree=15229196/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=12727820 CPUtime=1422.04 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2093446 0 0 0 141257 947 0 0 20 0 1 0 342674596 13033287680 2967418 33554432000 4194304 7823515 140736486136208 140736486131896 6263358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3181955 2967418 522 887 0 3181065 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 12727820
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29296
/proc/meminfo: memFree=15179392/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=12773708 CPUtime=1482.04 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2095705 0 0 0 147254 950 0 0 20 0 1 0 342674596 13080276992 2979918 33554432000 4194304 7823515 140736486136208 140736486131896 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3193427 2979918 522 887 0 3192537 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 12773708
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29296
/proc/meminfo: memFree=15162788/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=12773708 CPUtime=1542.02 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2095757 0 0 0 153251 951 0 0 20 0 1 0 342674596 13080276992 2984035 33554432000 4194304 7823515 140736486136208 140736486131544 6110592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3193427 2984035 522 887 0 3192537 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 12773708
[startup+1602.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29297
/proc/meminfo: memFree=15038148/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=13020800 CPUtime=1602.01 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2099506 0 0 0 159236 965 0 0 20 0 1 0 342674596 13333299200 3015208 33554432000 4194304 7823515 140736486136208 140736486130440 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3255200 3015208 522 887 0 3254310 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 13020800
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29297
/proc/meminfo: memFree=15070380/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=13124088 CPUtime=1662 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2100335 0 0 0 165229 971 0 0 20 0 1 0 342674596 13439066112 3007277 33554432000 4194304 7823515 140736486136208 140736486130648 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3281022 3007277 522 887 0 3280132 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 13124088
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29297
/proc/meminfo: memFree=15066376/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=13144588 CPUtime=1721.99 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2101793 0 0 0 171220 979 0 0 20 0 1 0 342674596 13460058112 3008277 33554432000 4194304 7823515 140736486136208 140736486131544 6212749 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3286147 3008277 522 887 0 3285257 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 13144588
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29297
/proc/meminfo: memFree=15058896/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=13168004 CPUtime=1781.99 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2102919 0 0 0 177215 984 0 0 20 0 1 0 342674596 13484036096 3010087 33554432000 4194304 7823515 140736486136208 140736486131896 6212302 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3292001 3010087 522 887 0 3291111 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 13168004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29297
/proc/meminfo: memFree=15058136/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=13178084 CPUtime=1800.09 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2103073 0 0 0 179025 984 0 0 20 0 1 0 342674596 13494358016 3010241 33554432000 4194304 7823515 140736486136208 140736486130648 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3294521 3010241 522 887 0 3293631 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13178084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29242
Solver just ended. Dumping a history of the last processes samples
[startup+1800.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29297
/proc/meminfo: memFree=15058136/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=13178084 CPUtime=1800.19 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2103073 0 0 0 179035 984 0 0 20 0 1 0 342674596 13494358016 3010241 33554432000 4194304 7823515 140736486136208 140736486130648 6234827 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3294521 3010241 522 887 0 3293631 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 13178084
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29298
/proc/meminfo: memFree=15017028/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=13183124 CPUtime=1801.78 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4202496 2103266 0 0 0 179192 986 0 0 20 0 1 0 342674596 13499518976 3010483 33554432000 4194304 7823515 140736486136208 140736486131544 6212325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 3295781 3010483 522 887 0 3294891 0
Current children cumulated CPU time (s) 1801.78
Current children cumulated vsize (KiB) 13183124
[startup+1802.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29298
/proc/meminfo: memFree=15056932/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=0 CPUtime=1802.19 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4203524 2103266 0 0 0 179222 997 0 0 20 0 1 0 342674596 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.19
Current children cumulated vsize (KiB) 0
[startup+1802.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29298
/proc/meminfo: memFree=15056932/32873844 swapFree=7108/7108
[pid=29242] ppid=29240 vsize=0 CPUtime=1802.38 cores=1,3,5,7
/proc/29242/stat : 29242 (pbscip.linux.x8) R 29240 29242 26990 0 -1 4203524 2103266 0 0 0 179222 1016 0 0 20 0 1 0 342674596 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29242/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.38
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.8
CPU time (s): 1802.49
CPU user time (s): 1792.23
CPU system time (s): 10.2584
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 13871396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.23
system time used= 10.2584
maximum resident set size= 12203972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2103266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 1880
runsolver used 2.94955 second user time and 8.50471 second system time
The end