15.58/15.66 c SCIP version 1.1.0.7
15.58/15.66 c LP-Solver SoPlex 1.4.1
15.58/15.66 c user parameter file <scip.set> not found - using default parameters
15.58/15.66 c read problem <HOME/instance-3730059-1338682254.opb>
15.58/15.66 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
18.69/18.77 c No objective function, only one solution is needed.
18.69/18.77 c start presolving problem
18.69/18.77 c presolving:
30.88/30.94 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
33.48/33.58 c presolving (2 rounds):
33.48/33.58 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5044 changed coefficients
33.48/33.58 c 4000 implications, 100 cliques
33.48/33.58 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
33.48/33.58 c 4950 constraints of type <knapsack>
33.48/33.58 c 100 constraints of type <setppc>
33.48/33.58 c 1 constraints of type <linear>
33.48/33.58 c 2554450 constraints of type <logicor>
33.48/33.58 c transformed objective value is always integral (scale: 1)
33.48/33.58 c Presolving Time: 12.52
33.48/33.58 c SATUNSAT-LIN
33.48/33.58 c -----------------------------------------------------------------------------------------------
33.48/33.58 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 0]
33.48/33.58 c separating/flowcover/freq = c -1
33.48/33.58 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 0]
33.48/33.58 c separating/cmir/freq = c -1
33.48/33.58 c # additional number of allowed LP iterations
33.48/33.58 c # [type: int, range: [0,2147483647], default: 1000]
33.48/33.58 c heuristics/veclendiving/maxlpiterofs = c 1500
33.48/33.58 c # maximal fraction of diving LP iterations compared to node LP iterations
33.48/33.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.48/33.58 c heuristics/veclendiving/maxlpiterquot = c 0.075
33.48/33.58 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 10]
33.48/33.58 c heuristics/veclendiving/freq = c -1
33.48/33.58 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 1]
33.48/33.58 c heuristics/simplerounding/freq = c -1
33.48/33.58 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 10]
33.48/33.58 c heuristics/shifting/freq = c -1
33.48/33.58 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 1]
33.48/33.58 c heuristics/rounding/freq = c -1
33.48/33.58 c # additional number of allowed LP iterations
33.48/33.58 c # [type: int, range: [0,2147483647], default: 1000]
33.48/33.58 c heuristics/rootsoldiving/maxlpiterofs = c 1500
33.48/33.58 c # maximal fraction of diving LP iterations compared to node LP iterations
33.48/33.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
33.48/33.58 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
33.48/33.58 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 20]
33.48/33.58 c heuristics/rootsoldiving/freq = c -1
33.48/33.58 c # number of nodes added to the contingent of the total nodes
33.48/33.58 c # [type: longint, range: [0,9223372036854775807], default: 500]
33.48/33.58 c heuristics/rens/nodesofs = c 2000
33.48/33.58 c # minimum percentage of integer variables that have to be fixable
33.48/33.58 c # [type: real, range: [0,1], default: 0.5]
33.48/33.58 c heuristics/rens/minfixingrate = c 0.3
33.48/33.58 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 0]
33.48/33.58 c heuristics/rens/freq = c -1
33.48/33.58 c # additional number of allowed LP iterations
33.48/33.58 c # [type: int, range: [0,2147483647], default: 1000]
33.48/33.58 c heuristics/pscostdiving/maxlpiterofs = c 1500
33.48/33.58 c # maximal fraction of diving LP iterations compared to node LP iterations
33.48/33.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.48/33.58 c heuristics/pscostdiving/maxlpiterquot = c 0.075
33.48/33.58 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 10]
33.48/33.58 c heuristics/pscostdiving/freq = c -1
33.48/33.58 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 1]
33.48/33.58 c heuristics/oneopt/freq = c -1
33.48/33.58 c # additional number of allowed LP iterations
33.48/33.58 c # [type: int, range: [0,2147483647], default: 1000]
33.48/33.58 c heuristics/objpscostdiving/maxlpiterofs = c 1500
33.48/33.58 c # maximal fraction of diving LP iterations compared to total iteration number
33.48/33.58 c # [type: real, range: [0,1], default: 0.01]
33.48/33.58 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
33.48/33.58 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 20]
33.48/33.58 c heuristics/objpscostdiving/freq = c -1
33.48/33.58 c # additional number of allowed LP iterations
33.48/33.58 c # [type: int, range: [0,2147483647], default: 1000]
33.48/33.58 c heuristics/linesearchdiving/maxlpiterofs = c 1500
33.48/33.58 c # maximal fraction of diving LP iterations compared to node LP iterations
33.48/33.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.48/33.58 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
33.48/33.58 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 10]
33.48/33.58 c heuristics/linesearchdiving/freq = c -1
33.48/33.58 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 10]
33.48/33.58 c heuristics/intshifting/freq = c -1
33.48/33.58 c # maximal fraction of diving LP iterations compared to node LP iterations
33.48/33.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.48/33.58 c heuristics/intdiving/maxlpiterquot = c 0.075
33.48/33.58 c # additional number of allowed LP iterations
33.48/33.58 c # [type: int, range: [0,2147483647], default: 1000]
33.48/33.58 c heuristics/guideddiving/maxlpiterofs = c 1500
33.48/33.58 c # maximal fraction of diving LP iterations compared to node LP iterations
33.48/33.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.48/33.58 c heuristics/guideddiving/maxlpiterquot = c 0.075
33.48/33.58 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 10]
33.48/33.58 c heuristics/guideddiving/freq = c -1
33.48/33.58 c # additional number of allowed LP iterations
33.48/33.58 c # [type: int, range: [0,2147483647], default: 1000]
33.48/33.58 c heuristics/fracdiving/maxlpiterofs = c 1500
33.48/33.58 c # maximal fraction of diving LP iterations compared to node LP iterations
33.48/33.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.48/33.58 c heuristics/fracdiving/maxlpiterquot = c 0.075
33.48/33.58 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 10]
33.48/33.58 c heuristics/fracdiving/freq = c -1
33.48/33.58 c # additional number of allowed LP iterations
33.48/33.58 c # [type: int, range: [0,2147483647], default: 1000]
33.48/33.58 c heuristics/feaspump/maxlpiterofs = c 2000
33.48/33.58 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 20]
33.48/33.58 c heuristics/feaspump/freq = c -1
33.48/33.58 c # minimum percentage of integer variables that have to be fixed
33.48/33.58 c # [type: real, range: [0,1], default: 0.666]
33.48/33.58 c heuristics/crossover/minfixingrate = c 0.5
33.48/33.58 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
33.48/33.58 c # [type: real, range: [0,1], default: 0.1]
33.48/33.58 c heuristics/crossover/nodesquot = c 0.15
33.48/33.58 c # number of nodes without incumbent change that heuristic should wait
33.48/33.58 c # [type: longint, range: [0,9223372036854775807], default: 200]
33.48/33.58 c heuristics/crossover/nwaitingnodes = c 100
33.48/33.58 c # number of nodes added to the contingent of the total nodes
33.48/33.58 c # [type: longint, range: [0,9223372036854775807], default: 500]
33.48/33.58 c heuristics/crossover/nodesofs = c 750
33.48/33.58 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 30]
33.48/33.58 c heuristics/crossover/freq = c -1
33.48/33.58 c # additional number of allowed LP iterations
33.48/33.58 c # [type: int, range: [0,2147483647], default: 1000]
33.48/33.58 c heuristics/coefdiving/maxlpiterofs = c 1500
33.48/33.58 c # maximal fraction of diving LP iterations compared to node LP iterations
33.48/33.58 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.48/33.58 c heuristics/coefdiving/maxlpiterquot = c 0.075
33.48/33.58 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: 10]
33.48/33.58 c heuristics/coefdiving/freq = c -1
33.48/33.58 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: -1]
33.48/33.58 c presolving/probing/maxrounds = c 0
33.48/33.58 c # should presolving try to simplify knapsacks
33.48/33.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
33.48/33.58 c constraints/knapsack/simplifyinequalities = c TRUE
33.48/33.58 c # should disaggregation of knapsack constraints be allowed in preprocessing?
33.48/33.58 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
33.48/33.58 c constraints/knapsack/disaggregation = c FALSE
33.48/33.58 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
33.48/33.58 c # [type: int, range: [-1,2147483647], default: -1]
33.48/33.58 c constraints/knapsack/maxnumcardlift = c 0
33.48/33.58 c # should presolving try to simplify inequalities
33.69/33.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
33.69/33.77 c constraints/linear/simplifyinequalities = c TRUE
33.69/33.77 c # maximal number of separation rounds in the root node (-1: unlimited)
33.69/33.77 c # [type: int, range: [-1,2147483647], default: -1]
33.69/33.77 c separating/maxroundsroot = c 5
33.69/33.77 c # maximal number of separation rounds per node (-1: unlimited)
33.69/33.77 c # [type: int, range: [-1,2147483647], default: 5]
33.69/33.77 c separating/maxrounds = c 1
33.69/33.77 c # solving stops, if the given number of solutions were found (-1: no limit)
33.69/33.77 c # [type: int, range: [-1,2147483647], default: -1]
33.69/33.77 c limits/solutions = c 1
33.69/33.77 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.69/33.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
33.69/33.77 c limits/memory = c 13950
33.69/33.77 c # maximal time in seconds to run
33.69/33.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
33.69/33.77 c limits/time = c 1791
33.69/33.77 c # frequency for displaying node information lines
33.69/33.77 c # [type: int, range: [-1,2147483647], default: 100]
33.69/33.77 c display/freq = c 10000
33.69/33.77 c -----------------------------------------------------------------------------------------------
33.69/33.77 c start solving problem
33.69/33.77 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-3730059-1338682254/watcher-3730059-1338682254 -o /tmp/evaluation-result-3730059-1338682254/solver-3730059-1338682254 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3730059-1338682254.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/177 715
/proc/meminfo: memFree=25990552/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=7152 CPUtime=0 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 1124 0 0 0 0 0 0 0 20 0 1 0 334350496 7323648 1077 33554432000 4194304 7823515 140736194642400 140736194574312 4402248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1788 1092 335 887 0 898 0
[startup+0.0185499 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 715
/proc/meminfo: memFree=25990552/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=11808 CPUtime=0.01 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 2317 0 0 0 1 0 0 0 20 0 1 0 334350496 12091392 2270 33554432000 4194304 7823515 140736194642400 140736194574312 6890811 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 2952 2270 351 887 0 2062 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11808
[startup+0.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 715
/proc/meminfo: memFree=25990552/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=18300 CPUtime=0.09 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 3904 0 0 0 9 0 0 0 20 0 1 0 334350496 18739200 3857 33554432000 4194304 7823515 140736194642400 140736194574312 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 4575 3857 351 887 0 3685 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18300
[startup+0.300248 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 715
/proc/meminfo: memFree=25990552/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=29780 CPUtime=0.29 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 6799 0 0 0 28 1 0 0 20 0 1 0 334350496 30494720 6752 33554432000 4194304 7823515 140736194642400 140736194574312 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 7445 6752 351 887 0 6555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29780
[startup+0.700227 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 715
/proc/meminfo: memFree=25990552/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=53980 CPUtime=0.69 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 12808 0 0 0 67 2 0 0 20 0 1 0 334350496 55275520 12761 33554432000 4194304 7823515 140736194642400 140736194574312 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 13495 12761 351 887 0 12605 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53980
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 716
/proc/meminfo: memFree=25923328/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=101752 CPUtime=1.49 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 24730 0 0 0 145 4 0 0 20 0 1 0 334350496 104194048 24683 33554432000 4194304 7823515 140736194642400 140736194508504 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 25438 24683 351 887 0 24548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101752
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 716
/proc/meminfo: memFree=25857980/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=197108 CPUtime=3.09 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 48491 0 0 0 301 8 0 0 20 0 1 0 334350496 201838592 48444 33554432000 4194304 7823515 140736194642400 140736194508424 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 49277 48444 351 887 0 48387 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 197108
[startup+6.3003 s]
/proc/loadavg: 2.16 2.03 2.01 3/177 716
/proc/meminfo: memFree=25622264/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=386700 CPUtime=6.29 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 95709 0 0 0 613 16 0 0 20 0 1 0 334350496 395980800 95662 33554432000 4194304 7823515 140736194642400 140736194508504 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 96675 95662 351 887 0 95785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 386700
[startup+12.7002 s]
/proc/loadavg: 2.15 2.03 2.01 3/177 716
/proc/meminfo: memFree=25232300/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=766124 CPUtime=12.69 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 190134 0 0 0 1237 32 0 0 20 0 1 0 334350496 784510976 190087 33554432000 4194304 7823515 140736194642400 140736194507976 5879390 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 191531 190087 351 887 0 190641 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 766124
[startup+25.5003 s]
/proc/loadavg: 2.19 2.05 2.01 3/177 716
/proc/meminfo: memFree=23159552/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=3003016 CPUtime=25.48 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 734911 0 0 0 2322 226 0 0 20 0 1 0 334350496 3075088384 741767 33554432000 4194304 7823515 140736194642400 140736194638008 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 750754 741767 423 887 0 749864 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3003016
[startup+51.1003 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 716
/proc/meminfo: memFree=21005796/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5312396 CPUtime=51.08 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 908816 0 0 0 4735 373 0 0 20 0 1 0 334350496 5439893504 1246948 33554432000 4194304 7823515 140736194642400 140736194637816 6018702 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1328099 1246948 513 887 0 1327209 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5312396
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/177 717
/proc/meminfo: memFree=20771812/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5496104 CPUtime=102.27 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 915082 0 0 0 9840 387 0 0 20 0 1 0 334350496 5628010496 1294683 33554432000 4194304 7823515 140736194642400 140736194637736 6211327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1374026 1294683 516 887 0 1373136 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 5496104
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 717
/proc/meminfo: memFree=20725584/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5536948 CPUtime=162.26 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 916431 0 0 0 15829 397 0 0 20 0 1 0 334350496 5669834752 1302131 33554432000 4194304 7823515 140736194642400 140736194637736 6212348 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1384237 1302131 516 887 0 1383347 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5536948
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 717
/proc/meminfo: memFree=20684240/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5609480 CPUtime=222.25 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 919306 0 0 0 21819 406 0 0 20 0 1 0 334350496 5744107520 1312492 33554432000 4194304 7823515 140736194642400 140736194637736 6211327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1402370 1312492 516 887 0 1401480 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 5609480
[startup+282.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 756
/proc/meminfo: memFree=16933428/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5621808 CPUtime=282.26 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 921081 0 0 0 27808 418 0 0 20 0 1 0 334350496 5756731392 1314078 33554432000 4194304 7823515 140736194642400 140736194637736 6212552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1405452 1314078 516 887 0 1404562 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 5621808
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 756
/proc/meminfo: memFree=16796688/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5631064 CPUtime=342.24 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 922372 0 0 0 33794 430 0 0 20 0 1 0 334350496 5766209536 1313676 33554432000 4194304 7823515 140736194642400 140736194637736 6212584 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1407766 1313676 516 887 0 1406876 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 5631064
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 757
/proc/meminfo: memFree=16739872/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5639480 CPUtime=402.23 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 923526 0 0 0 39784 439 0 0 20 0 1 0 334350496 5774827520 1313697 33554432000 4194304 7823515 140736194642400 140736194637736 6211603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1409870 1313697 516 887 0 1408980 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 5639480
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 757
/proc/meminfo: memFree=16704420/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5649928 CPUtime=462.22 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 924512 0 0 0 45774 448 0 0 20 0 1 0 334350496 5785526272 1314114 33554432000 4194304 7823515 140736194642400 140736194637736 6211635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1412482 1314114 516 887 0 1411592 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 5649928
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 757
/proc/meminfo: memFree=16658388/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5656720 CPUtime=522.21 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 925466 0 0 0 51764 457 0 0 20 0 1 0 334350496 5792481280 1314520 33554432000 4194304 7823515 140736194642400 140736194637736 6212552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1414180 1314520 516 887 0 1413290 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 5656720
[startup+582.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 760
/proc/meminfo: memFree=16656812/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5662736 CPUtime=582.2 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 926915 0 0 0 57751 469 0 0 20 0 1 0 334350496 5798641664 1314685 33554432000 4194304 7823515 140736194642400 140736194636808 6150570 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1415684 1314685 516 887 0 1414794 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 5662736
[startup+642.3 s]
################
# More data... #
################
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 938148 0 0 0 111664 548 0 0 20 0 1 0 334350496 5892333568 1326390 33554432000 4194304 7823515 140736194642400 140736194637736 6212422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1438558 1326390 516 887 0 1437668 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 5754232
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 765
/proc/meminfo: memFree=16589268/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5761652 CPUtime=1182.11 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 939663 0 0 0 117650 561 0 0 20 0 1 0 334350496 5899931648 1326768 33554432000 4194304 7823515 140736194642400 140736194637736 6211711 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1440413 1326768 516 887 0 1439523 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 5761652
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 765
/proc/meminfo: memFree=16583720/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5766084 CPUtime=1242.1 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 940548 0 0 0 123643 567 0 0 20 0 1 0 334350496 5904470016 1327525 33554432000 4194304 7823515 140736194642400 140736194637736 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1441521 1327525 516 887 0 1440631 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 5766084
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 766
/proc/meminfo: memFree=16577420/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5772272 CPUtime=1302.09 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 942013 0 0 0 129629 580 0 0 20 0 1 0 334350496 5910806528 1327590 33554432000 4194304 7823515 140736194642400 140736194637736 6211603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1443068 1327590 516 887 0 1442178 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 5772272
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 766
/proc/meminfo: memFree=16530780/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5775764 CPUtime=1362.08 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 944187 0 0 0 135615 593 0 0 20 0 1 0 334350496 5914382336 1327306 33554432000 4194304 7823515 140736194642400 140736194637736 6263160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1443941 1327306 516 887 0 1443051 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 5775764
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 766
/proc/meminfo: memFree=16526048/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5777524 CPUtime=1422.07 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 946043 0 0 0 141601 606 0 0 20 0 1 0 334350496 5916184576 1327616 33554432000 4194304 7823515 140736194642400 140736194637736 6150580 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1444381 1327616 516 887 0 1443491 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 5777524
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 766
/proc/meminfo: memFree=16524780/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5780572 CPUtime=1482.07 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 947183 0 0 0 147594 613 0 0 20 0 1 0 334350496 5919305728 1327840 33554432000 4194304 7823515 140736194642400 140736194637736 6151321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1445143 1327840 516 887 0 1444253 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 5780572
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 766
/proc/meminfo: memFree=16520432/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5783044 CPUtime=1542.05 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 948278 0 0 0 153582 623 0 0 20 0 1 0 334350496 5921837056 1329105 33554432000 4194304 7823515 140736194642400 140736194637736 6211728 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1445761 1329105 516 887 0 1444871 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 5783044
[startup+1602.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 767
/proc/meminfo: memFree=16517328/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5784804 CPUtime=1602.06 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 950106 0 0 0 159573 633 0 0 20 0 1 0 334350496 5923639296 1330011 33554432000 4194304 7823515 140736194642400 140736194637736 6150580 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1446201 1330011 516 887 0 1445311 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 5784804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 767
/proc/meminfo: memFree=16514936/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5788524 CPUtime=1662.04 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 950902 0 0 0 165564 640 0 0 20 0 1 0 334350496 5927448576 1329455 33554432000 4194304 7823515 140736194642400 140736194637736 6212699 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1447131 1329455 516 887 0 1446241 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 5788524
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 767
/proc/meminfo: memFree=16516044/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5788524 CPUtime=1722.03 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 951305 0 0 0 171560 643 0 0 20 0 1 0 334350496 5927448576 1329559 33554432000 4194304 7823515 140736194642400 140736194637736 6150550 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1447131 1329559 516 887 0 1446241 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 5788524
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 770
/proc/meminfo: memFree=16513164/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5791044 CPUtime=1782.02 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 952973 0 0 0 177549 653 0 0 20 0 1 0 334350496 5930029056 1329260 33554432000 4194304 7823515 140736194642400 140736194637736 6211603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1447761 1329260 516 887 0 1446871 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 5791044
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 770
/proc/meminfo: memFree=16507576/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5792212 CPUtime=1800.03 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 953625 0 0 0 179344 659 0 0 20 0 1 0 334350496 5931225088 1330046 33554432000 4194304 7823515 140736194642400 140736194637736 6211711 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1448053 1330046 516 887 0 1447163 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 5792212
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -715
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 770
/proc/meminfo: memFree=16507576/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5792212 CPUtime=1800.21 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 953625 0 0 0 179362 659 0 0 20 0 1 0 334350496 5931225088 1330046 33554432000 4194304 7823515 140736194642400 140736194637736 6211728 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1448053 1330046 516 887 0 1447163 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 5792212
[startup+1801.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 771
/proc/meminfo: memFree=16507568/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5792212 CPUtime=1801.02 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 953625 0 0 0 179443 659 0 0 20 0 1 0 334350496 5931225088 1330046 33554432000 4194304 7823515 140736194642400 140736194637736 6211732 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1448053 1330046 516 887 0 1447163 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 5792212
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 771
/proc/meminfo: memFree=16507568/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5792212 CPUtime=1801.81 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 953625 0 0 0 179522 659 0 0 20 0 1 0 334350496 5931225088 1330046 33554432000 4194304 7823515 140736194642400 140736194637736 6211406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1448053 1330046 516 887 0 1447163 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 5792212
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 771
/proc/meminfo: memFree=16507568/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=5792212 CPUtime=1802.01 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4202496 953625 0 0 0 179542 659 0 0 20 0 1 0 334350496 5931225088 1330046 33554432000 4194304 7823515 140736194642400 140736194637736 6211578 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/715/statm: 1448053 1330046 516 887 0 1447163 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 5792212
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 771
/proc/meminfo: memFree=21399780/32873844 swapFree=6608/6608
[pid=715] ppid=713 vsize=0 CPUtime=1802.12 cores=1,3,5,7
/proc/715/stat : 715 (pbscip.linux.x8) R 713 715 301 0 -1 4203524 953625 0 0 0 179544 668 0 0 20 0 1 0 334350496 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/715/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.43
CPU time (s): 1802.16
CPU user time (s): 1795.44
CPU system time (s): 6.71298
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 6108436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.44
system time used= 6.71298
maximum resident set size= 5476404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953625
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= 5
involuntary context switches= 1867
runsolver used 2.73458 second user time and 9.15661 second system time
The end