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-3451832-1307118529.opb>
1.59/1.66 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256260 constraints
1.59/1.66 c problem read
1.59/1.66 c presolving settings loaded
2.10/2.13 c presolving:
8.70/8.75 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
11.39/11.43 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
12.19/12.22 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
12.69/12.71 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
12.89/12.96 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
13.10/13.14 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
13.29/13.35 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
13.39/13.48 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
13.59/13.60 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
13.59/13.69 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
13.69/13.76 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
13.79/13.83 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
13.89/13.90 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
13.89/13.95 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
13.99/14.02 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
13.99/14.08 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
14.69/14.75 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
15.19/15.28 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
634.81/634.81 c (634.8s) probing: 1000/52051 (1.9%) - 0 fixings, 0 aggregations, 14584895 implications, 0 bound changes
1210.14/1210.16 c (1210.2s) probing: 2000/52051 (3.8%) - 0 fixings, 0 aggregations, 23276919 implications, 0 bound changes
1210.74/1210.74 c (1210.7s) probing: 2001/52051 (3.8%) - 0 fixings, 0 aggregations, 23282981 implications, 0 bound changes
1210.74/1210.74 c (1210.7s) probing aborted: 2000/2000 successive useless probings
1210.74/1210.74 c presolving (19 rounds):
1210.74/1210.74 c 20791 deleted vars, 80163 deleted constraints, 19 added constraints, 16296 tightened bounds, 0 added holes, 83 changed sides, 225 changed coefficients
1210.74/1210.74 c 102450966 implications, 0 cliques
1210.74/1210.74 c presolved problem has 52051 variables (52051 bin, 0 int, 0 impl, 0 cont) and 176116 constraints
1210.74/1210.74 c 1113 constraints of type <knapsack>
1210.74/1210.74 c 149296 constraints of type <setppc>
1210.74/1210.74 c 25707 constraints of type <logicor>
1210.74/1210.74 c transformed objective value is always integral (scale: 1)
1210.74/1210.74 c Presolving Time: 1208.75
1210.74/1210.74 c - non default parameters ----------------------------------------------------------------------
1210.74/1210.74 c # SCIP version 2.0.1.5
1210.74/1210.74 c
1210.74/1210.74 c # frequency for displaying node information lines
1210.74/1210.74 c # [type: int, range: [-1,2147483647], default: 100]
1210.74/1210.74 c display/freq = 10000
1210.74/1210.74 c
1210.74/1210.74 c # maximal time in seconds to run
1210.74/1210.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1210.74/1210.74 c limits/time = 1800
1210.74/1210.74 c
1210.74/1210.74 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1210.74/1210.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1210.74/1210.74 c limits/memory = 13950
1210.74/1210.74 c
1210.74/1210.74 c # default clock type (1: CPU user seconds, 2: wall clock time)
1210.74/1210.74 c # [type: int, range: [1,2], default: 1]
1210.74/1210.74 c timing/clocktype = 2
1210.74/1210.74 c
1210.74/1210.74 c # belongs reading time to solving time?
1210.74/1210.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1210.74/1210.74 c timing/reading = TRUE
1210.74/1210.74 c
1210.74/1210.74 c # should presolving try to simplify inequalities
1210.74/1210.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1210.74/1210.74 c constraints/linear/simplifyinequalities = TRUE
1210.74/1210.74 c
1210.74/1210.74 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1210.74/1210.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1210.74/1210.74 c constraints/indicator/addCouplingCons = TRUE
1210.74/1210.74 c
1210.74/1210.74 c # should presolving try to simplify knapsacks
1210.74/1210.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1210.74/1210.74 c constraints/knapsack/simplifyinequalities = TRUE
1210.74/1210.74 c
1210.74/1210.74 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1210.74/1210.74 c # [type: int, range: [-1,2147483647], default: -1]
1210.74/1210.74 c separating/rapidlearning/freq = 0
1210.74/1210.74 c
1210.74/1210.74 c -----------------------------------------------------------------------------------------------
1210.74/1210.74 c start solving
1210.74/1210.78 c
1627.25/1627.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.25/1627.28 c 1627s| 1 | 0 | 63812 | - |2986M| 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-3451832-1307118529/watcher-3451832-1307118529 -o /tmp/evaluation-result-3451832-1307118529/solver-3451832-1307118529 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451832-1307118529.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: 1.27 1.77 1.91 4/480 8961
/proc/meminfo: memFree=27400720/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=14528 CPUtime=0.01 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 2621 0 0 0 1 0 0 0 21 0 1 0 823452574 14876672 2575 33554432000 4194304 9163163 140735772994800 18446744073709551615 8047486 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8961/statm: 3632 2575 395 1214 0 2414 0
[startup+0.025756 s]
/proc/loadavg: 1.27 1.77 1.91 4/480 8961
/proc/meminfo: memFree=27400720/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=17108 CPUtime=0.02 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 3273 0 0 0 2 0 0 0 21 0 1 0 823452574 17518592 3227 33554432000 4194304 9163163 140735772994800 18446744073709551615 7480236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8961/statm: 4277 3227 395 1214 0 3059 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17108
[startup+0.100746 s]
/proc/loadavg: 1.27 1.77 1.91 4/480 8961
/proc/meminfo: memFree=27400720/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=30072 CPUtime=0.09 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 6518 0 0 0 9 0 0 0 21 0 1 0 823452574 30793728 6472 33554432000 4194304 9163163 140735772994800 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8961/statm: 7518 6472 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072
[startup+0.300706 s]
/proc/loadavg: 1.27 1.77 1.91 4/480 8961
/proc/meminfo: memFree=27400720/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=56888 CPUtime=0.29 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 13203 0 0 0 28 1 0 0 22 0 1 0 823452574 58253312 13157 33554432000 4194304 9163163 140735772994800 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8961/statm: 14222 13157 395 1214 0 13004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56888
[startup+0.700628 s]
/proc/loadavg: 1.27 1.77 1.91 4/480 8961
/proc/meminfo: memFree=27400720/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=80896 CPUtime=0.69 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 19181 0 0 0 67 2 0 0 24 0 1 0 823452574 82837504 19135 33554432000 4194304 9163163 140735772994800 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8961/statm: 20224 19135 395 1214 0 19006 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80896
[startup+1.50048 s]
/proc/loadavg: 1.27 1.77 1.91 3/482 8963
/proc/meminfo: memFree=27213256/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=150268 CPUtime=1.49 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 36470 0 0 0 146 3 0 0 25 0 1 0 823452574 153874432 36424 33554432000 4194304 9163163 140735772994800 18446744073709551615 4338896 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8961/statm: 37567 36424 395 1214 0 36349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150268
[startup+3.10017 s]
/proc/loadavg: 1.27 1.77 1.91 3/482 8963
/proc/meminfo: memFree=26719932/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=509440 CPUtime=3.09 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 125069 0 0 0 296 13 0 0 25 0 1 0 823452574 521666560 124995 33554432000 4194304 9163163 140735772994800 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 127360 124995 506 1214 0 126142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 509440
[startup+6.30056 s]
/proc/loadavg: 1.32 1.77 1.91 4/482 8963
/proc/meminfo: memFree=26029068/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=779612 CPUtime=6.29 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 191883 0 0 0 609 20 0 0 25 0 1 0 823452574 798322688 191809 33554432000 4194304 9163163 140735772994800 18446744073709551615 6567497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 194903 191809 506 1214 0 193685 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 779612
[startup+12.7003 s]
/proc/loadavg: 1.38 1.77 1.91 4/482 8963
/proc/meminfo: memFree=25618420/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=906100 CPUtime=12.69 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 221361 0 0 0 1245 24 0 0 25 0 1 0 823452574 927846400 221030 33554432000 4194304 9163163 140735772994800 18446744073709551615 5939137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 226525 221030 518 1214 0 225307 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 906100
[startup+25.5009 s]
/proc/loadavg: 1.51 1.79 1.91 4/482 8964
/proc/meminfo: memFree=25402500/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=1007996 CPUtime=25.49 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 261911 0 0 0 2520 29 0 0 25 0 1 0 823452574 1032187904 245713 33554432000 4194304 9163163 140735772994800 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 251999 245713 611 1214 0 250781 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1007996
[startup+51.101 s]
/proc/loadavg: 1.68 1.80 1.91 4/482 8964
/proc/meminfo: memFree=25306648/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=1061064 CPUtime=51.09 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 274917 0 0 0 5078 31 0 0 25 0 1 0 823452574 1086529536 258719 33554432000 4194304 9163163 140735772994800 18446744073709551615 6567801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 265266 258719 611 1214 0 264048 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1061064
[startup+102.318 s]
/proc/loadavg: 1.86 1.83 1.91 4/482 8966
/proc/meminfo: memFree=24996520/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=1224464 CPUtime=102.31 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 315551 0 0 0 10196 35 0 0 25 0 1 0 823452574 1253851136 299353 33554432000 4194304 9163163 140735772994800 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 306116 299353 611 1214 0 304898 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1224464
[startup+162.301 s]
/proc/loadavg: 1.95 1.86 1.91 3/482 8967
/proc/meminfo: memFree=24679308/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=1415400 CPUtime=162.3 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 362277 0 0 0 16189 41 0 0 25 0 1 0 823452574 1449369600 346079 33554432000 4194304 9163163 140735772994800 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 353850 346079 611 1214 0 352632 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1415400
[startup+222.3 s]
/proc/loadavg: 1.98 1.88 1.91 4/482 8969
/proc/meminfo: memFree=24212560/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=1656848 CPUtime=222.3 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 421939 0 0 0 22183 47 0 0 25 0 1 0 823452574 1696612352 405741 33554432000 4194304 9163163 140735772994800 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 414212 405741 611 1214 0 412994 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1656848
[startup+282.301 s]
/proc/loadavg: 1.99 1.90 1.91 4/482 8971
/proc/meminfo: memFree=23776920/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=1976520 CPUtime=282.31 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 501857 0 0 0 28174 57 0 0 25 0 1 0 823452574 2023956480 485659 33554432000 4194304 9163163 140735772994800 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 494130 485659 611 1214 0 492912 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 1976520
[startup+342.3 s]
/proc/loadavg: 1.99 1.92 1.91 3/482 8972
/proc/meminfo: memFree=23352444/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=2156728 CPUtime=342.3 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 546215 0 0 0 34168 62 0 0 25 0 1 0 823452574 2208489472 530017 33554432000 4194304 9163163 140735772994800 18446744073709551615 4794567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 539182 530017 611 1214 0 537964 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2156728
[startup+402.301 s]
/proc/loadavg: 1.99 1.93 1.91 4/482 8974
/proc/meminfo: memFree=22913936/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=2320704 CPUtime=402.31 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 586766 0 0 0 40163 68 0 0 25 0 1 0 823452574 2376400896 570568 33554432000 4194304 9163163 140735772994800 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 580176 570568 611 1214 0 578958 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 2320704
[startup+462.301 s]
/proc/loadavg: 2.11 1.98 1.93 3/482 8975
/proc/meminfo: memFree=22507072/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=2539292 CPUtime=462.31 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 640929 0 0 0 46156 75 0 0 25 0 1 0 823452574 2600235008 624731 33554432000 4194304 9163163 140735772994800 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 634823 624731 611 1214 0 633605 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2539292
[startup+522.301 s]
/proc/loadavg: 2.11 2.01 1.94 3/482 8977
/proc/meminfo: memFree=22229412/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=2685972 CPUtime=522.31 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 677109 0 0 0 52150 81 0 0 25 0 1 0 823452574 2750435328 660911 33554432000 4194304 9163163 140735772994800 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 671493 660911 611 1214 0 670275 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2685972
[startup+582.301 s]
/proc/loadavg: 2.04 2.00 1.94 3/482 8979
/proc/meminfo: memFree=21962788/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=2813164 CPUtime=582.32 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 707623 0 0 0 58147 85 0 0 25 0 1 0 823452574 2880679936 691425 33554432000 4194304 9163163 140735772994800 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 703291 691425 611 1214 0 702073 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 2813164
[startup+642.3 s]
################
# More data... #
################
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 898388 0 0 0 106119 114 0 0 25 0 1 0 823452574 3661062144 882190 33554432000 4194304 9163163 140735772994800 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 893814 882190 615 1214 0 892596 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3575256
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/482 8993
/proc/meminfo: memFree=20236832/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=3629212 CPUtime=1122.34 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 911468 0 0 0 112117 117 0 0 25 0 1 0 823452574 3716313088 895270 33554432000 4194304 9163163 140735772994800 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 907303 895270 615 1214 0 906085 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 3629212
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.96 4/482 8995
/proc/meminfo: memFree=20109952/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=3672888 CPUtime=1182.33 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 922748 0 0 0 118115 118 0 0 25 0 1 0 823452574 3761037312 906550 33554432000 4194304 9163163 140735772994800 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 918222 906550 615 1214 0 917004 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3672888
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/482 8996
/proc/meminfo: memFree=19742636/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4025428 CPUtime=1242.34 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1006533 0 0 0 124102 132 0 0 25 0 1 0 823452574 4122038272 986071 33554432000 4194304 9163163 140735772994800 18446744073709551615 7349100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1006357 986071 760 1214 0 1005139 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 4025428
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/482 8998
/proc/meminfo: memFree=19667324/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4033972 CPUtime=1302.35 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1009879 0 0 0 130096 139 0 0 25 0 1 0 823452574 4130787328 989352 33554432000 4194304 9163163 140735772994800 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1008493 989352 848 1214 0 1007275 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 4033972
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/482 8999
/proc/meminfo: memFree=19616220/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4047136 CPUtime=1362.35 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1012193 0 0 0 136089 146 0 0 25 0 1 0 823452574 4144267264 991472 33554432000 4194304 9163163 140735772994800 18446744073709551615 7349133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1011784 991472 866 1214 0 1010566 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 4047136
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.96 4/482 9001
/proc/meminfo: memFree=19537456/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4060712 CPUtime=1422.36 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1020942 0 0 0 142085 151 0 0 25 0 1 0 823452574 4158169088 999140 33554432000 4194304 9163163 140735772994800 18446744073709551615 7375696 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1015178 999140 765 1214 0 1013960 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 4060712
[startup+1482.3 s]
/proc/loadavg: 2.16 2.03 1.97 4/482 9003
/proc/meminfo: memFree=19481012/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4060712 CPUtime=1482.35 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1020989 0 0 0 148079 156 0 0 25 0 1 0 823452574 4158169088 999187 33554432000 4194304 9163163 140735772994800 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1015178 999187 765 1214 0 1013960 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 4060712
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/482 9004
/proc/meminfo: memFree=19423952/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4085248 CPUtime=1542.35 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1024548 0 0 0 154075 160 0 0 25 0 1 0 823452574 4183293952 1002738 33554432000 4194304 9163163 140735772994800 18446744073709551615 7349105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1021312 1002738 757 1214 0 1020094 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 4085248
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.97 4/482 9006
/proc/meminfo: memFree=19337228/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4098612 CPUtime=1602.36 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1030516 0 0 0 160072 164 0 0 25 0 1 0 823452574 4196978688 1008653 33554432000 4194304 9163163 140735772994800 18446744073709551615 7349272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1024653 1008653 720 1214 0 1023435 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 4098612
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/482 9007
/proc/meminfo: memFree=19329248/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4047168 CPUtime=1662.36 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1036505 0 0 0 166068 168 0 0 25 0 1 0 823452574 4144300032 997358 33554432000 4194304 9163163 140735772994800 18446744073709551615 7115994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1011792 997358 702 1214 0 1010574 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 4047168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 4/482 9009
/proc/meminfo: memFree=19280864/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4047168 CPUtime=1722.36 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1036518 0 0 0 172064 172 0 0 25 0 1 0 823452574 4144300032 997371 33554432000 4194304 9163163 140735772994800 18446744073709551615 7361383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1011792 997371 702 1214 0 1010574 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 4047168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/482 9011
/proc/meminfo: memFree=19247236/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4047168 CPUtime=1782.36 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1036518 0 0 0 178060 176 0 0 25 0 1 0 823452574 4144300032 997371 33554432000 4194304 9163163 140735772994800 18446744073709551615 7357992 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1011792 997371 702 1214 0 1010574 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 4047168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 4/482 9011
/proc/meminfo: memFree=19245980/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4047168 CPUtime=1800.07 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1036518 0 0 0 179830 177 0 0 25 0 1 0 823452574 4144300032 997371 33554432000 4194304 9163163 140735772994800 18446744073709551615 7390128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1011792 997371 702 1214 0 1010574 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 4047168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8961
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.97 2/481 9013
/proc/meminfo: memFree=23400608/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4047168 CPUtime=1801.46 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1036518 0 0 0 179969 177 0 0 25 0 1 0 823452574 4144300032 997371 33554432000 4194304 9163163 140735772994800 18446744073709551615 6955535 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1011792 997371 702 1214 0 1010574 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 4047168
[startup+1801.82 s]
/proc/loadavg: 2.00 2.00 1.97 2/481 9013
/proc/meminfo: memFree=23400608/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4047168 CPUtime=1801.88 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1036518 0 0 0 180011 177 0 0 25 0 1 0 823452574 4144300032 997371 33554432000 4194304 9163163 140735772994800 18446744073709551615 7361442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1011792 997371 702 1214 0 1010574 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 4047168
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.97 2/481 9013
/proc/meminfo: memFree=23400608/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=4047168 CPUtime=1802.06 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4202496 1036518 0 0 0 180029 177 0 0 25 0 1 0 823452574 4144300032 997371 33554432000 4194304 9163163 140735772994800 18446744073709551615 7361379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8961/statm: 1011792 997371 702 1214 0 1010574 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 4047168
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 1.97 2/481 9013
/proc/meminfo: memFree=23400608/32950928 swapFree=39617324/67111528
[pid=8961] ppid=8957 vsize=0 CPUtime=1802.17 cores=1,3,5,7
/proc/8961/stat : 8961 (scip-2.0.1.4b.l) R 8957 8961 7025 0 -1 4203524 1036518 0 0 0 180031 186 0 0 25 0 1 0 823452574 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/8961/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.18
CPU time (s): 1802.25
CPU user time (s): 1800.31
CPU system time (s): 1.9377
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 4098612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.31
system time used= 1.93771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1036518
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= 4075
runsolver used 8.77267 second user time and 21.3518 second system time
The end