7.69/7.72 c SCIP version 1.1.0.7
7.69/7.72 c LP-Solver SoPlex 1.4.1
7.69/7.72 c user parameter file <scip.set> not found - using default parameters
7.69/7.72 c read problem <HOME/instance-3741079-1338768596.opb>
7.69/7.72 c original problem has 48368 variables (48368 bin, 0 int, 0 impl, 0 cont) and 1121286 constraints
8.89/8.94 c No objective function, only one solution is needed.
8.89/8.94 c start presolving problem
8.89/8.94 c presolving:
11.10/11.15 c (round 1) 132 del vars, 5772 del conss, 132 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 498002 impls, 1771 clqs
11.38/11.41 c (round 2) 132 del vars, 7212 del conss, 132 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 498002 impls, 1771 clqs
14.99/15.09 c (round 3) 132 del vars, 7247 del conss, 132 chg bounds, 7 chg sides, 0 chg coeffs, 1114066 upgd conss, 498002 impls, 1771 clqs
33.49/33.56 c presolving (4 rounds):
33.49/33.56 c 132 deleted vars, 7251 deleted constraints, 132 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
33.49/33.56 c 498002 implications, 1771 cliques
33.49/33.56 c presolved problem has 48236 variables (48236 bin, 0 int, 0 impl, 0 cont) and 1114035 constraints
33.49/33.56 c 112021 constraints of type <knapsack>
33.49/33.56 c 1771 constraints of type <setppc>
33.49/33.56 c 1 constraints of type <linear>
33.49/33.56 c 1000242 constraints of type <logicor>
33.49/33.56 c transformed objective value is always integral (scale: 1)
33.49/33.56 c Presolving Time: 23.20
33.49/33.56 c SATUNSAT-LIN
33.49/33.56 c -----------------------------------------------------------------------------------------------
33.49/33.56 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 0]
33.49/33.56 c separating/flowcover/freq = c -1
33.49/33.56 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 0]
33.49/33.56 c separating/cmir/freq = c -1
33.49/33.56 c # additional number of allowed LP iterations
33.49/33.56 c # [type: int, range: [0,2147483647], default: 1000]
33.49/33.56 c heuristics/veclendiving/maxlpiterofs = c 1500
33.49/33.56 c # maximal fraction of diving LP iterations compared to node LP iterations
33.49/33.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.49/33.56 c heuristics/veclendiving/maxlpiterquot = c 0.075
33.49/33.56 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 10]
33.49/33.56 c heuristics/veclendiving/freq = c -1
33.49/33.56 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 1]
33.49/33.56 c heuristics/simplerounding/freq = c -1
33.49/33.56 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 10]
33.49/33.56 c heuristics/shifting/freq = c -1
33.49/33.56 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 1]
33.49/33.56 c heuristics/rounding/freq = c -1
33.49/33.56 c # additional number of allowed LP iterations
33.49/33.56 c # [type: int, range: [0,2147483647], default: 1000]
33.49/33.56 c heuristics/rootsoldiving/maxlpiterofs = c 1500
33.49/33.56 c # maximal fraction of diving LP iterations compared to node LP iterations
33.49/33.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
33.49/33.56 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
33.49/33.56 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 20]
33.49/33.56 c heuristics/rootsoldiving/freq = c -1
33.49/33.56 c # number of nodes added to the contingent of the total nodes
33.49/33.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
33.49/33.56 c heuristics/rens/nodesofs = c 2000
33.49/33.56 c # minimum percentage of integer variables that have to be fixable
33.49/33.56 c # [type: real, range: [0,1], default: 0.5]
33.49/33.56 c heuristics/rens/minfixingrate = c 0.3
33.49/33.56 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 0]
33.49/33.56 c heuristics/rens/freq = c -1
33.49/33.56 c # additional number of allowed LP iterations
33.49/33.56 c # [type: int, range: [0,2147483647], default: 1000]
33.49/33.56 c heuristics/pscostdiving/maxlpiterofs = c 1500
33.49/33.56 c # maximal fraction of diving LP iterations compared to node LP iterations
33.49/33.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.49/33.56 c heuristics/pscostdiving/maxlpiterquot = c 0.075
33.49/33.56 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 10]
33.49/33.56 c heuristics/pscostdiving/freq = c -1
33.49/33.56 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 1]
33.49/33.56 c heuristics/oneopt/freq = c -1
33.49/33.56 c # additional number of allowed LP iterations
33.49/33.56 c # [type: int, range: [0,2147483647], default: 1000]
33.49/33.56 c heuristics/objpscostdiving/maxlpiterofs = c 1500
33.49/33.56 c # maximal fraction of diving LP iterations compared to total iteration number
33.49/33.56 c # [type: real, range: [0,1], default: 0.01]
33.49/33.56 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
33.49/33.56 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 20]
33.49/33.56 c heuristics/objpscostdiving/freq = c -1
33.49/33.56 c # additional number of allowed LP iterations
33.49/33.56 c # [type: int, range: [0,2147483647], default: 1000]
33.49/33.56 c heuristics/linesearchdiving/maxlpiterofs = c 1500
33.49/33.56 c # maximal fraction of diving LP iterations compared to node LP iterations
33.49/33.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.49/33.56 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
33.49/33.56 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 10]
33.49/33.56 c heuristics/linesearchdiving/freq = c -1
33.49/33.56 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 10]
33.49/33.56 c heuristics/intshifting/freq = c -1
33.49/33.56 c # maximal fraction of diving LP iterations compared to node LP iterations
33.49/33.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.49/33.56 c heuristics/intdiving/maxlpiterquot = c 0.075
33.49/33.56 c # additional number of allowed LP iterations
33.49/33.56 c # [type: int, range: [0,2147483647], default: 1000]
33.49/33.56 c heuristics/guideddiving/maxlpiterofs = c 1500
33.49/33.56 c # maximal fraction of diving LP iterations compared to node LP iterations
33.49/33.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.49/33.56 c heuristics/guideddiving/maxlpiterquot = c 0.075
33.49/33.56 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 10]
33.49/33.56 c heuristics/guideddiving/freq = c -1
33.49/33.56 c # additional number of allowed LP iterations
33.49/33.56 c # [type: int, range: [0,2147483647], default: 1000]
33.49/33.56 c heuristics/fracdiving/maxlpiterofs = c 1500
33.49/33.56 c # maximal fraction of diving LP iterations compared to node LP iterations
33.49/33.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.49/33.56 c heuristics/fracdiving/maxlpiterquot = c 0.075
33.49/33.56 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 10]
33.49/33.56 c heuristics/fracdiving/freq = c -1
33.49/33.56 c # additional number of allowed LP iterations
33.49/33.56 c # [type: int, range: [0,2147483647], default: 1000]
33.49/33.56 c heuristics/feaspump/maxlpiterofs = c 2000
33.49/33.56 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 20]
33.49/33.56 c heuristics/feaspump/freq = c -1
33.49/33.56 c # minimum percentage of integer variables that have to be fixed
33.49/33.56 c # [type: real, range: [0,1], default: 0.666]
33.49/33.56 c heuristics/crossover/minfixingrate = c 0.5
33.49/33.56 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
33.49/33.56 c # [type: real, range: [0,1], default: 0.1]
33.49/33.56 c heuristics/crossover/nodesquot = c 0.15
33.49/33.56 c # number of nodes without incumbent change that heuristic should wait
33.49/33.56 c # [type: longint, range: [0,9223372036854775807], default: 200]
33.49/33.56 c heuristics/crossover/nwaitingnodes = c 100
33.49/33.56 c # number of nodes added to the contingent of the total nodes
33.49/33.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
33.49/33.56 c heuristics/crossover/nodesofs = c 750
33.49/33.56 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 30]
33.49/33.56 c heuristics/crossover/freq = c -1
33.49/33.56 c # additional number of allowed LP iterations
33.49/33.56 c # [type: int, range: [0,2147483647], default: 1000]
33.49/33.56 c heuristics/coefdiving/maxlpiterofs = c 1500
33.49/33.56 c # maximal fraction of diving LP iterations compared to node LP iterations
33.49/33.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.49/33.56 c heuristics/coefdiving/maxlpiterquot = c 0.075
33.49/33.56 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: 10]
33.49/33.56 c heuristics/coefdiving/freq = c -1
33.49/33.56 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: -1]
33.49/33.56 c presolving/probing/maxrounds = c 0
33.49/33.56 c # should presolving try to simplify knapsacks
33.49/33.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
33.49/33.56 c constraints/knapsack/simplifyinequalities = c TRUE
33.49/33.56 c # should disaggregation of knapsack constraints be allowed in preprocessing?
33.49/33.56 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
33.49/33.56 c constraints/knapsack/disaggregation = c FALSE
33.49/33.56 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
33.49/33.56 c # [type: int, range: [-1,2147483647], default: -1]
33.49/33.56 c constraints/knapsack/maxnumcardlift = c 0
33.49/33.56 c # should presolving try to simplify inequalities
33.49/33.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
33.49/33.58 c constraints/linear/simplifyinequalities = c TRUE
33.49/33.58 c # maximal number of separation rounds in the root node (-1: unlimited)
33.49/33.58 c # [type: int, range: [-1,2147483647], default: -1]
33.49/33.58 c separating/maxroundsroot = c 5
33.49/33.58 c # maximal number of separation rounds per node (-1: unlimited)
33.49/33.58 c # [type: int, range: [-1,2147483647], default: 5]
33.49/33.58 c separating/maxrounds = c 1
33.49/33.58 c # solving stops, if the given number of solutions were found (-1: no limit)
33.49/33.58 c # [type: int, range: [-1,2147483647], default: -1]
33.49/33.58 c limits/solutions = c 1
33.49/33.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.49/33.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
33.49/33.58 c limits/memory = c 13950
33.49/33.58 c # maximal time in seconds to run
33.49/33.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
33.49/33.58 c limits/time = c 1791
33.49/33.58 c # frequency for displaying node information lines
33.49/33.58 c # [type: int, range: [-1,2147483647], default: 100]
33.49/33.58 c display/freq = c 10000
33.49/33.58 c -----------------------------------------------------------------------------------------------
33.49/33.58 c start solving problem
33.49/33.58 c
93.27/93.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.27/93.39 c 83.6s| 1 | 0 | 4201 |1494M| 0 |1060 | 48k|1114k|1114k| 48k|1114k| 0 | 0 | 0 | 1.880333e+03 | -- | Inf
109.47/109.52 c 99.6s| 1 | 0 | 4270 |1494M| 0 |1094 | 48k|1114k|1114k| 48k|1114k| 9 | 0 | 0 | 1.883000e+03 | -- | Inf
132.77/132.86 c 123s| 1 | 0 | 4632 |1494M| 0 |1639 | 48k|1114k|1114k| 48k|1114k| 20 | 0 | 0 | 1.884333e+03 | -- | Inf
151.27/151.34 c 141s| 1 | 0 | 4751 |1494M| 0 |1519 | 48k|1114k|1114k| 48k|1114k| 33 | 0 | 0 | 1.885165e+03 | -- | Inf
180.56/180.65 c 171s| 1 | 0 | 5085 |1494M| 0 |1442 | 48k|1114k|1114k| 48k|1114k| 47 | 0 | 0 | 1.886766e+03 | -- | Inf
202.76/202.82 c 193s| 1 | 0 | 5377 |1495M| 0 |1490 | 48k|1114k|1114k| 48k|1114k| 58 | 0 | 0 | 1.887406e+03 | -- | Inf
573.50/573.66 c 562s| 1 | 2 | 5377 |1495M| 0 |1490 | 48k|1114k|1114k| 48k|1114k| 58 | 0 | 21 | 1.887406e+03 | -- | Inf
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-3741079-1338768596/watcher-3741079-1338768596 -o /tmp/evaluation-result-3741079-1338768596/solver-3741079-1338768596 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741079-1338768596.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.04 2.01 2.00 3/176 14379
/proc/meminfo: memFree=24846736/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=8692 CPUtime=0 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 1511 0 0 0 0 0 0 0 20 0 1 0 342986958 8900608 1464 33554432000 4194304 7823515 140733951309952 140736635626104 6289316 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14379/statm: 2173 1464 351 887 0 1283 0
[startup+0.081979 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 14379
/proc/meminfo: memFree=24846736/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=15380 CPUtime=0.07 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 3177 0 0 0 7 0 0 0 20 0 1 0 342986958 15749120 3130 33554432000 4194304 7823515 140733951309952 140736635626104 6957168 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14379/statm: 3845 3130 351 887 0 2955 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15380
[startup+0.100345 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 14379
/proc/meminfo: memFree=24846736/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=15704 CPUtime=0.09 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 3264 0 0 0 9 0 0 0 20 0 1 0 342986958 16080896 3217 33554432000 4194304 7823515 140733951309952 140736635626104 6820902 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14379/statm: 3926 3217 351 887 0 3036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15704
[startup+0.30027 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 14379
/proc/meminfo: memFree=24846736/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=29128 CPUtime=0.29 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 6613 0 0 0 28 1 0 0 20 0 1 0 342986958 29827072 6566 33554432000 4194304 7823515 140733951309952 140733951176056 6957168 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14379/statm: 7282 6566 351 887 0 6392 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29128
[startup+0.700269 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 14379
/proc/meminfo: memFree=24846736/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=53120 CPUtime=0.69 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 12628 0 0 0 68 1 0 0 20 0 1 0 342986958 54394880 12581 33554432000 4194304 7823515 140733951309952 140733951176056 5010376 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14379/statm: 13280 12581 351 887 0 12390 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53120
[startup+1.50027 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14380
/proc/meminfo: memFree=24780628/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=98924 CPUtime=1.49 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 24044 0 0 0 146 3 0 0 20 0 1 0 342986958 101298176 23997 33554432000 4194304 7823515 140733951309952 140733951176056 6830489 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14379/statm: 24731 23997 351 887 0 23841 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98924
[startup+3.10031 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14380
/proc/meminfo: memFree=24709824/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=191852 CPUtime=3.09 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 47234 0 0 0 303 6 0 0 20 0 1 0 342986958 196456448 47187 33554432000 4194304 7823515 140733951309952 140733951176056 4212850 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 47963 47187 351 887 0 47073 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 191852
[startup+6.30023 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 14383
/proc/meminfo: memFree=24522608/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=372816 CPUtime=6.29 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 92355 0 0 0 615 14 0 0 20 0 1 0 342986958 381763584 92308 33554432000 4194304 7823515 140733951309952 140733951176056 6957168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 93204 92308 351 887 0 92314 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 372816
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 14383
/proc/meminfo: memFree=23587748/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=1390992 CPUtime=12.69 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 341890 0 0 0 1133 136 0 0 20 0 1 0 342986958 1424375808 342117 33554432000 4194304 7823515 140733951309952 140733951306888 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 347748 342117 437 887 0 346858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1390992
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 14383
/proc/meminfo: memFree=23252708/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=1613864 CPUtime=25.49 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 398185 0 0 0 2376 173 0 0 20 0 1 0 342986958 1652596736 397931 33554432000 4194304 7823515 140733951309952 140733951307240 6908036 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 403466 397931 444 887 0 402576 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1613864
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14383
/proc/meminfo: memFree=22403700/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2605020 CPUtime=51.08 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 477596 0 0 0 4896 212 0 0 20 0 1 0 342986958 2667540480 610368 33554432000 4194304 7823515 140733951309952 140733951305640 6263171 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 651255 610368 522 887 0 650365 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2605020
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14383
/proc/meminfo: memFree=22346124/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2723524 CPUtime=102.28 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 484888 0 0 0 9999 229 0 0 20 0 1 0 342986958 2788888576 624202 33554432000 4194304 7823515 140733951309952 140733951305096 5965566 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 680881 624202 542 887 0 679991 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2723524
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14383
/proc/meminfo: memFree=22178168/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2798156 CPUtime=162.26 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 502948 0 0 0 15975 251 0 0 20 0 1 0 342986958 2865311744 665528 33554432000 4194304 7823515 140733951309952 140733951305144 5965831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 699539 665528 554 887 0 698649 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2798156
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14383
/proc/meminfo: memFree=22157628/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2836720 CPUtime=222.26 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 509645 0 0 0 21959 267 0 0 20 0 1 0 342986958 2904801280 669427 33554432000 4194304 7823515 140733951309952 140733951304648 6212558 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 709180 669427 557 887 0 708290 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2836720
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14383
/proc/meminfo: memFree=22152836/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2836720 CPUtime=282.25 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 524023 0 0 0 27935 290 0 0 20 0 1 0 342986958 2904801280 670416 33554432000 4194304 7823515 140733951309952 140733951304648 6908153 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 709180 670416 557 887 0 708290 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2836720
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14384
/proc/meminfo: memFree=22158096/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2815828 CPUtime=342.24 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 535722 0 0 0 33915 309 0 0 20 0 1 0 342986958 2883407872 668579 33554432000 4194304 7823515 140733951309952 140733951304648 6110797 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 703957 668579 557 887 0 703067 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2815828
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14384
/proc/meminfo: memFree=22162828/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2815828 CPUtime=402.23 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 545338 0 0 0 39898 325 0 0 20 0 1 0 342986958 2883407872 664961 33554432000 4194304 7823515 140733951309952 140733951305000 6109495 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 703957 664961 557 887 0 703067 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2815828
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14384
/proc/meminfo: memFree=22162872/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2815828 CPUtime=462.22 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 554796 0 0 0 45881 341 0 0 20 0 1 0 342986958 2883407872 664964 33554432000 4194304 7823515 140733951309952 140733951304648 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 703957 664964 557 887 0 703067 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2815828
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14384
/proc/meminfo: memFree=22162792/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2815828 CPUtime=522.21 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 565095 0 0 0 51864 357 0 0 20 0 1 0 342986958 2883407872 664969 33554432000 4194304 7823515 140733951309952 140733951305000 6908143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 703957 664969 557 887 0 703067 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2815828
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14384
/proc/meminfo: memFree=22121692/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2874040 CPUtime=582.2 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 576412 0 0 0 57844 376 0 0 20 0 1 0 342986958 2943016960 675136 33554432000 4194304 7823515 140733951309952 140733951304392 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 718510 675136 558 887 0 717620 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2874040
[startup+642.3 s]
################
# More data... #
################
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 698783 0 0 0 99698 515 0 0 20 0 1 0 342986958 2904039424 664430 33554432000 4194304 7823515 140733951309952 140733951304648 6908153 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708994 664430 558 887 0 708104 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 2835976
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14390
/proc/meminfo: memFree=22174352/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2835976 CPUtime=1062.13 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 723861 0 0 0 105671 542 0 0 20 0 1 0 342986958 2904039424 664758 33554432000 4194304 7823515 140733951309952 140733951304648 6212306 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708994 664758 558 887 0 708104 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 2835976
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14390
/proc/meminfo: memFree=22153568/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2835976 CPUtime=1122.12 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 745340 0 0 0 111644 568 0 0 20 0 1 0 342986958 2904039424 665745 33554432000 4194304 7823515 140733951309952 140733951304648 6110592 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708994 665745 558 887 0 708104 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2835976
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14428
/proc/meminfo: memFree=22603288/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2875744 CPUtime=1182.11 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 770113 0 0 0 117615 596 0 0 20 0 1 0 342986958 2944761856 682638 33554432000 4194304 7823515 140733951309952 140733951305112 6212687 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 718936 682638 558 887 0 718046 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2875744
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 14432
/proc/meminfo: memFree=22564200/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2875244 CPUtime=1242.1 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 785728 0 0 0 123593 617 0 0 20 0 1 0 342986958 2944249856 682612 33554432000 4194304 7823515 140733951309952 140733951305000 6212404 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 718811 682612 558 887 0 717921 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2875244
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14432
/proc/meminfo: memFree=22591516/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2835944 CPUtime=1302.08 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 797873 0 0 0 129576 632 0 0 20 0 1 0 342986958 2904006656 666532 33554432000 4194304 7823515 140733951309952 140733951304648 6908158 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708986 666532 558 887 0 708096 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2835944
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14432
/proc/meminfo: memFree=22547840/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2835944 CPUtime=1362.08 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 815631 0 0 0 135555 653 0 0 20 0 1 0 342986958 2904006656 666989 33554432000 4194304 7823515 140733951309952 140733951305000 6212348 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708986 666989 558 887 0 708096 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2835944
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14433
/proc/meminfo: memFree=22440860/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2875384 CPUtime=1422.08 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 831195 0 0 0 141535 673 0 0 20 0 1 0 342986958 2944393216 683966 33554432000 4194304 7823515 140733951309952 140733951304184 6036352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 718846 683966 558 887 0 717956 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2875384
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14433
/proc/meminfo: memFree=22466792/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2835944 CPUtime=1482.06 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 848411 0 0 0 147514 692 0 0 20 0 1 0 342986958 2904006656 667474 33554432000 4194304 7823515 140733951309952 140733951304648 6110784 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708986 667474 558 887 0 708096 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2835944
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14434
/proc/meminfo: memFree=22357112/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2875588 CPUtime=1542.05 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 866007 0 0 0 153493 712 0 0 20 0 1 0 342986958 2944602112 684205 33554432000 4194304 7823515 140733951309952 140733951304648 6212327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 718897 684205 558 887 0 718007 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2875588
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14434
/proc/meminfo: memFree=22318664/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2836316 CPUtime=1602.04 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 883843 0 0 0 159473 731 0 0 20 0 1 0 342986958 2904387584 668359 33554432000 4194304 7823515 140733951309952 140733951303800 6234848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 709079 668359 558 887 0 708189 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2836316
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14434
/proc/meminfo: memFree=22339688/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2835944 CPUtime=1662.03 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 902901 0 0 0 165449 754 0 0 20 0 1 0 342986958 2904006656 668244 33554432000 4194304 7823515 140733951309952 140733951304648 6212306 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708986 668244 558 887 0 708096 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2835944
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 14434
/proc/meminfo: memFree=22232036/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2836044 CPUtime=1722.02 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 921257 0 0 0 171428 774 0 0 20 0 1 0 342986958 2904109056 668610 33554432000 4194304 7823515 140733951309952 140733951304280 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 709011 668610 558 887 0 708121 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2836044
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14434
/proc/meminfo: memFree=22194072/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2874988 CPUtime=1782.02 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 936998 0 0 0 177408 794 0 0 20 0 1 0 342986958 2943987712 685466 33554432000 4194304 7823515 140733951309952 140733951303496 6234850 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 718747 685466 558 887 0 717857 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2874988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14434
/proc/meminfo: memFree=22245312/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2835944 CPUtime=1800.01 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 941906 0 0 0 179202 799 0 0 20 0 1 0 342986958 2904006656 669070 33554432000 4194304 7823515 140733951309952 140733951305000 6211728 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708986 669070 558 887 0 708096 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2835944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14379
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14435
/proc/meminfo: memFree=22245312/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2835944 CPUtime=1801.21 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 941906 0 0 0 179322 799 0 0 20 0 1 0 342986958 2904006656 669070 33554432000 4194304 7823515 140733951309952 140733951305000 6110625 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708986 669070 558 887 0 708096 0
Current children cumulated CPU time (s) 1801.21
Current children cumulated vsize (KiB) 2835944
[startup+1801.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14435
/proc/meminfo: memFree=22245056/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2835944 CPUtime=1801.61 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 941906 0 0 0 179362 799 0 0 20 0 1 0 342986958 2904006656 669070 33554432000 4194304 7823515 140733951309952 140733951305000 6212327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708986 669070 558 887 0 708096 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 2835944
[startup+1802.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14435
/proc/meminfo: memFree=22245056/32873648 swapFree=6852/6852
[pid=14379] ppid=14377 vsize=2835944 CPUtime=1802.01 cores=1,3,5,7
/proc/14379/stat : 14379 (pbscip.linux.x8) R 14377 14379 12217 0 -1 4202496 941906 0 0 0 179402 799 0 0 20 0 1 0 342986958 2904006656 669070 33554432000 4194304 7823515 140733951309952 140733951304648 6212288 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14379/statm: 708986 669070 558 887 0 708096 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 2835944
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.34
CPU time (s): 1802.06
CPU user time (s): 1794.03
CPU system time (s): 8.02778
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 2993832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 8.02778
maximum resident set size= 2774796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 941906
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= 13
involuntary context switches= 1876
runsolver used 4.65929 second user time and 18.6672 second system time
The end