0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3452470-1307101044.opb>
0.29/0.34 c original problem has 14352 variables (14352 bin, 0 int, 0 impl, 0 cont) and 53247 constraints
0.29/0.34 c problem read
0.29/0.34 c presolving settings loaded
0.49/0.50 c presolving:
0.69/0.71 c (round 1) 972 del vars, 1925 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 0 upgd conss, 435372 impls, 0 clqs
0.69/0.72 c (round 2) 972 del vars, 1946 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 0 upgd conss, 435372 impls, 0 clqs
0.79/0.89 c (round 3) 972 del vars, 1948 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 435372 impls, 0 clqs
4.40/4.45 c (4.4s) probing: 778/13380 (5.8%) - 0 fixings, 2 aggregations, 23380 implications, 0 bound changes
4.40/4.45 c (4.4s) probing aborted: 100/100 successive totally useless probings
4.40/4.45 c (round 4) 974 del vars, 1948 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 480848 impls, 0 clqs
4.40/4.49 c (round 5) 974 del vars, 1954 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 480848 impls, 0 clqs
5.29/5.36 c (5.4s) probing: 1000/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
5.29/5.38 c (5.4s) probing: 1005/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
5.29/5.38 c (5.4s) probing aborted: 100/100 successive totally useless probings
5.29/5.38 c presolving (6 rounds):
5.29/5.38 c 974 deleted vars, 1954 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 7 changed sides, 9 changed coefficients
5.29/5.38 c 489082 implications, 0 cliques
5.29/5.38 c presolved problem has 13378 variables (13378 bin, 0 int, 0 impl, 0 cont) and 51293 constraints
5.29/5.38 c 1 constraints of type <knapsack>
5.29/5.38 c 38938 constraints of type <setppc>
5.29/5.38 c 12354 constraints of type <logicor>
5.29/5.38 c transformed objective value is always integral (scale: 1)
5.29/5.38 c Presolving Time: 5.00
5.29/5.38 c - non default parameters ----------------------------------------------------------------------
5.29/5.38 c # SCIP version 2.0.1.4
5.29/5.38 c
5.29/5.38 c # frequency for displaying node information lines
5.29/5.38 c # [type: int, range: [-1,2147483647], default: 100]
5.29/5.38 c display/freq = 10000
5.29/5.38 c
5.29/5.38 c # maximal time in seconds to run
5.29/5.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.38 c limits/time = 1800
5.29/5.38 c
5.29/5.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.29/5.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.38 c limits/memory = 13950
5.29/5.38 c
5.29/5.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.29/5.38 c # [type: int, range: [1,2], default: 1]
5.29/5.38 c timing/clocktype = 2
5.29/5.38 c
5.29/5.38 c # belongs reading time to solving time?
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c timing/reading = TRUE
5.29/5.38 c
5.29/5.38 c # should presolving try to simplify inequalities
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c constraints/linear/simplifyinequalities = TRUE
5.29/5.38 c
5.29/5.38 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c constraints/indicator/addCouplingCons = TRUE
5.29/5.38 c
5.29/5.38 c # should presolving try to simplify knapsacks
5.29/5.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.38 c constraints/knapsack/simplifyinequalities = TRUE
5.29/5.38 c
5.29/5.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.29/5.38 c # [type: int, range: [-1,2147483647], default: -1]
5.29/5.38 c separating/rapidlearning/freq = 0
5.29/5.38 c
5.29/5.38 c -----------------------------------------------------------------------------------------------
5.29/5.38 c start solving
5.29/5.39 c
24.39/24.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.39/24.40 c 24.4s| 1 | 0 | 15545 | - | 102M| 0 |2087 | 13k| 51k| 13k| 51k| 0 | 74 | 0 | 1.059100e+01 | -- | Inf
321.59/321.64 c 322s| 1 | 0 | 84520 | - | 103M| 0 |1447 | 13k| 51k| 13k| 51k| 10 | 74 | 0 | 1.169274e+01 | -- | Inf
338.80/338.86 c 339s| 1 | 0 | 84521 | - | 103M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | -- | Inf
361.30/361.34 o 26
361.30/361.34 c E 361s| 1 | 0 | 84521 | - | 103M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | 2.600000e+01 | 122.36%
361.30/361.38 c 361s| 1 | 0 | 84521 | - | 103M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | 2.600000e+01 | 122.36%
434.89/434.92 c 435s| 1 | 2 | 84521 | - | 103M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 38 | 1.169274e+01 | 2.600000e+01 | 122.36%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3452470-1307101044/watcher-3452470-1307101044 -o /tmp/evaluation-result-3452470-1307101044/solver-3452470-1307101044 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452470-1307101044.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: 2.01 2.03 2.00 2/514 5190
/proc/meminfo: memFree=18731792/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=11232 CPUtime=0 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 1812 0 0 0 0 0 0 0 25 0 1 0 900335199 11501568 1765 33554432000 4194304 9128323 140736095349456 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5190/statm: 2808 1769 400 1205 0 1599 0
[startup+0.100846 s]
/proc/loadavg: 2.01 2.03 2.00 2/514 5190
/proc/meminfo: memFree=18731792/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=19792 CPUtime=0.09 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 3953 0 0 0 9 0 0 0 25 0 1 0 900335199 20267008 3904 33554432000 4194304 9128323 140736095349456 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5190/statm: 4948 3904 400 1205 0 3739 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19792
[startup+0.200829 s]
/proc/loadavg: 2.01 2.03 2.00 2/514 5190
/proc/meminfo: memFree=18731792/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=26632 CPUtime=0.19 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 5670 0 0 0 19 0 0 0 25 0 1 0 900335199 27271168 5619 33554432000 4194304 9128323 140736095349456 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5190/statm: 6658 5619 400 1205 0 5449 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26632
[startup+0.300813 s]
/proc/loadavg: 2.01 2.03 2.00 2/514 5190
/proc/meminfo: memFree=18731792/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=34660 CPUtime=0.29 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 7641 0 0 0 28 1 0 0 25 0 1 0 900335199 35491840 7588 33554432000 4194304 9128323 140736095349456 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5190/statm: 8665 7588 400 1205 0 7456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34660
[startup+0.700745 s]
/proc/loadavg: 2.01 2.03 2.00 2/514 5190
/proc/meminfo: memFree=18731792/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=116088 CPUtime=0.69 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 29824 0 0 0 66 3 0 0 25 0 1 0 900335199 118874112 27466 33554432000 4194304 9128323 140736095349456 18446744073709551615 4831469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 29022 27466 520 1205 0 27813 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116088
[startup+1.50061 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 5191
/proc/meminfo: memFree=18603940/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=134516 CPUtime=1.49 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 37521 0 0 0 145 4 0 0 25 0 1 0 900335199 137744384 32185 33554432000 4194304 9128323 140736095349456 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 33629 32185 564 1205 0 32420 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 134516
[startup+3.10033 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 5191
/proc/meminfo: memFree=18613636/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=134516 CPUtime=3.09 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 37522 0 0 0 305 4 0 0 25 0 1 0 900335199 137744384 32186 33554432000 4194304 9128323 140736095349456 18446744073709551615 5973125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 33629 32186 564 1205 0 32420 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 134516
[startup+6.30076 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 5191
/proc/meminfo: memFree=18561676/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=224200 CPUtime=6.3 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 57525 0 0 0 623 7 0 0 25 0 1 0 900335199 229580800 51682 33554432000 4194304 9128323 140736095349456 18446744073709551615 7380906 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 56050 51682 694 1205 0 54841 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 224200
[startup+12.7006 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 5191
/proc/meminfo: memFree=18509628/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=247992 CPUtime=12.7 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 67145 0 0 0 1256 14 0 0 25 0 1 0 900335199 253943808 58306 33554432000 4194304 9128323 140736095349456 18446744073709551615 7381240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 61998 58306 708 1205 0 60789 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 247992
[startup+25.5005 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 5191
/proc/meminfo: memFree=18521992/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=227756 CPUtime=25.49 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 69849 0 0 0 2532 17 0 0 25 0 1 0 900335199 233222144 55219 33554432000 4194304 9128323 140736095349456 18446744073709551615 7337955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 56939 55219 929 1205 0 55730 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 227756
[startup+51.101 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 5192
/proc/meminfo: memFree=18510424/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=234092 CPUtime=51.09 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 71610 0 0 0 5087 22 0 0 25 0 1 0 900335199 239710208 56980 33554432000 4194304 9128323 140736095349456 18446744073709551615 7386744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 58523 56980 948 1205 0 57314 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 234092
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5196
/proc/meminfo: memFree=18510060/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=234092 CPUtime=102.29 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 71667 0 0 0 10204 25 0 0 25 0 1 0 900335199 239710208 57037 33554432000 4194304 9128323 140736095349456 18446744073709551615 8008925 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 58523 57037 948 1205 0 57314 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 234092
[startup+162.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/515 5198
/proc/meminfo: memFree=18503484/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=234092 CPUtime=162.29 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 71730 0 0 0 16195 34 0 0 25 0 1 0 900335199 239710208 57045 33554432000 4194304 9128323 140736095349456 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 58523 57045 893 1205 0 57314 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 234092
[startup+222.32 s]
/proc/loadavg: 2.09 2.05 2.01 3/515 5199
/proc/meminfo: memFree=18504432/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=234092 CPUtime=222.31 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 71731 0 0 0 22191 40 0 0 25 0 1 0 900335199 239710208 57046 33554432000 4194304 9128323 140736095349456 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 58523 57046 893 1205 0 57314 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 234092
[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/515 5201
/proc/meminfo: memFree=18502776/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=234092 CPUtime=282.29 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 71789 0 0 0 28176 53 0 0 25 0 1 0 900335199 239710208 57055 33554432000 4194304 9128323 140736095349456 18446744073709551615 8008920 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 58523 57055 853 1205 0 57314 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 234092
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 5203
/proc/meminfo: memFree=18495168/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=240408 CPUtime=342.3 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 73721 0 0 0 34154 76 0 0 25 0 1 0 900335199 246177792 58875 33554432000 4194304 9128323 140736095349456 18446744073709551615 8012712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 60102 58875 799 1205 0 58893 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 240408
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5204
/proc/meminfo: memFree=18414772/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=402.29 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 40094 135 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 7328013 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 322884
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5234
/proc/meminfo: memFree=18629200/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=462.26 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 46072 154 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 322884
[startup+522.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/515 5235
/proc/meminfo: memFree=18584220/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=522.26 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 52054 172 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 7380275 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 322884
[startup+582.301 s]
/proc/loadavg: 2.13 2.07 2.02 3/515 5237
/proc/meminfo: memFree=18583208/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=582.25 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 58038 187 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 322884
[startup+642.3 s]
################
# More data... #
################
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 99914 309 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 322884
[startup+1062.3 s]
/proc/loadavg: 2.26 2.07 2.02 3/515 5250
/proc/meminfo: memFree=18583648/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1062.23 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 105898 325 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 7326646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 322884
[startup+1122.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/515 5251
/proc/meminfo: memFree=18583356/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1122.23 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 111879 344 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 7192399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 322884
[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/515 5253
/proc/meminfo: memFree=18583924/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1182.22 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 117865 357 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 322884
[startup+1242.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/515 5255
/proc/meminfo: memFree=18582132/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1242.23 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 123852 371 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 322884
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/515 5256
/proc/meminfo: memFree=18582460/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1302.22 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 129831 391 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 7346362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 1302.22
Current children cumulated vsize (KiB) 322884
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 5258
/proc/meminfo: memFree=18582288/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1362.22 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 135815 407 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 7192361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 322884
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5268
/proc/meminfo: memFree=18454572/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1422.23 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93900 0 0 0 141795 428 0 0 25 0 1 0 900335199 330633216 78914 33554432000 4194304 9128323 140736095349456 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78914 828 1205 0 79512 0
Current children cumulated CPU time (s) 1422.23
Current children cumulated vsize (KiB) 322884
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5270
/proc/meminfo: memFree=18454976/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1482.22 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93905 0 0 0 147775 447 0 0 25 0 1 0 900335199 330633216 78919 33554432000 4194304 9128323 140736095349456 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78919 828 1205 0 79512 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 322884
[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 5272
/proc/meminfo: memFree=18455168/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1542.23 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93905 0 0 0 153758 465 0 0 25 0 1 0 900335199 330633216 78919 33554432000 4194304 9128323 140736095349456 18446744073709551615 7361805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78919 828 1205 0 79512 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 322884
[startup+1602.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/515 5273
/proc/meminfo: memFree=18454520/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1602.22 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93905 0 0 0 159740 482 0 0 25 0 1 0 900335199 330633216 78919 33554432000 4194304 9128323 140736095349456 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78919 828 1205 0 79512 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 322884
[startup+1662.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/515 5275
/proc/meminfo: memFree=18453728/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1662.21 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93905 0 0 0 165726 495 0 0 25 0 1 0 900335199 330633216 78919 33554432000 4194304 9128323 140736095349456 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78919 828 1205 0 79512 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 322884
[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/515 5276
/proc/meminfo: memFree=18455176/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1722.22 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93905 0 0 0 171712 510 0 0 25 0 1 0 900335199 330633216 78919 33554432000 4194304 9128323 140736095349456 18446744073709551615 7315378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78919 828 1205 0 79512 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 322884
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/515 5278
/proc/meminfo: memFree=18454512/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1782.21 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93905 0 0 0 177702 519 0 0 25 0 1 0 900335199 330633216 78919 33554432000 4194304 9128323 140736095349456 18446744073709551615 7312908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78919 828 1205 0 79512 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 322884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.03 2.05 2.01 3/515 5279
/proc/meminfo: memFree=18454608/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1800.03 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93905 0 0 0 179482 521 0 0 25 0 1 0 900335199 330633216 78919 33554432000 4194304 9128323 140736095349456 18446744073709551615 7325724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78919 828 1205 0 79512 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 322884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5190
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.03 2.05 2.01 3/516 5280
/proc/meminfo: memFree=18454228/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1801.42 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93905 0 0 0 179621 521 0 0 25 0 1 0 900335199 330633216 78919 33554432000 4194304 9128323 140736095349456 18446744073709551615 7325474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78919 828 1205 0 79512 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 322884
[startup+1801.92 s]
/proc/loadavg: 2.03 2.05 2.01 3/516 5280
/proc/meminfo: memFree=18454600/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1801.84 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93905 0 0 0 179663 521 0 0 25 0 1 0 900335199 330633216 78919 33554432000 4194304 9128323 140736095349456 18446744073709551615 7325408 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78919 828 1205 0 79512 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 322884
[startup+1802.1 s]
/proc/loadavg: 2.03 2.05 2.01 3/516 5280
/proc/meminfo: memFree=18454600/32950940 swapFree=67111364/67111528
[pid=5190] ppid=5188 vsize=322884 CPUtime=1802.02 cores=1,3,5,7
/proc/5190/stat : 5190 (scip-2.0.1.4.li) R 5188 5190 4622 0 -1 4202496 93905 0 0 0 179681 521 0 0 25 0 1 0 900335199 330633216 78919 33554432000 4194304 9128323 140736095349456 18446744073709551615 7285023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5190/statm: 80721 78919 828 1205 0 79512 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 322884
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.14
CPU time (s): 1802.06
CPU user time (s): 1796.83
CPU system time (s): 5.22821
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 322884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.83
system time used= 5.2282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93905
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= 5070
runsolver used 8.65668 second user time and 22.4836 second system time
The end