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-3453492-1307119651.opb>
1.79/1.83 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256260 constraints
1.79/1.83 c problem read
1.79/1.83 c presolving settings loaded
2.68/2.72 c presolving:
9.80/9.91 c (round 1) 7726 del vars, 22944 del conss, 0 add conss, 6153 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17259454 impls, 0 clqs
12.79/12.86 c (round 2) 14322 del vars, 51760 del conss, 0 add conss, 12341 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17295745 impls, 0 clqs
13.69/13.77 c (round 3) 16827 del vars, 63722 del conss, 0 add conss, 13805 chg bounds, 34 chg sides, 21 chg coeffs, 0 upgd conss, 17313098 impls, 0 clqs
14.31/14.32 c (round 4) 18100 del vars, 68950 del conss, 0 add conss, 14697 chg bounds, 39 chg sides, 32 chg coeffs, 0 upgd conss, 17324399 impls, 0 clqs
14.59/14.61 c (round 5) 18947 del vars, 72462 del conss, 0 add conss, 15185 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17330990 impls, 0 clqs
14.79/14.81 c (round 6) 19400 del vars, 74396 del conss, 0 add conss, 15457 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17337012 impls, 0 clqs
14.99/15.04 c (round 7) 19897 del vars, 76211 del conss, 0 add conss, 15785 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17341905 impls, 0 clqs
15.19/15.20 c (round 8) 20239 del vars, 77705 del conss, 0 add conss, 15984 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17345510 impls, 0 clqs
15.30/15.32 c (round 9) 20471 del vars, 78671 del conss, 0 add conss, 16121 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17347456 impls, 0 clqs
15.30/15.41 c (round 10) 20605 del vars, 79278 del conss, 0 add conss, 16193 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17348832 impls, 0 clqs
15.41/15.49 c (round 11) 20689 del vars, 79653 del conss, 0 add conss, 16239 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17349690 impls, 0 clqs
15.49/15.56 c (round 12) 20745 del vars, 79907 del conss, 0 add conss, 16272 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350090 impls, 0 clqs
15.59/15.63 c (round 13) 20771 del vars, 80048 del conss, 0 add conss, 16286 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350356 impls, 0 clqs
15.59/15.69 c (round 14) 20779 del vars, 80097 del conss, 0 add conss, 16290 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350540 impls, 0 clqs
15.69/15.75 c (round 15) 20787 del vars, 80127 del conss, 0 add conss, 16294 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350642 impls, 0 clqs
15.79/15.81 c (round 16) 20791 del vars, 80151 del conss, 0 add conss, 16296 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350680 impls, 0 clqs
16.51/16.52 c (round 17) 20791 del vars, 80157 del conss, 0 add conss, 16296 chg bounds, 41 chg sides, 36 chg coeffs, 176103 upgd conss, 17350680 impls, 0 clqs
17.09/17.11 c (round 18) 20791 del vars, 80163 del conss, 18 add conss, 16296 chg bounds, 81 chg sides, 211 chg coeffs, 176103 upgd conss, 17350680 impls, 0 clqs
703.31/703.37 c (703.4s) probing: 1000/52051 (1.9%) - 0 fixings, 0 aggregations, 14584895 implications, 0 bound changes
1306.62/1306.65 c (1306.6s) probing: 2000/52051 (3.8%) - 0 fixings, 0 aggregations, 23276919 implications, 0 bound changes
1307.22/1307.25 c (1307.2s) probing: 2001/52051 (3.8%) - 0 fixings, 0 aggregations, 23282981 implications, 0 bound changes
1307.22/1307.25 c (1307.2s) probing aborted: 2000/2000 successive useless probings
1307.22/1307.25 c presolving (19 rounds):
1307.22/1307.25 c 20791 deleted vars, 80163 deleted constraints, 19 added constraints, 16296 tightened bounds, 0 added holes, 83 changed sides, 225 changed coefficients
1307.22/1307.25 c 102450966 implications, 0 cliques
1307.22/1307.25 c presolved problem has 52051 variables (52051 bin, 0 int, 0 impl, 0 cont) and 176116 constraints
1307.22/1307.25 c 1113 constraints of type <knapsack>
1307.22/1307.25 c 149296 constraints of type <setppc>
1307.22/1307.25 c 25707 constraints of type <logicor>
1307.22/1307.25 c transformed objective value is always integral (scale: 1)
1307.22/1307.25 c Presolving Time: 1305.16
1307.22/1307.25 c - non default parameters ----------------------------------------------------------------------
1307.22/1307.25 c # SCIP version 2.0.1.4
1307.22/1307.25 c
1307.22/1307.25 c # frequency for displaying node information lines
1307.22/1307.25 c # [type: int, range: [-1,2147483647], default: 100]
1307.22/1307.25 c display/freq = 10000
1307.22/1307.25 c
1307.22/1307.25 c # maximal time in seconds to run
1307.22/1307.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1307.22/1307.25 c limits/time = 1800
1307.22/1307.25 c
1307.22/1307.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1307.22/1307.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1307.22/1307.25 c limits/memory = 13950
1307.22/1307.25 c
1307.22/1307.25 c # default clock type (1: CPU user seconds, 2: wall clock time)
1307.22/1307.25 c # [type: int, range: [1,2], default: 1]
1307.22/1307.25 c timing/clocktype = 2
1307.22/1307.25 c
1307.22/1307.25 c # belongs reading time to solving time?
1307.22/1307.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1307.22/1307.25 c timing/reading = TRUE
1307.22/1307.25 c
1307.22/1307.25 c # should presolving try to simplify inequalities
1307.22/1307.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1307.22/1307.25 c constraints/linear/simplifyinequalities = TRUE
1307.22/1307.25 c
1307.22/1307.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1307.22/1307.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1307.22/1307.25 c constraints/indicator/addCouplingCons = TRUE
1307.22/1307.25 c
1307.22/1307.25 c # should presolving try to simplify knapsacks
1307.22/1307.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1307.22/1307.25 c constraints/knapsack/simplifyinequalities = TRUE
1307.22/1307.25 c
1307.22/1307.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1307.22/1307.25 c # [type: int, range: [-1,2147483647], default: -1]
1307.22/1307.25 c separating/rapidlearning/freq = 0
1307.22/1307.25 c
1307.22/1307.25 c -----------------------------------------------------------------------------------------------
1307.22/1307.25 c start solving
1307.22/1307.29 c
1722.32/1722.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.32/1722.34 c 1722s| 1 | 0 | 63812 | - |2966M| 0 |2497 | 52k| 176k| 52k| 176k| 0 | 54 | 0 | 1.020000e+02 | -- | Inf
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-3453492-1307119651/watcher-3453492-1307119651 -o /tmp/evaluation-result-3453492-1307119651/solver-3453492-1307119651 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453492-1307119651.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.12 1.54 1.81 3/446 12569
/proc/meminfo: memFree=31362340/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=11052 CPUtime=0 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1711 0 0 0 0 0 0 0 22 0 1 0 823563850 11317248 1666 33554432000 4194304 9128323 140737445255456 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12569/statm: 2763 1681 400 1205 0 1554 0
[startup+0.027009 s]
/proc/loadavg: 1.12 1.54 1.81 3/446 12569
/proc/meminfo: memFree=31362340/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=14024 CPUtime=0.02 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 2488 0 0 0 2 0 0 0 22 0 1 0 823563850 14360576 2442 33554432000 4194304 9128323 140737445255456 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12569/statm: 3506 2442 400 1205 0 2297 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14024
[startup+0.101073 s]
/proc/loadavg: 1.12 1.54 1.81 3/446 12569
/proc/meminfo: memFree=31362340/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=25324 CPUtime=0.09 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 5341 0 0 0 9 0 0 0 22 0 1 0 823563850 25931776 5293 33554432000 4194304 9128323 140737445255456 18446744073709551615 6191637 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12569/statm: 6331 5293 400 1205 0 5122 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25324
[startup+0.301034 s]
/proc/loadavg: 1.12 1.54 1.81 3/446 12569
/proc/meminfo: memFree=31362340/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=48080 CPUtime=0.28 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 11059 0 0 0 28 0 0 0 23 0 1 0 823563850 49233920 10980 33554432000 4194304 9128323 140737445255456 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12569/statm: 12020 10980 400 1205 0 10811 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48080
[startup+0.700957 s]
/proc/loadavg: 1.12 1.54 1.81 3/446 12569
/proc/meminfo: memFree=31362340/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=66072 CPUtime=0.69 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 15554 0 0 0 68 1 0 0 25 0 1 0 823563850 67657728 15467 33554432000 4194304 9128323 140737445255456 18446744073709551615 7929278 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12569/statm: 16518 15467 400 1205 0 15309 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66072
[startup+1.50081 s]
/proc/loadavg: 1.12 1.54 1.81 3/447 12570
/proc/meminfo: memFree=31210060/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=114360 CPUtime=1.49 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 27624 0 0 0 146 3 0 0 25 0 1 0 823563850 117104640 27523 33554432000 4194304 9128323 140737445255456 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12569/statm: 28590 27523 400 1205 0 27381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114360
[startup+3.10042 s]
/proc/loadavg: 1.12 1.54 1.81 3/447 12570
/proc/meminfo: memFree=30717144/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=445720 CPUtime=3.09 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 121355 0 0 0 294 15 0 0 25 0 1 0 823563850 456417280 108763 33554432000 4194304 9128323 140737445255456 18446744073709551615 4782496 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 111430 108763 501 1205 0 110221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 445720
[startup+6.30097 s]
/proc/loadavg: 1.19 1.54 1.81 3/447 12570
/proc/meminfo: memFree=30037880/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=724164 CPUtime=6.29 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 190283 0 0 0 606 23 0 0 25 0 1 0 823563850 741543936 177691 33554432000 4194304 9128323 140737445255456 18446744073709551615 6589136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 181041 177691 510 1205 0 179832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 724164
[startup+12.7009 s]
/proc/loadavg: 1.25 1.55 1.81 3/447 12571
/proc/meminfo: memFree=29615948/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=914536 CPUtime=12.69 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 236030 0 0 0 1241 28 0 0 25 0 1 0 823563850 936484864 222838 33554432000 4194304 9128323 140737445255456 18446744073709551615 6594428 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 228634 222838 523 1205 0 227425 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 914536
[startup+25.5006 s]
/proc/loadavg: 1.42 1.57 1.81 3/447 12571
/proc/meminfo: memFree=29481348/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=1003696 CPUtime=25.49 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 275173 0 0 0 2517 32 0 0 25 0 1 0 823563850 1027784704 244483 33554432000 4194304 9128323 140737445255456 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 250924 244483 601 1205 0 249715 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1003696
[startup+51.1011 s]
/proc/loadavg: 1.61 1.61 1.82 3/447 12572
/proc/meminfo: memFree=29378648/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=1057792 CPUtime=51.09 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 288235 0 0 0 5075 34 0 0 25 0 1 0 823563850 1083179008 257545 33554432000 4194304 9128323 140737445255456 18446744073709551615 4207186 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 264448 257545 601 1205 0 263239 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1057792
[startup+102.317 s]
/proc/loadavg: 1.83 1.66 1.82 3/447 12573
/proc/meminfo: memFree=29083904/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=1214128 CPUtime=102.31 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 326662 0 0 0 10193 38 0 0 25 0 1 0 823563850 1243267072 295972 33554432000 4194304 9128323 140737445255456 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 303532 295972 601 1205 0 302323 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1214128
[startup+162.301 s]
/proc/loadavg: 2.01 1.75 1.84 3/447 12575
/proc/meminfo: memFree=28727368/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=1370868 CPUtime=162.29 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 365736 0 0 0 16187 42 0 0 25 0 1 0 823563850 1403768832 334650 33554432000 4194304 9128323 140737445255456 18446744073709551615 5973216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 342717 334650 601 1205 0 341508 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1370868
[startup+222.301 s]
/proc/loadavg: 2.00 1.79 1.85 3/447 12576
/proc/meminfo: memFree=28344428/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=1570744 CPUtime=222.3 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 415632 0 0 0 22183 47 0 0 25 0 1 0 823563850 1608441856 384282 33554432000 4194304 9128323 140737445255456 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 392686 384282 601 1205 0 391477 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1570744
[startup+282.3 s]
/proc/loadavg: 2.15 1.86 1.86 3/447 12578
/proc/meminfo: memFree=27879880/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=1834100 CPUtime=282.3 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 480881 0 0 0 28175 55 0 0 25 0 1 0 823563850 1878118400 449532 33554432000 4194304 9128323 140737445255456 18446744073709551615 8012592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 458525 449538 601 1205 0 457316 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1834100
[startup+342.301 s]
/proc/loadavg: 2.05 1.88 1.87 3/447 12580
/proc/meminfo: memFree=27543316/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=2053184 CPUtime=342.3 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 535465 0 0 0 34168 62 0 0 25 0 1 0 823563850 2102460416 504115 33554432000 4194304 9128323 140737445255456 18446744073709551615 6588968 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 513296 504115 601 1205 0 512087 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2053184
[startup+402.301 s]
/proc/loadavg: 2.02 1.90 1.87 3/447 12581
/proc/meminfo: memFree=27170896/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=2219756 CPUtime=402.3 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 576819 0 0 0 40161 69 0 0 25 0 1 0 823563850 2273030144 545469 33554432000 4194304 9128323 140737445255456 18446744073709551615 6581584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 554939 545469 601 1205 0 553730 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2219756
[startup+462.301 s]
/proc/loadavg: 2.00 1.92 1.88 3/447 12583
/proc/meminfo: memFree=26785340/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=2456416 CPUtime=462.3 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 634959 0 0 0 46153 77 0 0 25 0 1 0 823563850 2515369984 603609 33554432000 4194304 9128323 140737445255456 18446744073709551615 4786848 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 614104 603609 601 1205 0 612895 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2456416
[startup+522.301 s]
/proc/loadavg: 2.00 1.93 1.89 3/447 12584
/proc/meminfo: memFree=26571028/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=2560776 CPUtime=522.3 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 661288 0 0 0 52150 80 0 0 25 0 1 0 823563850 2622234624 629938 33554432000 4194304 9128323 140737445255456 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 640194 629938 601 1205 0 638985 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2560776
[startup+582.301 s]
/proc/loadavg: 2.00 1.94 1.89 3/447 12586
/proc/meminfo: memFree=26254268/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=2689180 CPUtime=582.3 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 692640 0 0 0 58145 85 0 0 25 0 1 0 823563850 2753720320 661290 33554432000 4194304 9128323 140737445255456 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12569/statm: 672295 661290 601 1205 0 671086 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2689180
[startup+642.301 s]
################
# More data... #
################
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 880531 0 0 0 106117 114 0 0 25 0 1 0 823563850 3522334720 849181 33554432000 4194304 9128323 140737445255456 18446744073709551615 4207186 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 859945 849181 605 1205 0 858736 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3439780
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/447 12612
/proc/meminfo: memFree=24551328/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=3544180 CPUtime=1122.32 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 905907 0 0 0 112114 118 0 0 25 0 1 0 823563850 3629240320 874557 33554432000 4194304 9128323 140737445255456 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 886045 874557 605 1205 0 884836 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3544180
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/447 12614
/proc/meminfo: memFree=24415628/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=3603480 CPUtime=1182.32 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 920033 0 0 0 118112 120 0 0 25 0 1 0 823563850 3689963520 888683 33554432000 4194304 9128323 140737445255456 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 900870 888683 605 1205 0 899661 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3603480
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/447 12616
/proc/meminfo: memFree=24083260/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=3648068 CPUtime=1242.32 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 930907 0 0 0 124110 122 0 0 25 0 1 0 823563850 3735621632 899557 33554432000 4194304 9128323 140737445255456 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 912017 899557 605 1205 0 910808 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3648068
[startup+1302.3 s]
/proc/loadavg: 2.08 2.03 1.94 3/447 12617
/proc/meminfo: memFree=23983748/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=3709516 CPUtime=1302.33 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 946864 0 0 0 130108 125 0 0 25 0 1 0 823563850 3798544384 915514 33554432000 4194304 9128323 140737445255456 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 927379 915514 605 1205 0 926170 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3709516
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/447 12619
/proc/meminfo: memFree=23691048/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4027224 CPUtime=1362.32 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1022043 0 0 0 136096 136 0 0 25 0 1 0 823563850 4123877376 987143 33554432000 4194304 9128323 140737445255456 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1006806 987143 779 1205 0 1005597 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 4027224
[startup+1422.32 s]
/proc/loadavg: 2.06 2.03 1.94 3/447 12620
/proc/meminfo: memFree=23666452/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4040448 CPUtime=1422.34 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1026525 0 0 0 142093 141 0 0 25 0 1 0 823563850 4137418752 991373 33554432000 4194304 9128323 140737445255456 18446744073709551615 7316352 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1010112 991373 878 1205 0 1008903 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 4040448
[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 1.95 3/447 12622
/proc/meminfo: memFree=23645192/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4061460 CPUtime=1482.32 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1032034 0 0 0 148086 146 0 0 25 0 1 0 823563850 4158935040 996739 33554432000 4194304 9128323 140737445255456 18446744073709551615 7316204 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1015365 996739 1668 1205 0 1014156 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 4061460
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/447 12624
/proc/meminfo: memFree=23633376/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4061460 CPUtime=1542.32 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1035377 0 0 0 154081 151 0 0 25 0 1 0 823563850 4158935040 999148 33554432000 4194304 9128323 140737445255456 18446744073709551615 7343102 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1015365 999148 782 1205 0 1014156 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 4061460
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/447 12625
/proc/meminfo: memFree=23632468/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4061460 CPUtime=1602.33 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1035420 0 0 0 160079 154 0 0 25 0 1 0 823563850 4158935040 999191 33554432000 4194304 9128323 140737445255456 18446744073709551615 7346573 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1015365 999191 782 1205 0 1014156 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 4061460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/447 12627
/proc/meminfo: memFree=23618420/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4085996 CPUtime=1662.32 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1038982 0 0 0 166076 156 0 0 25 0 1 0 823563850 4184059904 1002745 33554432000 4194304 9128323 140737445255456 18446744073709551615 7312716 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1021499 1002745 774 1205 0 1020290 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 4085996
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/447 12628
/proc/meminfo: memFree=23594588/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4047916 CPUtime=1722.32 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1045450 0 0 0 172073 159 0 0 25 0 1 0 823563850 4145065984 992180 33554432000 4194304 9128323 140737445255456 18446744073709551615 7267340 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1011979 992180 726 1205 0 1010770 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 4047916
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/447 12630
/proc/meminfo: memFree=23637840/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4047916 CPUtime=1782.33 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1050926 0 0 0 178069 164 0 0 25 0 1 0 823563850 4145065984 997366 33554432000 4194304 9128323 140737445255456 18446744073709551615 7078155 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1011979 997366 733 1205 0 1010770 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 4047916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.13 2.03 1.96 3/448 12631
/proc/meminfo: memFree=23637580/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4047916 CPUtime=1800.04 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1050926 0 0 0 179839 165 0 0 25 0 1 0 823563850 4145065984 997366 33554432000 4194304 9128323 140737445255456 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1011979 997366 733 1205 0 1010770 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4047916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12569
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.13 2.03 1.96 3/449 12632
/proc/meminfo: memFree=23636456/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4047916 CPUtime=1801.43 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1050926 0 0 0 179978 165 0 0 25 0 1 0 823563850 4145065984 997366 33554432000 4194304 9128323 140737445255456 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1011979 997366 733 1205 0 1010770 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 4047916
[startup+1801.82 s]
/proc/loadavg: 2.13 2.03 1.96 3/449 12632
/proc/meminfo: memFree=23636208/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4047916 CPUtime=1801.84 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1050926 0 0 0 180019 165 0 0 25 0 1 0 823563850 4145065984 997366 33554432000 4194304 9128323 140737445255456 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1011979 997366 733 1205 0 1010770 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 4047916
[startup+1802 s]
/proc/loadavg: 2.13 2.03 1.96 3/449 12632
/proc/meminfo: memFree=23636208/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=4047916 CPUtime=1802.03 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4202496 1050926 0 0 0 180038 165 0 0 25 0 1 0 823563850 4145065984 997366 33554432000 4194304 9128323 140737445255456 18446744073709551615 7312896 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12569/statm: 1011979 997366 733 1205 0 1010770 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 4047916
[startup+1802.1 s]
/proc/loadavg: 2.13 2.03 1.96 3/449 12632
/proc/meminfo: memFree=23636208/32950928 swapFree=34365992/67111528
[pid=12569] ppid=12567 vsize=0 CPUtime=1802.12 cores=0,2,4,6
/proc/12569/stat : 12569 (scip-2.0.1.4.li) R 12567 12569 10081 0 -1 4203524 1050926 0 0 0 180039 173 0 0 25 0 1 0 823563850 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/12569/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.17
CPU time (s): 1802.21
CPU user time (s): 1800.4
CPU system time (s): 1.80772
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4099360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.4
system time used= 1.80773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1050926
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= 2233
runsolver used 7.96879 second user time and 18.3532 second system time
The end