0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3486291-1307792688.opb>
1.19/1.28 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234431 constraints
1.19/1.28 c problem read
1.19/1.28 c presolving settings loaded
1.99/2.10 c presolving:
9.69/9.75 c (round 1) 4196 del vars, 12332 del conss, 0 add conss, 2829 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16174414 impls, 0 clqs
13.29/13.37 c (round 2) 10548 del vars, 32884 del conss, 0 add conss, 8730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16201452 impls, 0 clqs
14.59/14.65 c (round 3) 12473 del vars, 42558 del conss, 0 add conss, 9936 chg bounds, 22 chg sides, 35 chg coeffs, 0 upgd conss, 16211827 impls, 0 clqs
15.19/15.27 c (round 4) 13460 del vars, 46311 del conss, 0 add conss, 10503 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16217065 impls, 0 clqs
15.49/15.57 c (round 5) 13901 del vars, 48129 del conss, 0 add conss, 10719 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16219790 impls, 0 clqs
15.69/15.72 c (round 6) 14061 del vars, 48873 del conss, 0 add conss, 10791 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16220721 impls, 0 clqs
15.69/15.80 c (round 7) 14101 del vars, 49103 del conss, 0 add conss, 10800 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16221133 impls, 0 clqs
15.79/15.86 c (round 8) 14109 del vars, 49156 del conss, 0 add conss, 10804 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16221161 impls, 0 clqs
16.49/16.59 c (round 9) 14109 del vars, 49168 del conss, 0 add conss, 10804 chg bounds, 43 chg sides, 64 chg coeffs, 185263 upgd conss, 16221161 impls, 0 clqs
17.79/17.81 c (round 10) 14109 del vars, 49189 del conss, 58 add conss, 10804 chg bounds, 124 chg sides, 318 chg coeffs, 185263 upgd conss, 16221161 impls, 0 clqs
868.31/868.33 c (868.3s) probing: 1000/58733 (1.7%) - 0 fixings, 0 aggregations, 11084918 implications, 0 bound changes
1343.91/1343.93 c (1343.9s) probing: 2000/58733 (3.4%) - 0 fixings, 0 aggregations, 16663939 implications, 0 bound changes
1344.22/1344.26 c (1344.3s) probing: 2001/58733 (3.4%) - 0 fixings, 0 aggregations, 16666835 implications, 0 bound changes
1344.22/1344.26 c (1344.3s) probing aborted: 2000/2000 successive useless probings
1344.22/1344.26 c presolving (11 rounds):
1344.22/1344.26 c 14109 deleted vars, 49199 deleted constraints, 58 added constraints, 10804 tightened bounds, 0 added holes, 124 changed sides, 323 changed coefficients
1344.22/1344.26 c 72101219 implications, 0 cliques
1344.22/1344.26 c presolved problem has 58733 variables (58733 bin, 0 int, 0 impl, 0 cont) and 185290 constraints
1344.22/1344.26 c 1112 constraints of type <knapsack>
1344.22/1344.26 c 155113 constraints of type <setppc>
1344.22/1344.26 c 29065 constraints of type <logicor>
1344.22/1344.26 c transformed objective value is always integral (scale: 1)
1344.22/1344.26 c Presolving Time: 1342.76
1344.22/1344.26 c - non default parameters ----------------------------------------------------------------------
1344.22/1344.26 c # SCIP version 2.0.1.4
1344.22/1344.26 c
1344.22/1344.26 c # frequency for displaying node information lines
1344.22/1344.26 c # [type: int, range: [-1,2147483647], default: 100]
1344.22/1344.26 c display/freq = 10000
1344.22/1344.26 c
1344.22/1344.26 c # maximal time in seconds to run
1344.22/1344.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1344.22/1344.26 c limits/time = 1797
1344.22/1344.26 c
1344.22/1344.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1344.22/1344.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1344.22/1344.26 c limits/memory = 13950
1344.22/1344.26 c
1344.22/1344.26 c # default clock type (1: CPU user seconds, 2: wall clock time)
1344.22/1344.26 c # [type: int, range: [1,2], default: 1]
1344.22/1344.26 c timing/clocktype = 2
1344.22/1344.26 c
1344.22/1344.26 c # belongs reading time to solving time?
1344.22/1344.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1344.22/1344.26 c timing/reading = TRUE
1344.22/1344.26 c
1344.22/1344.26 c # should presolving try to simplify inequalities
1344.22/1344.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1344.22/1344.26 c constraints/linear/simplifyinequalities = TRUE
1344.22/1344.26 c
1344.22/1344.26 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1344.22/1344.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1344.22/1344.26 c constraints/indicator/addCouplingCons = TRUE
1344.22/1344.26 c
1344.22/1344.26 c # should presolving try to simplify knapsacks
1344.22/1344.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1344.22/1344.26 c constraints/knapsack/simplifyinequalities = TRUE
1344.22/1344.26 c
1344.22/1344.26 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1344.22/1344.26 c # [type: int, range: [-1,2147483647], default: -1]
1344.22/1344.26 c separating/rapidlearning/freq = 0
1344.22/1344.26 c
1344.22/1344.26 c -----------------------------------------------------------------------------------------------
1344.22/1344.26 c start solving
1344.32/1344.30 c
1583.02/1583.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.02/1583.05 c 1583s| 1 | 0 | 50589 | - |2232M| 0 | 452 | 58k| 185k| 58k| 185k| 0 | 74 | 0 | 6.900000e+01 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3486291-1307792688/watcher-3486291-1307792688 -o /tmp/evaluation-result-3486291-1307792688/solver-3486291-1307792688 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486291-1307792688.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.00 2.00 2.00 2/177 19906
/proc/meminfo: memFree=30355524/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=10316 CPUtime=0 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 1573 0 0 0 0 0 0 0 19 0 1 0 969499625 10563584 1528 33554432000 4194304 8979876 140737016149360 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19906/statm: 2579 1528 366 1169 0 1406 0
[startup+0.0448671 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19906
/proc/meminfo: memFree=30355524/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=19456 CPUtime=0.04 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 3866 0 0 0 4 0 0 0 19 0 1 0 969499625 19922944 3821 33554432000 4194304 8979876 140737016149360 18446744073709551615 4702363 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19906/statm: 4864 3821 366 1169 0 3691 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19456
[startup+0.10086 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19906
/proc/meminfo: memFree=30355524/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=27544 CPUtime=0.09 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 5903 0 0 0 9 0 0 0 19 0 1 0 969499625 28205056 5858 33554432000 4194304 8979876 140737016149360 18446744073709551615 7836063 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19906/statm: 6886 5858 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.300822 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19906
/proc/meminfo: memFree=30355524/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=52652 CPUtime=0.29 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 12161 0 0 0 28 1 0 0 20 0 1 0 969499625 53915648 12116 33554432000 4194304 8979876 140737016149360 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19906/statm: 13163 12116 366 1169 0 11990 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52652
[startup+0.700754 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 19906
/proc/meminfo: memFree=30355524/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=78604 CPUtime=0.69 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 18617 0 0 0 68 1 0 0 21 0 1 0 969499625 80490496 18572 33554432000 4194304 8979876 140737016149360 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19906/statm: 19651 18572 366 1169 0 18478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78604
[startup+1.50056 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19907
/proc/meminfo: memFree=30252124/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=271244 CPUtime=1.49 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 66139 0 0 0 143 6 0 0 23 0 1 0 969499625 277753856 65999 33554432000 4194304 8979876 140737016149360 18446744073709551615 4904928 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 67811 65999 416 1169 0 66638 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 271244
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19907
/proc/meminfo: memFree=29974564/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=497368 CPUtime=3.09 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 131578 0 0 0 294 15 0 0 25 0 1 0 969499625 509304832 121060 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503341 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 124342 121060 494 1169 0 123169 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 497368
[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19907
/proc/meminfo: memFree=29687380/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=725552 CPUtime=6.29 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 188231 0 0 0 608 21 0 0 25 0 1 0 969499625 742965248 177713 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 181388 177713 494 1169 0 180215 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725552
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19908
/proc/meminfo: memFree=29474732/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=883520 CPUtime=12.69 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 226461 0 0 0 1244 25 0 0 25 0 1 0 969499625 904724480 214850 33554432000 4194304 8979876 140737016149360 18446744073709551615 6504327 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 220880 214850 504 1169 0 219707 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 883520
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19908
/proc/meminfo: memFree=29318896/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=1019688 CPUtime=25.49 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 276838 0 0 0 2518 31 0 0 25 0 1 0 969499625 1044160512 248063 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 254922 248063 557 1169 0 253749 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1019688
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19909
/proc/meminfo: memFree=29165748/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=1080800 CPUtime=51.09 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 291464 0 0 0 5076 33 0 0 25 0 1 0 969499625 1106739200 262425 33554432000 4194304 8979876 140737016149360 18446744073709551615 6502384 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 270200 262425 557 1169 0 269027 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1080800
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19910
/proc/meminfo: memFree=29011812/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=1150432 CPUtime=102.3 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 308317 0 0 0 10194 36 0 0 25 0 1 0 969499625 1178042368 279278 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 287608 279278 557 1169 0 286435 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1150432
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 19912
/proc/meminfo: memFree=28777408/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=1254084 CPUtime=162.3 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 334546 0 0 0 16191 39 0 0 25 0 1 0 969499625 1284182016 305507 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 313521 305507 557 1169 0 312348 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1254084
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19913
/proc/meminfo: memFree=28510488/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=1400140 CPUtime=222.29 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 369875 0 0 0 22186 43 0 0 25 0 1 0 969499625 1433743360 340836 33554432000 4194304 8979876 140737016149360 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 350035 340836 557 1169 0 348862 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1400140
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19915
/proc/meminfo: memFree=28332860/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=1457332 CPUtime=282.3 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 384227 0 0 0 28185 45 0 0 25 0 1 0 969499625 1492307968 354792 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 364333 354792 557 1169 0 363160 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1457332
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19916
/proc/meminfo: memFree=28145336/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=1518836 CPUtime=342.3 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 399934 0 0 0 34183 47 0 0 25 0 1 0 969499625 1555288064 370235 33554432000 4194304 8979876 140737016149360 18446744073709551615 4318205 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 379709 370235 557 1169 0 378536 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1518836
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19918
/proc/meminfo: memFree=27965112/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=1650520 CPUtime=402.3 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 432306 0 0 0 40180 50 0 0 25 0 1 0 969499625 1690132480 402607 33554432000 4194304 8979876 140737016149360 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 412630 402607 557 1169 0 411457 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1650520
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19920
/proc/meminfo: memFree=27735888/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=1785196 CPUtime=462.3 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 465981 0 0 0 46176 54 0 0 25 0 1 0 969499625 1828040704 436117 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 446299 436117 557 1169 0 445126 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1785196
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19921
/proc/meminfo: memFree=27532224/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=1918832 CPUtime=522.3 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 499194 0 0 0 52172 58 0 0 25 0 1 0 969499625 1964883968 469231 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 479708 469231 557 1169 0 478535 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1918832
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19923
/proc/meminfo: memFree=27347784/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=2019012 CPUtime=582.3 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 524498 0 0 0 58169 61 0 0 25 0 1 0 969499625 2067468288 494535 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 504753 494535 557 1169 0 503580 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2019012
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 19931
/proc/meminfo: memFree=26660184/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=2391064 CPUtime=882.31 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 617292 0 0 0 88157 74 0 0 25 0 1 0 969499625 2448449536 587329 33554432000 4194304 8979876 140737016149360 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 597766 587329 562 1169 0 596593 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2391064
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19932
/proc/meminfo: memFree=26532532/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=2468960 CPUtime=942.31 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 636455 0 0 0 94155 76 0 0 25 0 1 0 969499625 2528215040 606492 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 617240 606492 562 1169 0 616067 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2468960
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19943
/proc/meminfo: memFree=26408204/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=2521144 CPUtime=1002.31 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 649557 0 0 0 100153 78 0 0 25 0 1 0 969499625 2581651456 619594 33554432000 4194304 8979876 140737016149360 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 630286 619594 562 1169 0 629113 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2521144
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19945
/proc/meminfo: memFree=26285764/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=2583628 CPUtime=1062.31 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 664504 0 0 0 106151 80 0 0 25 0 1 0 969499625 2645635072 634541 33554432000 4194304 8979876 140737016149360 18446744073709551615 4887680 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 645907 634541 562 1169 0 644734 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2583628
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19946
/proc/meminfo: memFree=26189628/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=2628048 CPUtime=1122.31 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 675958 0 0 0 112150 81 0 0 25 0 1 0 969499625 2691121152 645995 33554432000 4194304 8979876 140737016149360 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 657012 645995 562 1169 0 655839 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2628048
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19948
/proc/meminfo: memFree=26069664/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=2678568 CPUtime=1182.32 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 688739 0 0 0 118149 83 0 0 25 0 1 0 969499625 2742853632 658776 33554432000 4194304 8979876 140737016149360 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 669642 658776 562 1169 0 668469 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2678568
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19949
/proc/meminfo: memFree=25973264/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=2726920 CPUtime=1242.32 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 700631 0 0 0 124147 85 0 0 25 0 1 0 969499625 2792366080 670668 33554432000 4194304 8979876 140737016149360 18446744073709551615 4888936 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 681730 670668 562 1169 0 680557 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2726920
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 19951
/proc/meminfo: memFree=25864700/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=2774280 CPUtime=1302.32 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 712918 0 0 0 130145 87 0 0 25 0 1 0 969499625 2840862720 682955 33554432000 4194304 8979876 140737016149360 18446744073709551615 5537797 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 693570 682955 562 1169 0 692397 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2774280
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 19953
/proc/meminfo: memFree=25469708/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=3141760 CPUtime=1362.32 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 797282 0 0 0 136130 102 0 0 25 0 1 0 969499625 3217162240 764988 33554432000 4194304 8979876 140737016149360 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 785440 764988 773 1169 0 784267 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3141760
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19954
/proc/meminfo: memFree=25395232/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=3161372 CPUtime=1422.33 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 803510 0 0 0 142123 110 0 0 25 0 1 0 969499625 3237244928 770500 33554432000 4194304 8979876 140737016149360 18446744073709551615 7841671 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 790343 770500 788 1169 0 789170 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3161372
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19956
/proc/meminfo: memFree=25320288/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=3174300 CPUtime=1482.32 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 811377 0 0 0 148116 116 0 0 25 0 1 0 969499625 3250483200 778046 33554432000 4194304 8979876 140737016149360 18446744073709551615 7147261 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 793575 778046 1001 1169 0 792402 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3174300
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 19995
/proc/meminfo: memFree=27958636/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=3201244 CPUtime=1542.32 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 815559 0 0 0 154111 121 0 0 25 0 1 0 969499625 3278073856 781940 33554432000 4194304 8979876 140737016149360 18446744073709551615 7147081 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19906/statm: 800311 781940 713 1169 0 799138 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3201244
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 19997
/proc/meminfo: memFree=27855220/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=3172464 CPUtime=1602.32 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 825685 0 0 0 160105 127 0 0 25 0 1 0 969499625 3248603136 776464 33554432000 4194304 8979876 140737016149360 18446744073709551615 7118578 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19906/statm: 793116 776464 1150 1169 0 791943 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3172464
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19999
/proc/meminfo: memFree=27756228/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=3172464 CPUtime=1662.33 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 825832 0 0 0 166100 133 0 0 25 0 1 0 969499625 3248603136 776519 33554432000 4194304 8979876 140737016149360 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19906/statm: 793116 776519 1058 1169 0 791943 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3172464
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20000
/proc/meminfo: memFree=27577744/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=3172464 CPUtime=1722.32 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 825834 0 0 0 172095 137 0 0 25 0 1 0 969499625 3248603136 776521 33554432000 4194304 8979876 140737016149360 18446744073709551615 7155466 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19906/statm: 793116 776521 1058 1169 0 791943 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3172464
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20002
/proc/meminfo: memFree=27381404/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=3172464 CPUtime=1782.33 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 825834 0 0 0 178092 141 0 0 25 0 1 0 969499625 3248603136 776521 33554432000 4194304 8979876 140737016149360 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19906/statm: 793116 776521 1058 1169 0 791943 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3172464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20002
/proc/meminfo: memFree=27342324/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=3172464 CPUtime=1800.03 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4202496 825834 0 0 0 179859 144 0 0 25 0 1 0 969499625 3248603136 776521 33554432000 4194304 8979876 140737016149360 18446744073709551615 7143917 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19906/statm: 793116 776521 1058 1169 0 791943 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3172464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20002
/proc/meminfo: memFree=27342324/32950940 swapFree=67074964/67111528
[pid=19906] ppid=19904 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/19906/stat : 19906 (scip-2.0.1.4_2.) R 19904 19906 18592 0 -1 4203524 825834 0 0 0 179859 154 0 0 25 0 1 0 969499625 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19906/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.15
CPU user time (s): 1798.59
CPU system time (s): 1.55876
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3201244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.55876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 825834
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= 5
involuntary context switches= 2185
runsolver used 2.43163 second user time and 6.02408 second system time
The end