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-3453471-1307119390.opb>
1.49/1.58 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234215 constraints
1.49/1.58 c problem read
1.49/1.58 c presolving settings loaded
2.39/2.42 c presolving:
8.49/8.55 c (round 1) 4398 del vars, 13084 del conss, 0 add conss, 2965 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16076284 impls, 0 clqs
11.19/11.29 c (round 2) 11168 del vars, 36411 del conss, 0 add conss, 9346 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16108532 impls, 0 clqs
11.99/12.03 c (round 3) 13435 del vars, 46988 del conss, 0 add conss, 10602 chg bounds, 42 chg sides, 38 chg coeffs, 0 upgd conss, 16122735 impls, 0 clqs
12.39/12.43 c (round 4) 14522 del vars, 51139 del conss, 0 add conss, 11284 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16129377 impls, 0 clqs
12.59/12.63 c (round 5) 15038 del vars, 53265 del conss, 0 add conss, 11579 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16132875 impls, 0 clqs
12.69/12.78 c (round 6) 15307 del vars, 54312 del conss, 0 add conss, 11720 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16135292 impls, 0 clqs
12.79/12.87 c (round 7) 15416 del vars, 54843 del conss, 0 add conss, 11770 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136129 impls, 0 clqs
12.89/12.94 c (round 8) 15478 del vars, 55098 del conss, 0 add conss, 11804 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136513 impls, 0 clqs
12.99/13.01 c (round 9) 15506 del vars, 55237 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136585 impls, 0 clqs
12.99/13.07 c (round 10) 15506 del vars, 55268 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 0 upgd conss, 16136585 impls, 0 clqs
13.79/13.81 c (round 11) 15506 del vars, 55268 del conss, 0 add conss, 11824 chg bounds, 63 chg sides, 76 chg coeffs, 178947 upgd conss, 16136585 impls, 0 clqs
14.99/15.00 c (round 12) 15506 del vars, 55289 del conss, 43 add conss, 11824 chg bounds, 143 chg sides, 317 chg coeffs, 178947 upgd conss, 16136585 impls, 0 clqs
620.29/620.36 c (620.4s) probing: 1000/57336 (1.7%) - 0 fixings, 0 aggregations, 10873707 implications, 0 bound changes
1064.01/1064.01 c (1064.0s) probing: 2000/57336 (3.5%) - 0 fixings, 0 aggregations, 16263897 implications, 0 bound changes
1064.11/1064.19 c (1064.2s) probing: 2001/57336 (3.5%) - 0 fixings, 0 aggregations, 16269118 implications, 0 bound changes
1064.11/1064.19 c (1064.2s) probing aborted: 2000/2000 successive useless probings
1064.11/1064.19 c presolving (13 rounds):
1064.11/1064.19 c 15506 deleted vars, 55294 deleted constraints, 43 added constraints, 11824 tightened bounds, 0 added holes, 143 changed sides, 320 changed coefficients
1064.11/1064.19 c 73269355 implications, 0 cliques
1064.11/1064.19 c presolved problem has 57336 variables (57336 bin, 0 int, 0 impl, 0 cont) and 178964 constraints
1064.11/1064.19 c 1135 constraints of type <knapsack>
1064.11/1064.19 c 149503 constraints of type <setppc>
1064.11/1064.19 c 28326 constraints of type <logicor>
1064.11/1064.19 c transformed objective value is always integral (scale: 1)
1064.11/1064.19 c Presolving Time: 1062.38
1064.11/1064.19 c - non default parameters ----------------------------------------------------------------------
1064.11/1064.19 c # SCIP version 2.0.1.4
1064.11/1064.19 c
1064.11/1064.19 c # frequency for displaying node information lines
1064.11/1064.19 c # [type: int, range: [-1,2147483647], default: 100]
1064.11/1064.19 c display/freq = 10000
1064.11/1064.19 c
1064.11/1064.19 c # maximal time in seconds to run
1064.11/1064.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1064.11/1064.19 c limits/time = 1800
1064.11/1064.19 c
1064.11/1064.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1064.11/1064.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1064.11/1064.19 c limits/memory = 13950
1064.11/1064.19 c
1064.11/1064.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
1064.11/1064.19 c # [type: int, range: [1,2], default: 1]
1064.11/1064.19 c timing/clocktype = 2
1064.11/1064.19 c
1064.11/1064.19 c # belongs reading time to solving time?
1064.11/1064.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1064.11/1064.19 c timing/reading = TRUE
1064.11/1064.19 c
1064.11/1064.19 c # should presolving try to simplify inequalities
1064.11/1064.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1064.11/1064.19 c constraints/linear/simplifyinequalities = TRUE
1064.11/1064.19 c
1064.11/1064.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1064.11/1064.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1064.11/1064.19 c constraints/indicator/addCouplingCons = TRUE
1064.11/1064.19 c
1064.11/1064.19 c # should presolving try to simplify knapsacks
1064.11/1064.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1064.11/1064.19 c constraints/knapsack/simplifyinequalities = TRUE
1064.11/1064.19 c
1064.11/1064.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1064.11/1064.19 c # [type: int, range: [-1,2147483647], default: -1]
1064.11/1064.19 c separating/rapidlearning/freq = 0
1064.11/1064.19 c
1064.11/1064.19 c -----------------------------------------------------------------------------------------------
1064.11/1064.19 c start solving
1064.21/1064.23 c
1496.92/1496.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.92/1496.94 c 1497s| 1 | 0 | 68738 | - |2244M| 0 |1845 | 57k| 179k| 57k| 178k| 0 | 51 | 0 | 8.100000e+01 | -- | 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-3453471-1307119390/watcher-3453471-1307119390 -o /tmp/evaluation-result-3453471-1307119390/solver-3453471-1307119390 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453471-1307119390.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.30 1.78 1.91 4/553 5581
/proc/meminfo: memFree=24991464/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=10652 CPUtime=0 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 1654 0 0 0 0 0 0 0 20 0 1 0 823536122 10907648 1607 33554432000 4194304 9128323 140735950246048 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5581/statm: 2663 1607 400 1205 0 1454 0
[startup+0.0228739 s]
/proc/loadavg: 1.30 1.78 1.91 4/553 5581
/proc/meminfo: memFree=24991464/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=13824 CPUtime=0.01 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 2472 0 0 0 1 0 0 0 20 0 1 0 823536122 14155776 2425 33554432000 4194304 9128323 140735950246048 18446744073709551615 4799320 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5581/statm: 3456 2425 400 1205 0 2247 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13824
[startup+0.100858 s]
/proc/loadavg: 1.30 1.78 1.91 4/553 5581
/proc/meminfo: memFree=24991464/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=27364 CPUtime=0.09 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 5858 0 0 0 9 0 0 0 20 0 1 0 823536122 28020736 5809 33554432000 4194304 9128323 140735950246048 18446744073709551615 7998100 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5581/statm: 6841 5809 400 1205 0 5632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27364
[startup+0.300822 s]
/proc/loadavg: 1.30 1.78 1.91 4/553 5581
/proc/meminfo: memFree=24991464/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=50212 CPUtime=0.29 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 11587 0 0 0 28 1 0 0 21 0 1 0 823536122 51417088 11506 33554432000 4194304 9128323 140735950246048 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5581/statm: 12553 11506 400 1205 0 11344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50212
[startup+0.700741 s]
/proc/loadavg: 1.30 1.78 1.91 4/553 5581
/proc/meminfo: memFree=24991464/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=68572 CPUtime=0.69 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 16161 0 0 0 68 1 0 0 22 0 1 0 823536122 70217728 16072 33554432000 4194304 9128323 140735950246048 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5581/statm: 17143 16072 400 1205 0 15934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68572
[startup+1.50058 s]
/proc/loadavg: 1.30 1.78 1.91 4/555 5583
/proc/meminfo: memFree=24822832/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=129232 CPUtime=1.49 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 31368 0 0 0 146 3 0 0 25 0 1 0 823536122 132333568 31264 33554432000 4194304 9128323 140735950246048 18446744073709551615 7447829 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5581/statm: 32308 31264 400 1205 0 31099 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129232
[startup+3.10028 s]
/proc/loadavg: 1.30 1.78 1.91 4/555 5583
/proc/meminfo: memFree=24324972/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=476252 CPUtime=3.09 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 126111 0 0 0 296 13 0 0 25 0 1 0 823536122 487682048 115753 33554432000 4194304 9128323 140735950246048 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5581/statm: 119063 115753 501 1205 0 117854 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 476252
[startup+6.30068 s]
/proc/loadavg: 1.44 1.80 1.92 4/555 5583
/proc/meminfo: memFree=23621576/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=772680 CPUtime=6.29 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 198154 0 0 0 608 21 0 0 25 0 1 0 823536122 791224320 187796 33554432000 4194304 9128323 140735950246048 18446744073709551615 4352160 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5581/statm: 193170 187796 510 1205 0 191961 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 772680
[startup+12.7004 s]
/proc/loadavg: 1.48 1.80 1.92 4/555 5583
/proc/meminfo: memFree=23240312/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=879308 CPUtime=12.69 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 225633 0 0 0 1245 24 0 0 25 0 1 0 823536122 900411392 214133 33554432000 4194304 9128323 140735950246048 18446744073709551615 18446744073699065947 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5581/statm: 219827 214133 523 1205 0 218618 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 879308
[startup+25.501 s]
/proc/loadavg: 1.60 1.81 1.92 4/555 5584
/proc/meminfo: memFree=23035840/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=1012852 CPUtime=25.49 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 276265 0 0 0 2520 29 0 0 25 0 1 0 823536122 1037160448 246875 33554432000 4194304 9128323 140735950246048 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5581/statm: 253213 246875 577 1205 0 252004 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1012852
[startup+51.1011 s]
/proc/loadavg: 1.73 1.82 1.92 4/555 5584
/proc/meminfo: memFree=22919028/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=1080848 CPUtime=51.1 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 291991 0 0 0 5078 32 0 0 25 0 1 0 823536122 1106788352 262568 33554432000 4194304 9128323 140735950246048 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5581/statm: 270212 262568 577 1205 0 269003 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1080848
[startup+102.322 s]
/proc/loadavg: 1.88 1.85 1.92 4/555 5586
/proc/meminfo: memFree=22622084/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=1222508 CPUtime=102.28 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 326934 0 0 0 10193 35 0 0 25 0 1 0 823536122 1251848192 297511 33554432000 4194304 9128323 140735950246048 18446744073709551615 5976499 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 305627 297511 577 1205 0 304418 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1222508
[startup+162.301 s]
/proc/loadavg: 1.95 1.87 1.92 4/555 5587
/proc/meminfo: memFree=22348136/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=1346512 CPUtime=162.27 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 358348 0 0 0 16188 39 0 0 25 0 1 0 823536122 1378828288 328529 33554432000 4194304 9128323 140735950246048 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 336628 328529 577 1205 0 335419 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1346512
[startup+222.301 s]
/proc/loadavg: 1.98 1.89 1.92 4/555 5589
/proc/meminfo: memFree=21883228/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=1516916 CPUtime=222.28 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 400505 0 0 0 22184 44 0 0 25 0 1 0 823536122 1553321984 370455 33554432000 4194304 9128323 140735950246048 18446744073709551615 5488321 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 379229 370455 577 1205 0 378020 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1516916
[startup+282.301 s]
/proc/loadavg: 1.99 1.91 1.92 4/555 5590
/proc/meminfo: memFree=21440536/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=1734216 CPUtime=282.28 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 455323 0 0 0 28177 51 0 0 25 0 1 0 823536122 1775837184 425042 33554432000 4194304 9128323 140735950246048 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 433554 425042 577 1205 0 432345 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1734216
[startup+342.301 s]
/proc/loadavg: 1.99 1.92 1.92 4/555 5592
/proc/meminfo: memFree=21077308/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=1861196 CPUtime=342.27 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 486528 0 0 0 34173 54 0 0 25 0 1 0 823536122 1905864704 456247 33554432000 4194304 9128323 140735950246048 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 465299 456247 577 1205 0 464090 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1861196
[startup+402.301 s]
/proc/loadavg: 2.22 1.98 1.93 4/555 5594
/proc/meminfo: memFree=20824324/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=1997876 CPUtime=402.28 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 519882 0 0 0 40168 60 0 0 25 0 1 0 823536122 2045825024 489601 33554432000 4194304 9128323 140735950246048 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 499469 489601 577 1205 0 498260 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1997876
[startup+462.3 s]
/proc/loadavg: 2.08 1.98 1.93 4/555 5595
/proc/meminfo: memFree=20506372/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=2215084 CPUtime=462.28 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 573445 0 0 0 46162 66 0 0 25 0 1 0 823536122 2268246016 543164 33554432000 4194304 9128323 140735950246048 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 553771 543164 577 1205 0 552562 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2215084
[startup+522.301 s]
/proc/loadavg: 2.03 1.98 1.93 4/555 5597
/proc/meminfo: memFree=20298152/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=2268244 CPUtime=522.28 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 586771 0 0 0 52160 68 0 0 25 0 1 0 823536122 2322681856 556490 33554432000 4194304 9128323 140735950246048 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 567061 556490 577 1205 0 565852 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2268244
[startup+582.3 s]
/proc/loadavg: 2.01 1.98 1.93 4/555 5598
/proc/meminfo: memFree=20074172/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=2333572 CPUtime=582.29 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 603060 0 0 0 58158 71 0 0 25 0 1 0 823536122 2389577728 572779 33554432000 4194304 9128323 140735950246048 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 583393 572779 577 1205 0 582184 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2333572
[startup+642.301 s]
################
# More data... #
################
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 710875 0 0 0 106145 86 0 0 25 0 1 0 823536122 2831106048 680594 33554432000 4194304 9128323 140735950246048 18446744073709551615 5489966 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 691188 680594 581 1205 0 689979 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2764752
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.95 4/555 5622
/proc/meminfo: memFree=18439324/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3097592 CPUtime=1122.31 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 787531 0 0 0 112133 98 0 0 25 0 1 0 823536122 3171934208 754812 33554432000 4194304 9128323 140735950246048 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 774398 754812 810 1205 0 773189 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3097592
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/555 5623
/proc/meminfo: memFree=18372580/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3102636 CPUtime=1182.31 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 790441 0 0 0 118129 102 0 0 25 0 1 0 823536122 3177099264 757408 33554432000 4194304 9128323 140735950246048 18446744073709551615 7316118 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 775659 757408 960 1205 0 774450 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3102636
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/555 5625
/proc/meminfo: memFree=18280060/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3124468 CPUtime=1242.31 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 796566 0 0 0 124126 105 0 0 25 0 1 0 823536122 3199455232 762907 33554432000 4194304 9128323 140735950246048 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 781117 762907 806 1205 0 779908 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3124468
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/555 5630
/proc/meminfo: memFree=18187608/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3133004 CPUtime=1302.32 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 797010 0 0 0 130124 108 0 0 25 0 1 0 823536122 3208196096 763351 33554432000 4194304 9128323 140735950246048 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 783251 763351 806 1205 0 782042 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3133004
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/555 5631
/proc/meminfo: memFree=18127824/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3133004 CPUtime=1362.31 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 798012 0 0 0 136120 111 0 0 25 0 1 0 823536122 3208196096 764353 33554432000 4194304 9128323 140735950246048 18446744073709551615 7316185 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 783251 764353 806 1205 0 782042 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3133004
[startup+1422.32 s]
/proc/loadavg: 2.25 2.06 1.98 4/555 5633
/proc/meminfo: memFree=18086752/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3133004 CPUtime=1422.34 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 798270 0 0 0 142120 114 0 0 25 0 1 0 823536122 3208196096 764611 33554432000 4194304 9128323 140735950246048 18446744073709551615 7316170 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 783251 764611 806 1205 0 782042 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3133004
[startup+1482.3 s]
/proc/loadavg: 2.20 2.08 1.99 4/555 5634
/proc/meminfo: memFree=18026328/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3133004 CPUtime=1482.32 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 798383 0 0 0 148116 116 0 0 25 0 1 0 823536122 3208196096 764724 33554432000 4194304 9128323 140735950246048 18446744073709551615 7284961 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 783251 764724 806 1205 0 782042 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3133004
[startup+1542.3 s]
/proc/loadavg: 2.07 2.06 1.99 4/555 5636
/proc/meminfo: memFree=17903020/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3152760 CPUtime=1542.32 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 805649 0 0 0 154112 120 0 0 25 0 1 0 823536122 3228426240 771990 33554432000 4194304 9128323 140735950246048 18446744073709551615 7284288 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 788190 771990 831 1205 0 786981 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3152760
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 1.99 4/555 5638
/proc/meminfo: memFree=17813212/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3152760 CPUtime=1602.33 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 805686 0 0 0 160109 124 0 0 25 0 1 0 823536122 3228426240 772027 33554432000 4194304 9128323 140735950246048 18446744073709551615 7380899 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 788190 772027 831 1205 0 786981 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3152760
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 1.99 4/555 5639
/proc/meminfo: memFree=17725340/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3152760 CPUtime=1662.33 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 805689 0 0 0 166106 127 0 0 25 0 1 0 823536122 3228426240 772030 33554432000 4194304 9128323 140735950246048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 788190 772030 831 1205 0 786981 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3152760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.99 4/555 5641
/proc/meminfo: memFree=17671368/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3152760 CPUtime=1722.33 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 805690 0 0 0 172103 130 0 0 25 0 1 0 823536122 3228426240 772031 33554432000 4194304 9128323 140735950246048 18446744073709551615 7312943 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 788190 772031 831 1205 0 786981 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3152760
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.99 4/555 5642
/proc/meminfo: memFree=17563456/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3152760 CPUtime=1782.33 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 805690 0 0 0 178099 134 0 0 25 0 1 0 823536122 3228426240 772031 33554432000 4194304 9128323 140735950246048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 788190 772031 831 1205 0 786981 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3152760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.99 4/555 5643
/proc/meminfo: memFree=17547436/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3152760 CPUtime=1800.04 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 805690 0 0 0 179868 136 0 0 25 0 1 0 823536122 3228426240 772031 33554432000 4194304 9128323 140735950246048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 788190 772031 831 1205 0 786981 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3152760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5581
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 1.99 4/557 5645
/proc/meminfo: memFree=17560564/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3152760 CPUtime=1801.44 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 805690 0 0 0 180008 136 0 0 25 0 1 0 823536122 3228426240 772031 33554432000 4194304 9128323 140735950246048 18446744073709551615 7381243 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 788190 772031 831 1205 0 786981 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3152760
[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 1.99 2/554 5645
/proc/meminfo: memFree=21893148/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3152760 CPUtime=1801.86 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 805690 0 0 0 180050 136 0 0 25 0 1 0 823536122 3228426240 772031 33554432000 4194304 9128323 140735950246048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 788190 772031 831 1205 0 786981 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3152760
[startup+1802 s]
/proc/loadavg: 2.00 2.02 1.99 2/554 5645
/proc/meminfo: memFree=21893148/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=3152760 CPUtime=1802.04 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4202496 805690 0 0 0 180068 136 0 0 25 0 1 0 823536122 3228426240 772031 33554432000 4194304 9128323 140735950246048 18446744073709551615 7242803 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5581/statm: 788190 772031 831 1205 0 786981 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3152760
[startup+1802.1 s]
/proc/loadavg: 2.00 2.02 1.99 2/554 5645
/proc/meminfo: memFree=21893148/32950928 swapFree=67056580/67111528
[pid=5581] ppid=5577 vsize=0 CPUtime=1802.13 cores=0,2,4,6
/proc/5581/stat : 5581 (scip-2.0.1.4.li) R 5577 5581 3492 0 -1 4203524 805690 0 0 0 180070 143 0 0 25 0 1 0 823536122 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/5581/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.15
CPU time (s): 1802.19
CPU user time (s): 1800.7
CPU system time (s): 1.48977
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3152760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.7
system time used= 1.48977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 805690
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= 1774
runsolver used 10.5164 second user time and 23.8664 second system time
The end