0.00/0.00 c SCIP version 2.0.1.5 [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-3450810-1307099815.opb>
0.29/0.35 c original problem has 14352 variables (14352 bin, 0 int, 0 impl, 0 cont) and 53247 constraints
0.29/0.35 c problem read
0.29/0.35 c presolving settings loaded
0.39/0.45 c presolving:
0.59/0.66 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.59/0.67 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.82 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.41/4.46 c (4.5s) probing: 778/13380 (5.8%) - 0 fixings, 2 aggregations, 23380 implications, 0 bound changes
4.41/4.46 c (4.5s) probing aborted: 100/100 successive totally useless probings
4.41/4.46 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.49/4.50 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.40/5.42 c (5.4s) probing: 1000/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
5.40/5.44 c (5.4s) probing: 1005/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
5.40/5.44 c (5.4s) probing aborted: 100/100 successive totally useless probings
5.40/5.44 c presolving (6 rounds):
5.40/5.44 c 974 deleted vars, 1954 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 7 changed sides, 9 changed coefficients
5.40/5.44 c 489082 implications, 0 cliques
5.40/5.44 c presolved problem has 13378 variables (13378 bin, 0 int, 0 impl, 0 cont) and 51293 constraints
5.40/5.44 c 1 constraints of type <knapsack>
5.40/5.44 c 38938 constraints of type <setppc>
5.40/5.44 c 12354 constraints of type <logicor>
5.40/5.44 c transformed objective value is always integral (scale: 1)
5.40/5.44 c Presolving Time: 5.02
5.40/5.44 c - non default parameters ----------------------------------------------------------------------
5.40/5.44 c # SCIP version 2.0.1.5
5.40/5.44 c
5.40/5.44 c # frequency for displaying node information lines
5.40/5.44 c # [type: int, range: [-1,2147483647], default: 100]
5.40/5.44 c display/freq = 10000
5.40/5.44 c
5.40/5.44 c # maximal time in seconds to run
5.40/5.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.40/5.44 c limits/time = 1800
5.40/5.44 c
5.40/5.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.40/5.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.40/5.44 c limits/memory = 13950
5.40/5.44 c
5.40/5.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.40/5.44 c # [type: int, range: [1,2], default: 1]
5.40/5.44 c timing/clocktype = 2
5.40/5.44 c
5.40/5.44 c # belongs reading time to solving time?
5.40/5.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.40/5.44 c timing/reading = TRUE
5.40/5.44 c
5.40/5.44 c # should presolving try to simplify inequalities
5.40/5.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.40/5.44 c constraints/linear/simplifyinequalities = TRUE
5.40/5.44 c
5.40/5.44 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.40/5.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.40/5.44 c constraints/indicator/addCouplingCons = TRUE
5.40/5.44 c
5.40/5.44 c # should presolving try to simplify knapsacks
5.40/5.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.40/5.44 c constraints/knapsack/simplifyinequalities = TRUE
5.40/5.44 c
5.40/5.44 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.40/5.44 c # [type: int, range: [-1,2147483647], default: -1]
5.40/5.44 c separating/rapidlearning/freq = 0
5.40/5.44 c
5.40/5.44 c -----------------------------------------------------------------------------------------------
5.40/5.44 c start solving
5.40/5.44 c
24.29/24.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.29/24.33 c 24.3s| 1 | 0 | 15545 | - | 106M| 0 |2087 | 13k| 51k| 13k| 51k| 0 | 74 | 0 | 1.059100e+01 | -- | Inf
321.22/321.24 c 321s| 1 | 0 | 84520 | - | 107M| 0 |1447 | 13k| 51k| 13k| 51k| 10 | 74 | 0 | 1.169274e+01 | -- | Inf
337.80/337.89 c 338s| 1 | 0 | 84521 | - | 107M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | -- | Inf
360.40/360.42 o 26
360.40/360.42 c E 360s| 1 | 0 | 84521 | - | 107M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | 2.600000e+01 | 122.36%
360.40/360.45 c 360s| 1 | 0 | 84521 | - | 107M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | 2.600000e+01 | 122.36%
433.20/433.28 c 433s| 1 | 2 | 84521 | - | 107M| 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-3450810-1307099815/watcher-3450810-1307099815 -o /tmp/evaluation-result-3450810-1307099815/solver-3450810-1307099815 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450810-1307099815.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.15 2.05 2.01 2/498 21034
/proc/meminfo: memFree=25262420/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=14368 CPUtime=0 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 2565 0 0 0 0 0 0 0 25 0 1 0 900212202 14712832 2519 33554432000 4194304 9163163 140734141442160 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21034/statm: 3592 2519 395 1214 0 2374 0
[startup+0.0595639 s]
/proc/loadavg: 2.15 2.05 2.01 2/498 21034
/proc/meminfo: memFree=25262420/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=20104 CPUtime=0.05 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 4013 0 0 0 5 0 0 0 25 0 1 0 900212202 20586496 3967 33554432000 4194304 9163163 140734141442160 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21034/statm: 5026 3967 395 1214 0 3808 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20104
[startup+0.100539 s]
/proc/loadavg: 2.15 2.05 2.01 2/498 21034
/proc/meminfo: memFree=25262420/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=23800 CPUtime=0.09 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 4926 0 0 0 9 0 0 0 25 0 1 0 900212202 24371200 4880 33554432000 4194304 9163163 140734141442160 18446744073709551615 7480236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21034/statm: 5950 4880 395 1214 0 4732 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23800
[startup+0.30052 s]
/proc/loadavg: 2.15 2.05 2.01 2/498 21034
/proc/meminfo: memFree=25262420/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=41028 CPUtime=0.29 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 9262 0 0 0 29 0 0 0 25 0 1 0 900212202 42012672 9216 33554432000 4194304 9163163 140734141442160 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21034/statm: 10257 9216 395 1214 0 9039 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41028
[startup+0.700441 s]
/proc/loadavg: 2.15 2.05 2.01 2/498 21034
/proc/meminfo: memFree=25262420/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=117388 CPUtime=0.69 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 29697 0 0 0 67 2 0 0 25 0 1 0 900212202 120205312 27788 33554432000 4194304 9163163 140734141442160 18446744073709551615 5209629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 29347 27788 522 1214 0 28129 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 117388
[startup+1.5003 s]
/proc/loadavg: 2.15 2.05 2.01 3/499 21035
/proc/meminfo: memFree=25136428/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=132764 CPUtime=1.49 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 35042 0 0 0 146 3 0 0 25 0 1 0 900212202 135950336 31735 33554432000 4194304 9163163 140734141442160 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 33191 31735 560 1214 0 31973 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132764
[startup+3.101 s]
/proc/loadavg: 2.15 2.05 2.01 3/499 21035
/proc/meminfo: memFree=25136552/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=132764 CPUtime=3.09 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 35043 0 0 0 306 3 0 0 25 0 1 0 900212202 135950336 31736 33554432000 4194304 9163163 140734141442160 18446744073709551615 4840550 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 33191 31736 560 1214 0 31973 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132764
[startup+6.30041 s]
/proc/loadavg: 2.29 2.08 2.02 3/499 21035
/proc/meminfo: memFree=25127688/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=223212 CPUtime=6.29 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 55404 0 0 0 624 5 0 0 25 0 1 0 900212202 228569088 51580 33554432000 4194304 9163163 140734141442160 18446744073709551615 7225174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 55803 51580 674 1214 0 54585 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 223212
[startup+12.7002 s]
/proc/loadavg: 2.27 2.08 2.02 3/499 21035
/proc/meminfo: memFree=25028340/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=248056 CPUtime=12.7 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 65317 0 0 0 1257 13 0 0 25 0 1 0 900212202 254009344 58468 33554432000 4194304 9163163 140734141442160 18446744073709551615 7345690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 62014 58468 671 1214 0 60796 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 248056
[startup+25.5008 s]
/proc/loadavg: 2.21 2.07 2.02 3/499 21035
/proc/meminfo: memFree=25022756/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=248868 CPUtime=25.49 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 66823 0 0 0 2532 17 0 0 25 0 1 0 900212202 254840832 59903 33554432000 4194304 9163163 140734141442160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 62217 59903 759 1214 0 60999 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 248868
[startup+51.1011 s]
/proc/loadavg: 2.22 2.08 2.02 3/499 21036
/proc/meminfo: memFree=25022428/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=248868 CPUtime=51.09 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 66956 0 0 0 5087 22 0 0 25 0 1 0 900212202 254840832 60036 33554432000 4194304 9163163 140734141442160 18446744073709551615 7345882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 62217 60036 759 1214 0 60999 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 248868
[startup+102.32 s]
/proc/loadavg: 2.13 2.08 2.02 3/499 21038
/proc/meminfo: memFree=25020908/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=248868 CPUtime=102.31 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 66958 0 0 0 10203 28 0 0 25 0 1 0 900212202 254840832 60038 33554432000 4194304 9163163 140734141442160 18446744073709551615 7317905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 62217 60038 759 1214 0 60999 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 248868
[startup+162.301 s]
/proc/loadavg: 2.05 2.06 2.02 3/499 21039
/proc/meminfo: memFree=25033988/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=248868 CPUtime=162.3 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 66966 0 0 0 16194 36 0 0 25 0 1 0 900212202 254840832 60045 33554432000 4194304 9163163 140734141442160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 62217 60045 758 1214 0 60999 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 248868
[startup+222.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/499 21041
/proc/meminfo: memFree=25030456/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=248868 CPUtime=222.29 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 67016 0 0 0 22186 43 0 0 25 0 1 0 900212202 254840832 60045 33554432000 4194304 9163163 140734141442160 18446744073709551615 6963982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 62217 60045 708 1214 0 60999 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 248868
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/499 21042
/proc/meminfo: memFree=25029684/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=248868 CPUtime=282.29 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 67050 0 0 0 28173 56 0 0 25 0 1 0 900212202 254840832 60056 33554432000 4194304 9163163 140734141442160 18446744073709551615 8045536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 62217 60056 695 1214 0 60999 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 248868
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 21044
/proc/meminfo: memFree=25028396/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=248868 CPUtime=342.3 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 67405 0 0 0 34150 80 0 0 25 0 1 0 900212202 254840832 60405 33554432000 4194304 9163163 140734141442160 18446744073709551615 8045599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 62217 60405 713 1214 0 60999 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 248868
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21046
/proc/meminfo: memFree=24950716/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=402.3 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 40108 122 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 326596
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21047
/proc/meminfo: memFree=24950920/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=462.31 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 46088 143 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7348657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 326596
[startup+522.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/499 21049
/proc/meminfo: memFree=24951252/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=522.31 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 52068 163 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7348393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 326596
[startup+582.301 s]
/proc/loadavg: 2.21 2.08 2.02 3/499 21050
/proc/meminfo: memFree=24951084/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=582.31 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 58047 184 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7348559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 326596
[startup+642.301 s]
################
# More data... #
################
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 99928 303 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 326596
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 21280
/proc/meminfo: memFree=25792100/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1062.32 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 105912 320 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7317967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 326596
[startup+1122.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/499 21282
/proc/meminfo: memFree=25788584/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1122.32 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 111890 342 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7348322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 326596
[startup+1182.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/499 21283
/proc/meminfo: memFree=25779860/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1182.32 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 117869 363 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 326596
[startup+1242.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/499 21285
/proc/meminfo: memFree=25778840/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1242.32 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 123851 381 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7348176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 326596
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 21287
/proc/meminfo: memFree=25778432/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1302.33 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 129828 405 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7317917 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 326596
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 21318
/proc/meminfo: memFree=25688240/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1362.32 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 135814 418 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7359612 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 326596
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 21320
/proc/meminfo: memFree=25687724/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1422.34 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 141801 433 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 326596
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 21321
/proc/meminfo: memFree=25688416/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1482.33 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 147785 448 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 326596
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 21323
/proc/meminfo: memFree=25688872/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1542.33 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 153771 462 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7348226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 326596
[startup+1602.3 s]
/proc/loadavg: 2.15 2.04 2.01 4/499 21325
/proc/meminfo: memFree=25688820/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1602.33 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 159755 478 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7360949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 326596
[startup+1662.3 s]
/proc/loadavg: 2.16 2.06 2.02 4/499 21326
/proc/meminfo: memFree=25689024/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1662.33 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 165744 489 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7382710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 326596
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/499 21328
/proc/meminfo: memFree=25688480/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1722.34 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 171729 505 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 326596
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/499 21329
/proc/meminfo: memFree=25687452/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1782.33 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 177719 514 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7359653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 326596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21330
/proc/meminfo: memFree=25688060/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1800.05 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 179489 516 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7345852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 326596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21034
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.03 2.00 4/500 21331
/proc/meminfo: memFree=25687060/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1801.44 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 179628 516 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7345944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 326596
[startup+1801.82 s]
/proc/loadavg: 2.01 2.03 2.00 4/500 21331
/proc/meminfo: memFree=25687308/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1801.86 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 179670 516 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7345648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 326596
[startup+1802 s]
/proc/loadavg: 2.01 2.03 2.00 4/500 21331
/proc/meminfo: memFree=25687308/32950928 swapFree=34421304/67111528
[pid=21034] ppid=21032 vsize=326596 CPUtime=1802.04 cores=1,3,5,7
/proc/21034/stat : 21034 (scip-2.0.1.4b.l) R 21032 21034 20254 0 -1 4202496 86779 0 0 0 179688 516 0 0 25 0 1 0 900212202 334434304 79688 33554432000 4194304 9163163 140734141442160 18446744073709551615 7345915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21034/statm: 81649 79688 738 1214 0 80431 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 326596
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.08
CPU user time (s): 1796.91
CPU system time (s): 5.17521
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 326596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.91
system time used= 5.17521
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86779
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= 21096
runsolver used 8.32573 second user time and 21.4167 second system time
The end