0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488861-1307760519.opb>
4.09/4.16 c original problem has 1041679 variables (1041679 bin, 0 int, 0 impl, 0 cont) and 127860 constraints
4.09/4.16 c problem read
4.09/4.17 c presolving settings loaded
7.49/7.51 o 0
7.49/7.51 c feasible solution found by trivial heuristic, objective value 0.000000e+00
7.49/7.51 c presolving:
8.49/8.51 c (round 1) 26780 del vars, 2344 del conss, 0 add conss, 18205 chg bounds, 93789 chg sides, 93789 chg coeffs, 0 upgd conss, 1378 impls, 1565 clqs
8.59/8.68 c (round 2) 26780 del vars, 3999 del conss, 0 add conss, 18205 chg bounds, 100896 chg sides, 100896 chg coeffs, 0 upgd conss, 1378 impls, 1565 clqs
9.39/9.46 c (round 3) 26780 del vars, 3999 del conss, 0 add conss, 18205 chg bounds, 100896 chg sides, 100896 chg coeffs, 93777 upgd conss, 1378 impls, 1565 clqs
14.30/14.36 c (round 4) 26780 del vars, 95354 del conss, 913454 add conss, 18205 chg bounds, 1021457 chg sides, 1998874 chg coeffs, 93777 upgd conss, 1829844 impls, 1565 clqs
188.80/188.85 c (188.8s) probing: 1000/1014899 (0.1%) - 0 fixings, 6 aggregations, 53954 implications, 0 bound changes
365.80/365.87 c (365.9s) probing: 2000/1014899 (0.2%) - 0 fixings, 6 aggregations, 117771 implications, 0 bound changes
465.50/465.52 c (465.5s) probing: 2558/1014899 (0.3%) - 0 fixings, 6 aggregations, 153462 implications, 0 bound changes
465.50/465.52 c (465.5s) probing aborted: 2000/2000 successive useless probings
465.50/465.58 c presolving (5 rounds):
465.50/465.58 c 26786 deleted vars, 95354 deleted constraints, 913454 added constraints, 18205 tightened bounds, 0 added holes, 1021457 changed sides, 1998874 changed coefficients
465.50/465.58 c 2136768 implications, 1565 cliques
465.50/465.58 c presolved problem has 1014893 variables (1014893 bin, 0 int, 0 impl, 0 cont) and 945960 constraints
465.50/465.58 c 857 constraints of type <knapsack>
465.50/465.58 c 915019 constraints of type <setppc>
465.50/465.58 c 30084 constraints of type <linear>
465.50/465.58 c transformed objective value is always integral (scale: 1)
465.50/465.58 c Presolving Time: 459.94
465.50/465.58 c - non default parameters ----------------------------------------------------------------------
465.50/465.58 c # SCIP version 2.0.1.5
465.50/465.58 c
465.50/465.58 c # frequency for displaying node information lines
465.50/465.58 c # [type: int, range: [-1,2147483647], default: 100]
465.50/465.58 c display/freq = 10000
465.50/465.58 c
465.50/465.58 c # maximal time in seconds to run
465.50/465.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
465.50/465.58 c limits/time = 1797
465.50/465.58 c
465.50/465.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
465.50/465.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
465.50/465.58 c limits/memory = 13950
465.50/465.58 c
465.50/465.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
465.50/465.58 c # [type: int, range: [1,2], default: 1]
465.50/465.58 c timing/clocktype = 2
465.50/465.58 c
465.50/465.58 c # belongs reading time to solving time?
465.50/465.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
465.50/465.58 c timing/reading = TRUE
465.50/465.58 c
465.50/465.58 c # should presolving try to simplify inequalities
465.50/465.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
465.50/465.58 c constraints/linear/simplifyinequalities = TRUE
465.50/465.58 c
465.50/465.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
465.50/465.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
465.50/465.58 c constraints/indicator/addCouplingCons = TRUE
465.50/465.58 c
465.50/465.58 c # should presolving try to simplify knapsacks
465.50/465.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
465.50/465.58 c constraints/knapsack/simplifyinequalities = TRUE
465.50/465.58 c
465.50/465.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
465.50/465.58 c # [type: int, range: [-1,2147483647], default: -1]
465.50/465.58 c separating/rapidlearning/freq = 0
465.50/465.58 c
465.50/465.58 c -----------------------------------------------------------------------------------------------
465.50/465.58 c start solving
465.81/465.87 c
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488861-1307760519/watcher-3488861-1307760519 -o /tmp/evaluation-result-3488861-1307760519/solver-3488861-1307760519 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488861-1307760519.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.37 2.44 3.07 2/181 8163
/proc/meminfo: memFree=31361208/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=12700 CPUtime=0 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 2168 0 0 0 0 0 0 0 21 0 1 0 887649960 13004800 2123 33554432000 4194304 9016284 140737195238528 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8163/statm: 3220 2124 353 1178 0 2038 0
[startup+0.0307601 s]
/proc/loadavg: 1.37 2.44 3.07 2/181 8163
/proc/meminfo: memFree=31361208/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=26692 CPUtime=0.02 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 5630 0 0 0 2 0 0 0 21 0 1 0 887649960 27332608 5586 33554432000 4194304 9016284 140737195238528 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8163/statm: 6673 5602 360 1178 0 5491 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26692
[startup+0.100759 s]
/proc/loadavg: 1.37 2.44 3.07 2/181 8163
/proc/meminfo: memFree=31361208/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=62104 CPUtime=0.09 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 14529 0 0 0 8 1 0 0 21 0 1 0 887649960 63594496 14484 33554432000 4194304 9016284 140737195238528 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8163/statm: 15526 14484 360 1178 0 14344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62104
[startup+0.300711 s]
/proc/loadavg: 1.37 2.44 3.07 2/181 8163
/proc/meminfo: memFree=31361208/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=154116 CPUtime=0.29 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 37490 0 0 0 25 4 0 0 22 0 1 0 887649960 157814784 37445 33554432000 4194304 9016284 140737195238528 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8163/statm: 38529 37445 360 1178 0 37347 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 154116
[startup+0.700644 s]
/proc/loadavg: 1.37 2.44 3.07 2/181 8163
/proc/meminfo: memFree=31361208/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=319992 CPUtime=0.69 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 78836 0 0 0 60 9 0 0 24 0 1 0 887649960 327671808 78791 33554432000 4194304 9016284 140737195238528 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8163/statm: 79998 78791 360 1178 0 78816 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 319992
[startup+1.50049 s]
/proc/loadavg: 1.42 2.43 3.06 3/182 8164
/proc/meminfo: memFree=30928716/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=604220 CPUtime=1.49 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 149953 0 0 0 133 16 0 0 25 0 1 0 887649960 618721280 149908 33554432000 4194304 9016284 140737195238528 18446744073709551615 4445963 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8163/statm: 151055 149908 360 1178 0 149873 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 604220
[startup+3.1002 s]
/proc/loadavg: 1.42 2.43 3.06 3/182 8164
/proc/meminfo: memFree=30582800/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=801996 CPUtime=3.09 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 199178 0 0 0 287 22 0 0 25 0 1 0 887649960 821243904 199133 33554432000 4194304 9016284 140737195238528 18446744073709551615 4992855 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8163/statm: 200499 199133 360 1178 0 199317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 801996
[startup+6.30062 s]
/proc/loadavg: 1.47 2.42 3.06 3/182 8164
/proc/meminfo: memFree=29521856/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=1944432 CPUtime=6.29 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 483888 0 0 0 576 53 0 0 25 0 1 0 887649960 1991098368 483832 33554432000 4194304 9016284 140737195238528 18446744073709551615 4786560 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 486108 483832 429 1178 0 484926 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1944432
[startup+12.7005 s]
/proc/loadavg: 1.51 2.41 3.05 3/182 8165
/proc/meminfo: memFree=28500320/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=3146764 CPUtime=12.69 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 777329 0 0 0 1185 84 0 0 25 0 1 0 887649960 3222286336 765035 33554432000 4194304 9016284 140737195238528 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 786691 765035 582 1178 0 785509 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3146764
[startup+25.5011 s]
/proc/loadavg: 1.58 2.40 3.04 3/182 8165
/proc/meminfo: memFree=28012720/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=3401828 CPUtime=25.49 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 887839 0 0 0 2454 95 0 0 25 0 1 0 887649960 3483471872 837069 33554432000 4194304 9016284 140737195238528 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 850457 837069 1664 1178 0 849275 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3401828
[startup+51.1005 s]
/proc/loadavg: 1.80 2.38 3.01 3/182 8166
/proc/meminfo: memFree=28009880/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=3401828 CPUtime=51.09 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 887839 0 0 0 5014 95 0 0 25 0 1 0 887649960 3483471872 837069 33554432000 4194304 9016284 140737195238528 18446744073709551615 4222983 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 850457 837069 1664 1178 0 849275 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3401828
[startup+102.306 s]
/proc/loadavg: 1.99 2.33 2.96 3/182 8167
/proc/meminfo: memFree=28001716/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=3401828 CPUtime=102.3 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 887844 0 0 0 10135 95 0 0 25 0 1 0 887649960 3483471872 837069 33554432000 4194304 9016284 140737195238528 18446744073709551615 4222983 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 850457 837069 1659 1178 0 849275 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 3401828
[startup+162.3 s]
/proc/loadavg: 1.99 2.27 2.90 3/182 8169
/proc/meminfo: memFree=27990496/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=3402852 CPUtime=162.3 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 889091 0 0 0 16134 96 0 0 25 0 1 0 887649960 3484520448 837325 33554432000 4194304 9016284 140737195238528 18446744073709551615 4222983 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 850713 837325 668 1178 0 849531 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 3402852
[startup+222.3 s]
/proc/loadavg: 1.99 2.22 2.84 3/182 8170
/proc/meminfo: memFree=27980760/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=3407972 CPUtime=222.3 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 890421 0 0 0 22134 96 0 0 25 0 1 0 887649960 3489763328 838606 33554432000 4194304 9016284 140737195238528 18446744073709551615 5511158 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 851993 838606 620 1178 0 850811 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 3407972
[startup+282.3 s]
/proc/loadavg: 1.99 2.18 2.79 3/182 8172
/proc/meminfo: memFree=27967808/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=3413092 CPUtime=282.3 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 891701 0 0 0 28134 96 0 0 25 0 1 0 887649960 3495006208 839886 33554432000 4194304 9016284 140737195238528 18446744073709551615 4222983 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 853273 839886 620 1178 0 852091 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 3413092
[startup+342.301 s]
/proc/loadavg: 2.03 2.15 2.74 3/182 8173
/proc/meminfo: memFree=27954128/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=3418212 CPUtime=342.3 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 892981 0 0 0 34134 96 0 0 25 0 1 0 887649960 3500249088 841166 33554432000 4194304 9016284 140737195238528 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 854553 841166 620 1178 0 853371 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3418212
[startup+402.301 s]
/proc/loadavg: 2.01 2.12 2.69 3/182 8175
/proc/meminfo: memFree=27939344/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=3424356 CPUtime=402.3 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 894517 0 0 0 40134 96 0 0 25 0 1 0 887649960 3506540544 842702 33554432000 4194304 9016284 140737195238528 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 856089 842702 620 1178 0 854907 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 3424356
[startup+462.301 s]
/proc/loadavg: 2.00 2.10 2.64 3/182 8177
/proc/meminfo: memFree=27924284/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=3430500 CPUtime=462.3 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 896053 0 0 0 46134 96 0 0 25 0 1 0 887649960 3512832000 844238 33554432000 4194304 9016284 140737195238528 18446744073709551615 4222927 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 857625 844238 620 1178 0 856443 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 3430500
[startup+522.301 s]
/proc/loadavg: 2.00 2.08 2.60 3/182 8178
/proc/meminfo: memFree=26133436/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5395604 CPUtime=522.31 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1449230 0 0 0 52074 157 0 0 25 0 1 0 887649960 5525098496 1290071 33554432000 4194304 9016284 140737195238528 18446744073709551615 7144296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1348901 1290071 848 1178 0 1347719 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 5395604
[startup+582.301 s]
/proc/loadavg: 2.00 2.06 2.56 3/182 8180
/proc/meminfo: memFree=26057496/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5460048 CPUtime=582.31 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1465017 0 0 0 58067 164 0 0 25 0 1 0 887649960 5591089152 1305805 33554432000 4194304 9016284 140737195238528 18446744073709551615 7181403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1365012 1305805 851 1178 0 1363830 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 5460048
[startup+642.301 s]
################
# More data... #
################
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1486165 0 0 0 106045 187 0 0 25 0 1 0 887649960 5604188160 1309033 33554432000 4194304 9016284 140737195238528 18446744073709551615 7156678 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1368210 1309033 856 1178 0 1367028 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 5472840
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.30 3/182 8206
/proc/meminfo: memFree=25948664/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5484432 CPUtime=1122.33 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1491431 0 0 0 112043 190 0 0 25 0 1 0 887649960 5616058368 1311994 33554432000 4194304 9016284 140737195238528 18446744073709551615 6976490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1371108 1311994 856 1178 0 1369926 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 5484432
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.28 3/182 8208
/proc/meminfo: memFree=25938572/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5484756 CPUtime=1182.33 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1493745 0 0 0 118041 192 0 0 25 0 1 0 887649960 5616390144 1312068 33554432000 4194304 9016284 140737195238528 18446744073709551615 7156674 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1371189 1312068 856 1178 0 1370007 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 5484756
[startup+1242.3 s]
/proc/loadavg: 2.12 2.04 2.27 3/182 8209
/proc/meminfo: memFree=25930588/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5485012 CPUtime=1242.33 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1497296 0 0 0 124039 194 0 0 25 0 1 0 887649960 5616652288 1312136 33554432000 4194304 9016284 140737195238528 18446744073709551615 7156517 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1371253 1312136 856 1178 0 1370071 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 5485012
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.25 3/182 8211
/proc/meminfo: memFree=25917276/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5485224 CPUtime=1302.33 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1499942 0 0 0 130038 195 0 0 25 0 1 0 887649960 5616869376 1312191 33554432000 4194304 9016284 140737195238528 18446744073709551615 7152964 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1371306 1312191 850 1178 0 1370124 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 5485224
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.24 3/182 8213
/proc/meminfo: memFree=25899264/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5502656 CPUtime=1362.33 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1504929 0 0 0 136035 198 0 0 25 0 1 0 887649960 5634719744 1314875 33554432000 4194304 9016284 140737195238528 18446744073709551615 7191078 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1375664 1314875 883 1178 0 1374482 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 5502656
[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.22 3/182 8214
/proc/meminfo: memFree=25884960/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5503076 CPUtime=1422.34 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1508450 0 0 0 142034 200 0 0 25 0 1 0 887649960 5635149824 1315276 33554432000 4194304 9016284 140737195238528 18446744073709551615 7870544 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1375769 1315276 883 1178 0 1374587 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 5503076
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.21 3/182 8216
/proc/meminfo: memFree=25875616/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5503368 CPUtime=1482.34 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1510600 0 0 0 148031 203 0 0 25 0 1 0 887649960 5635448832 1315345 33554432000 4194304 9016284 140737195238528 18446744073709551615 7156476 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1375842 1315345 883 1178 0 1374660 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 5503368
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.19 3/182 8217
/proc/meminfo: memFree=25863676/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5503588 CPUtime=1542.34 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1513360 0 0 0 154029 205 0 0 25 0 1 0 887649960 5635674112 1315404 33554432000 4194304 9016284 140737195238528 18446744073709551615 7156496 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1375897 1315404 883 1178 0 1374715 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 5503588
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/182 8219
/proc/meminfo: memFree=25854060/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5503760 CPUtime=1602.34 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1516113 0 0 0 160028 206 0 0 25 0 1 0 887649960 5635850240 1315450 33554432000 4194304 9016284 140737195238528 18446744073709551615 7156674 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1375940 1315450 883 1178 0 1374758 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 5503760
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/182 8221
/proc/meminfo: memFree=25839408/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5503912 CPUtime=1662.34 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1518404 0 0 0 166026 208 0 0 25 0 1 0 887649960 5636005888 1315489 33554432000 4194304 9016284 140737195238528 18446744073709551615 7181750 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1375978 1315489 883 1178 0 1374796 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 5503912
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/182 8222
/proc/meminfo: memFree=25826112/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5504076 CPUtime=1722.34 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1521992 0 0 0 172024 210 0 0 25 0 1 0 887649960 5636173824 1315537 33554432000 4194304 9016284 140737195238528 18446744073709551615 7181567 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1376019 1315537 883 1178 0 1374837 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 5504076
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/182 8224
/proc/meminfo: memFree=25815648/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5504244 CPUtime=1782.34 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1524563 0 0 0 178023 211 0 0 25 0 1 0 887649960 5636345856 1315580 33554432000 4194304 9016284 140737195238528 18446744073709551615 7870548 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1376061 1315580 883 1178 0 1374879 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 5504244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.13 3/182 8262
/proc/meminfo: memFree=25889244/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5504308 CPUtime=1800.05 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1525295 0 0 0 179793 212 0 0 25 0 1 0 887649960 5636411392 1315598 33554432000 4194304 9016284 140737195238528 18446744073709551615 6975929 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1376077 1315598 883 1178 0 1374895 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 5504308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8163
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.13 3/183 8263
/proc/meminfo: memFree=25823268/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5504308 CPUtime=1801.45 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1525295 0 0 0 179933 212 0 0 25 0 1 0 887649960 5636411392 1315598 33554432000 4194304 9016284 140737195238528 18446744073709551615 7181624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1376077 1315598 883 1178 0 1374895 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 5504308
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.13 3/183 8263
/proc/meminfo: memFree=25452760/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5504308 CPUtime=1801.85 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1525295 0 0 0 179973 212 0 0 25 0 1 0 887649960 5636411392 1315598 33554432000 4194304 9016284 140737195238528 18446744073709551615 6976921 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1376077 1315598 883 1178 0 1374895 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 5504308
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.13 3/183 8263
/proc/meminfo: memFree=25452760/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=5504332 CPUtime=1802.05 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4202496 1525636 0 0 0 179993 212 0 0 25 0 1 0 887649960 5636435968 1315604 33554432000 4194304 9016284 140737195238528 18446744073709551615 7138665 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8163/statm: 1376083 1315604 883 1178 0 1374901 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 5504332
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.13 3/183 8263
/proc/meminfo: memFree=25452760/32951124 swapFree=67054536/67111528
[pid=8163] ppid=8161 vsize=0 CPUtime=1802.14 cores=1,3,5,7
/proc/8163/stat : 8163 (scip-2.0.1.4b_2) R 8161 8163 8117 0 -1 4203524 1525636 0 0 0 179993 221 0 0 25 0 1 0 887649960 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/8163/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.18
CPU time (s): 1802.24
CPU user time (s): 1799.94
CPU system time (s): 2.29965
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 5620900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 2.29965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1525636
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= 2
involuntary context switches= 2505
runsolver used 2.83557 second user time and 6.50201 second system time
The end