0.00/0.00 c SCIP version 2.0.1.5 [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-3489758-1307791885.opb>
1.39/1.42 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 255916 constraints
1.39/1.42 c problem read
1.39/1.42 c presolving settings loaded
1.89/1.91 c presolving:
10.19/10.28 c (round 1) 8127 del vars, 23522 del conss, 0 add conss, 6375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17290068 impls, 0 clqs
14.79/14.85 c (round 2) 16182 del vars, 57894 del conss, 0 add conss, 13858 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17341646 impls, 0 clqs
16.19/16.22 c (round 3) 18853 del vars, 71577 del conss, 0 add conss, 15399 chg bounds, 48 chg sides, 55 chg coeffs, 0 upgd conss, 17365601 impls, 0 clqs
16.99/17.02 c (round 4) 20148 del vars, 76913 del conss, 0 add conss, 16254 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17381144 impls, 0 clqs
17.50/17.57 c (round 5) 21146 del vars, 80908 del conss, 0 add conss, 16916 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17390344 impls, 0 clqs
17.89/17.98 c (round 6) 21860 del vars, 83815 del conss, 0 add conss, 17363 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17400212 impls, 0 clqs
18.19/18.27 c (round 7) 22378 del vars, 85927 del conss, 0 add conss, 17698 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17405504 impls, 0 clqs
18.49/18.50 c (round 8) 22743 del vars, 87445 del conss, 0 add conss, 17922 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17411616 impls, 0 clqs
18.60/18.69 c (round 9) 23069 del vars, 88717 del conss, 0 add conss, 18137 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17415466 impls, 0 clqs
18.79/18.80 c (round 10) 23223 del vars, 89466 del conss, 0 add conss, 18222 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17418274 impls, 0 clqs
18.79/18.89 c (round 11) 23311 del vars, 89860 del conss, 0 add conss, 18283 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17419824 impls, 0 clqs
18.99/19.08 c (round 12) 23374 del vars, 90147 del conss, 0 add conss, 18340 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420560 impls, 0 clqs
19.09/19.14 c (round 13) 23420 del vars, 90370 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420729 impls, 0 clqs
19.19/19.20 c (round 14) 23422 del vars, 90395 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420735 impls, 0 clqs
19.80/19.85 c (round 15) 23422 del vars, 90396 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 165520 upgd conss, 17420735 impls, 0 clqs
20.80/20.82 c (round 16) 23422 del vars, 90401 del conss, 29 add conss, 18348 chg bounds, 105 chg sides, 268 chg coeffs, 165520 upgd conss, 17420735 impls, 0 clqs
763.01/763.00 c (763.0s) probing: 1000/49420 (2.0%) - 0 fixings, 0 aggregations, 12273553 implications, 0 bound changes
1333.23/1333.26 c (1333.3s) probing: 2000/49420 (4.0%) - 0 fixings, 0 aggregations, 19434940 implications, 0 bound changes
1333.62/1333.67 c (1333.7s) probing: 2001/49420 (4.0%) - 0 fixings, 0 aggregations, 19439526 implications, 0 bound changes
1333.62/1333.67 c (1333.7s) probing aborted: 2000/2000 successive useless probings
1333.62/1333.68 c presolving (17 rounds):
1333.62/1333.68 c 23422 deleted vars, 90407 deleted constraints, 34 added constraints, 18348 tightened bounds, 0 added holes, 110 changed sides, 281 changed coefficients
1333.62/1333.68 c 97459129 implications, 0 cliques
1333.62/1333.68 c presolved problem has 49420 variables (49420 bin, 0 int, 0 impl, 0 cont) and 165543 constraints
1333.62/1333.68 c 1140 constraints of type <knapsack>
1333.62/1333.68 c 140058 constraints of type <setppc>
1333.62/1333.68 c 24345 constraints of type <logicor>
1333.62/1333.68 c transformed objective value is always integral (scale: 1)
1333.62/1333.68 c Presolving Time: 1331.90
1333.62/1333.68 c - non default parameters ----------------------------------------------------------------------
1333.62/1333.68 c # SCIP version 2.0.1.5
1333.62/1333.68 c
1333.62/1333.68 c # frequency for displaying node information lines
1333.62/1333.68 c # [type: int, range: [-1,2147483647], default: 100]
1333.62/1333.68 c display/freq = 10000
1333.62/1333.68 c
1333.62/1333.68 c # maximal time in seconds to run
1333.62/1333.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1333.62/1333.68 c limits/time = 1797
1333.62/1333.68 c
1333.62/1333.68 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1333.62/1333.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1333.62/1333.68 c limits/memory = 13950
1333.62/1333.68 c
1333.62/1333.68 c # default clock type (1: CPU user seconds, 2: wall clock time)
1333.62/1333.68 c # [type: int, range: [1,2], default: 1]
1333.62/1333.68 c timing/clocktype = 2
1333.62/1333.68 c
1333.62/1333.68 c # belongs reading time to solving time?
1333.62/1333.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1333.62/1333.68 c timing/reading = TRUE
1333.62/1333.68 c
1333.62/1333.68 c # should presolving try to simplify inequalities
1333.62/1333.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1333.62/1333.68 c constraints/linear/simplifyinequalities = TRUE
1333.62/1333.68 c
1333.62/1333.68 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1333.62/1333.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1333.62/1333.68 c constraints/indicator/addCouplingCons = TRUE
1333.62/1333.68 c
1333.62/1333.68 c # should presolving try to simplify knapsacks
1333.62/1333.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1333.62/1333.68 c constraints/knapsack/simplifyinequalities = TRUE
1333.62/1333.68 c
1333.62/1333.68 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1333.62/1333.68 c # [type: int, range: [-1,2147483647], default: -1]
1333.62/1333.68 c separating/rapidlearning/freq = 0
1333.62/1333.68 c
1333.62/1333.68 c -----------------------------------------------------------------------------------------------
1333.62/1333.68 c start solving
1333.72/1333.71 c
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-3489758-1307791885/watcher-3489758-1307791885 -o /tmp/evaluation-result-3489758-1307791885/solver-3489758-1307791885 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489758-1307791885.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.00 1.18 1.56 5/176 7253
/proc/meminfo: memFree=31403912/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=12872 CPUtime=0 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 2224 0 0 0 0 0 0 0 20 0 1 0 871604818 13180928 2178 33554432000 4194304 9016284 140734864977712 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7253/statm: 3218 2178 360 1178 0 2036 0
[startup+0.086215 s]
/proc/loadavg: 1.00 1.18 1.56 5/176 7253
/proc/meminfo: memFree=31403912/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=29928 CPUtime=0.07 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 6349 0 0 0 7 0 0 0 20 0 1 0 871604818 30646272 6304 33554432000 4194304 9016284 140734864977712 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7253/statm: 7482 6332 360 1178 0 6300 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29928
[startup+0.10021 s]
/proc/loadavg: 1.00 1.18 1.56 5/176 7253
/proc/meminfo: memFree=31403912/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=32388 CPUtime=0.08 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 7098 0 0 0 8 0 0 0 20 0 1 0 871604818 33165312 7052 33554432000 4194304 9016284 140734864977712 18446744073709551615 7870493 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7253/statm: 8097 7052 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32388
[startup+0.300178 s]
/proc/loadavg: 1.00 1.18 1.56 5/176 7253
/proc/meminfo: memFree=31403912/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=60164 CPUtime=0.29 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 14042 0 0 0 28 1 0 0 21 0 1 0 871604818 61607936 13996 33554432000 4194304 9016284 140734864977712 18446744073709551615 7842261 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7253/statm: 15041 13996 360 1178 0 13859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60164
[startup+0.701104 s]
/proc/loadavg: 1.00 1.18 1.56 5/176 7253
/proc/meminfo: memFree=31403912/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=89036 CPUtime=0.69 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 21209 0 0 0 67 2 0 0 22 0 1 0 871604818 91172864 21163 33554432000 4194304 9016284 140734864977712 18446744073709551615 7870488 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7253/statm: 22259 21163 360 1178 0 21077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89036
[startup+1.50096 s]
/proc/loadavg: 1.00 1.18 1.56 4/178 7255
/proc/meminfo: memFree=31170700/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=234356 CPUtime=1.49 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 57406 0 0 0 144 5 0 0 25 0 1 0 871604818 239980544 57342 33554432000 4194304 9016284 140734864977712 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7253/statm: 58589 57389 406 1178 0 57407 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 234356
[startup+3.10067 s]
/proc/loadavg: 1.00 1.18 1.56 4/178 7255
/proc/meminfo: memFree=30608980/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=516536 CPUtime=3.09 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 126844 0 0 0 295 14 0 0 25 0 1 0 871604818 528932864 126779 33554432000 4194304 9016284 140734864977712 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/7253/statm: 129134 126779 485 1178 0 127952 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 516536
[startup+6.3011 s]
/proc/loadavg: 1.08 1.19 1.57 4/178 7255
/proc/meminfo: memFree=30080456/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=725856 CPUtime=6.29 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 178980 0 0 0 609 20 0 0 25 0 1 0 871604818 743276544 178915 33554432000 4194304 9016284 140734864977712 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 181464 178915 485 1178 0 180282 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725856
[startup+12.701 s]
/proc/loadavg: 1.15 1.20 1.57 4/178 7255
/proc/meminfo: memFree=29662104/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=903468 CPUtime=12.69 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 221322 0 0 0 1244 25 0 0 25 0 1 0 871604818 925151232 221000 33554432000 4194304 9016284 140734864977712 18446744073709551615 6481251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 225867 221000 496 1178 0 224685 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 903468
[startup+25.5007 s]
/proc/loadavg: 1.34 1.24 1.57 4/178 7255
/proc/meminfo: memFree=29525176/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=970088 CPUtime=25.49 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 251828 0 0 0 2521 28 0 0 25 0 1 0 871604818 993370112 236970 33554432000 4194304 9016284 140734864977712 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 242522 236970 552 1178 0 241340 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 970088
[startup+51.1011 s]
/proc/loadavg: 1.56 1.30 1.58 3/178 7256
/proc/meminfo: memFree=29458216/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=1011892 CPUtime=51.09 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 261969 0 0 0 5080 29 0 0 25 0 1 0 871604818 1036177408 247111 33554432000 4194304 9016284 140734864977712 18446744073709551615 6480220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 252973 247111 552 1178 0 251791 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1011892
[startup+102.307 s]
/proc/loadavg: 1.81 1.41 1.60 4/178 7257
/proc/meminfo: memFree=29315732/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=1089680 CPUtime=102.3 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 281280 0 0 0 10198 32 0 0 25 0 1 0 871604818 1115832320 266422 33554432000 4194304 9016284 140734864977712 18446744073709551615 5519463 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 272420 266422 552 1178 0 271238 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1089680
[startup+162.3 s]
/proc/loadavg: 1.93 1.51 1.63 4/178 7259
/proc/meminfo: memFree=29018212/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=1272148 CPUtime=162.3 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 325474 0 0 0 16193 37 0 0 25 0 1 0 871604818 1302679552 310616 33554432000 4194304 9016284 140734864977712 18446744073709551615 6480184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 318037 310616 552 1178 0 316855 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1272148
[startup+222.3 s]
/proc/loadavg: 2.09 1.63 1.66 4/178 7261
/proc/meminfo: memFree=28721324/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=1462044 CPUtime=222.3 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 372601 0 0 0 22188 42 0 0 25 0 1 0 871604818 1497133056 357743 33554432000 4194304 9016284 140734864977712 18446744073709551615 4919365 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 365511 357743 552 1178 0 364329 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1462044
[startup+282.301 s]
/proc/loadavg: 2.03 1.69 1.67 4/178 7262
/proc/meminfo: memFree=28427896/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=1667344 CPUtime=282.3 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 423857 0 0 0 28182 48 0 0 25 0 1 0 871604818 1707360256 408999 33554432000 4194304 9016284 140734864977712 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 416836 408999 552 1178 0 415654 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1667344
[startup+342.301 s]
/proc/loadavg: 2.01 1.75 1.69 4/178 7264
/proc/meminfo: memFree=28140308/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=1763592 CPUtime=342.3 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 447937 0 0 0 34179 51 0 0 25 0 1 0 871604818 1805918208 433079 33554432000 4194304 9016284 140734864977712 18446744073709551615 4351199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 440898 433079 552 1178 0 439716 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1763592
[startup+402.3 s]
/proc/loadavg: 2.00 1.79 1.71 4/178 7265
/proc/meminfo: memFree=27917072/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=1875620 CPUtime=402.3 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 475403 0 0 0 40175 55 0 0 25 0 1 0 871604818 1920634880 460545 33554432000 4194304 9016284 140734864977712 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 468905 460545 552 1178 0 467723 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1875620
[startup+462.301 s]
/proc/loadavg: 2.00 1.83 1.73 4/178 7267
/proc/meminfo: memFree=27693584/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=1993140 CPUtime=462.3 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 504743 0 0 0 46171 59 0 0 25 0 1 0 871604818 2040975360 489885 33554432000 4194304 9016284 140734864977712 18446744073709551615 6476016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 498285 489885 552 1178 0 497103 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1993140
[startup+522.301 s]
/proc/loadavg: 2.00 1.85 1.74 4/178 7269
/proc/meminfo: memFree=27439104/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=2160824 CPUtime=522.3 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 546647 0 0 0 52165 65 0 0 25 0 1 0 871604818 2212683776 531789 33554432000 4194304 9016284 140734864977712 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 540206 531789 552 1178 0 539024 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2160824
[startup+582.301 s]
/proc/loadavg: 2.00 1.88 1.75 4/178 7270
/proc/meminfo: memFree=27197896/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=2291632 CPUtime=582.31 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 578982 0 0 0 58162 69 0 0 25 0 1 0 871604818 2346631168 564124 33554432000 4194304 9016284 140734864977712 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 572908 564124 552 1178 0 571726 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2291632
[startup+642.3 s]
################
# More data... #
################
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 769838 0 0 0 106139 93 0 0 25 0 1 0 871604818 3134754816 754980 33554432000 4194304 9016284 140734864977712 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 765321 754980 557 1178 0 764139 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3061284
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/178 7285
/proc/meminfo: memFree=25541008/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3132832 CPUtime=1122.32 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 787439 0 0 0 112137 95 0 0 25 0 1 0 871604818 3208019968 772581 33554432000 4194304 9016284 140734864977712 18446744073709551615 6480172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 783208 772581 557 1178 0 782026 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3132832
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.85 4/178 7286
/proc/meminfo: memFree=25410404/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3169040 CPUtime=1182.32 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 797122 0 0 0 118136 96 0 0 25 0 1 0 871604818 3245096960 782264 33554432000 4194304 9016284 140734864977712 18446744073709551615 4919396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 792260 782264 557 1178 0 791078 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3169040
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.85 4/178 7288
/proc/meminfo: memFree=25283636/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3236136 CPUtime=1242.32 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 814090 0 0 0 124135 97 0 0 25 0 1 0 871604818 3313803264 799232 33554432000 4194304 9016284 140734864977712 18446744073709551615 6480379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 809034 799232 557 1178 0 807852 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3236136
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.86 4/178 7289
/proc/meminfo: memFree=25155272/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3315492 CPUtime=1302.33 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 833910 0 0 0 130133 100 0 0 25 0 1 0 871604818 3395063808 819052 33554432000 4194304 9016284 140734864977712 18446744073709551615 6480192 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 828873 819052 557 1178 0 827691 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3315492
[startup+1362.3 s]
/proc/loadavg: 2.08 2.00 1.88 4/178 7291
/proc/meminfo: memFree=24777896/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3661336 CPUtime=1362.33 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 918677 0 0 0 136120 113 0 0 25 0 1 0 871604818 3749208064 898506 33554432000 4194304 9016284 140734864977712 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 915334 898506 790 1178 0 914152 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3661336
[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 1.88 4/178 7293
/proc/meminfo: memFree=24700112/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3667196 CPUtime=1422.33 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 921416 0 0 0 142115 118 0 0 25 0 1 0 871604818 3755208704 901220 33554432000 4194304 9016284 140734864977712 18446744073709551615 7181661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 916799 901220 787 1178 0 915617 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3667196
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.89 4/178 7294
/proc/meminfo: memFree=24632628/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3673656 CPUtime=1482.33 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 923119 0 0 0 148110 123 0 0 25 0 1 0 871604818 3761823744 902914 33554432000 4194304 9016284 140734864977712 18446744073709551615 7156496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 918414 902914 778 1178 0 917232 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3673656
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/178 7296
/proc/meminfo: memFree=24578148/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3675252 CPUtime=1542.33 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 923880 0 0 0 154107 126 0 0 25 0 1 0 871604818 3763458048 903656 33554432000 4194304 9016284 140734864977712 18446744073709551615 7179103 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 918813 903656 825 1178 0 917631 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3675252
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.90 4/178 7297
/proc/meminfo: memFree=24508928/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3686492 CPUtime=1602.33 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 926181 0 0 0 160105 128 0 0 25 0 1 0 871604818 3774967808 905957 33554432000 4194304 9016284 140734864977712 18446744073709551615 7124278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 921623 905957 825 1178 0 920441 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3686492
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 7299
/proc/meminfo: memFree=24446016/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3687252 CPUtime=1662.34 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 926534 0 0 0 166101 133 0 0 25 0 1 0 871604818 3775746048 906310 33554432000 4194304 9016284 140734864977712 18446744073709551615 7180497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 921813 906310 825 1178 0 920631 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3687252
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/178 7301
/proc/meminfo: memFree=24413136/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3688528 CPUtime=1722.33 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 927009 0 0 0 172098 135 0 0 25 0 1 0 871604818 3777052672 906784 33554432000 4194304 9016284 140734864977712 18446744073709551615 7186194 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 922132 906784 824 1178 0 920950 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3688528
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7311
/proc/meminfo: memFree=24373320/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3693028 CPUtime=1782.34 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 929696 0 0 0 178095 139 0 0 25 0 1 0 871604818 3781660672 909378 33554432000 4194304 9016284 140734864977712 18446744073709551615 7178120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 923257 909378 820 1178 0 922075 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3693028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7350
/proc/meminfo: memFree=27440436/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3705928 CPUtime=1800.04 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 932940 0 0 0 179865 139 0 0 25 0 1 0 871604818 3794870272 912576 33554432000 4194304 9016284 140734864977712 18446744073709551615 7180382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 926482 912576 774 1178 0 925300 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3705928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7253
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 7351
/proc/meminfo: memFree=27370864/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3705928 CPUtime=1801.44 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 932940 0 0 0 180004 140 0 0 25 0 1 0 871604818 3794870272 912576 33554432000 4194304 9016284 140734864977712 18446744073709551615 6977460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 926482 912576 774 1178 0 925300 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3705928
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 7351
/proc/meminfo: memFree=27291752/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3705928 CPUtime=1801.85 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 932941 0 0 0 180045 140 0 0 25 0 1 0 871604818 3794870272 912577 33554432000 4194304 9016284 140734864977712 18446744073709551615 7181416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 926482 912577 774 1178 0 925300 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 3705928
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 7351
/proc/meminfo: memFree=27291752/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=3705928 CPUtime=1802.04 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4202496 932941 0 0 0 180064 140 0 0 25 0 1 0 871604818 3794870272 912577 33554432000 4194304 9016284 140734864977712 18446744073709551615 7152978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7253/statm: 926482 912577 774 1178 0 925300 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3705928
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 7351
/proc/meminfo: memFree=27291752/32951124 swapFree=67050916/67111528
[pid=7253] ppid=7249 vsize=0 CPUtime=1802.14 cores=1,3,5,7
/proc/7253/stat : 7253 (scip-2.0.1.4b_2) R 7249 7253 4338 0 -1 4203524 932941 0 0 0 180065 149 0 0 25 0 1 0 871604818 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/7253/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.14
CPU time (s): 1802.19
CPU user time (s): 1800.65
CPU system time (s): 1.53677
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3705928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.65
system time used= 1.53677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 932941
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= 1465
runsolver used 2.75758 second user time and 7.03393 second system time
The end