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-3453473-1307118728.opb>
1.49/1.57 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234431 constraints
1.49/1.57 c problem read
1.49/1.57 c presolving settings loaded
2.39/2.40 c presolving:
8.49/8.51 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
10.79/10.87 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
11.59/11.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
12.00/12.03 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
12.19/12.23 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
12.29/12.34 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
12.39/12.41 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
12.39/12.47 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
13.21/13.23 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
14.39/14.44 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
659.91/660.01 c (660.0s) probing: 1000/58733 (1.7%) - 0 fixings, 0 aggregations, 11084918 implications, 0 bound changes
1119.22/1119.26 c (1119.3s) probing: 2000/58733 (3.4%) - 0 fixings, 0 aggregations, 16663939 implications, 0 bound changes
1119.52/1119.59 c (1119.6s) probing: 2001/58733 (3.4%) - 0 fixings, 0 aggregations, 16666835 implications, 0 bound changes
1119.52/1119.59 c (1119.6s) probing aborted: 2000/2000 successive useless probings
1119.52/1119.59 c presolving (11 rounds):
1119.52/1119.59 c 14109 deleted vars, 49199 deleted constraints, 58 added constraints, 10804 tightened bounds, 0 added holes, 124 changed sides, 323 changed coefficients
1119.52/1119.59 c 72101219 implications, 0 cliques
1119.52/1119.59 c presolved problem has 58733 variables (58733 bin, 0 int, 0 impl, 0 cont) and 185290 constraints
1119.52/1119.59 c 1112 constraints of type <knapsack>
1119.52/1119.59 c 155113 constraints of type <setppc>
1119.52/1119.59 c 29065 constraints of type <logicor>
1119.52/1119.59 c transformed objective value is always integral (scale: 1)
1119.52/1119.59 c Presolving Time: 1117.79
1119.52/1119.59 c - non default parameters ----------------------------------------------------------------------
1119.52/1119.59 c # SCIP version 2.0.1.4
1119.52/1119.59 c
1119.52/1119.59 c # frequency for displaying node information lines
1119.52/1119.59 c # [type: int, range: [-1,2147483647], default: 100]
1119.52/1119.59 c display/freq = 10000
1119.52/1119.59 c
1119.52/1119.59 c # maximal time in seconds to run
1119.52/1119.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1119.52/1119.59 c limits/time = 1800
1119.52/1119.59 c
1119.52/1119.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1119.52/1119.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1119.52/1119.59 c limits/memory = 13950
1119.52/1119.59 c
1119.52/1119.59 c # default clock type (1: CPU user seconds, 2: wall clock time)
1119.52/1119.59 c # [type: int, range: [1,2], default: 1]
1119.52/1119.59 c timing/clocktype = 2
1119.52/1119.59 c
1119.52/1119.59 c # belongs reading time to solving time?
1119.52/1119.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1119.52/1119.59 c timing/reading = TRUE
1119.52/1119.59 c
1119.52/1119.59 c # should presolving try to simplify inequalities
1119.52/1119.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1119.52/1119.59 c constraints/linear/simplifyinequalities = TRUE
1119.52/1119.59 c
1119.52/1119.59 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1119.52/1119.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1119.52/1119.59 c constraints/indicator/addCouplingCons = TRUE
1119.52/1119.59 c
1119.52/1119.59 c # should presolving try to simplify knapsacks
1119.52/1119.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1119.52/1119.59 c constraints/knapsack/simplifyinequalities = TRUE
1119.52/1119.59 c
1119.52/1119.59 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1119.52/1119.59 c # [type: int, range: [-1,2147483647], default: -1]
1119.52/1119.59 c separating/rapidlearning/freq = 0
1119.52/1119.59 c
1119.52/1119.59 c -----------------------------------------------------------------------------------------------
1119.52/1119.59 c start solving
1119.62/1119.63 c
1361.74/1361.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.74/1361.75 c 1362s| 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.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-3453473-1307118728/watcher-3453473-1307118728 -o /tmp/evaluation-result-3453473-1307118728/solver-3453473-1307118728 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453473-1307118728.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: 2.00 2.02 2.00 2/483 14261
/proc/meminfo: memFree=24385628/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=10792 CPUtime=0 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 1701 0 0 0 0 0 0 0 25 0 1 0 902103547 11051008 1654 33554432000 4194304 9128323 140736402133664 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14261/statm: 2698 1654 400 1205 0 1489 0
[startup+0.0441201 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 14261
/proc/meminfo: memFree=24385628/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=17452 CPUtime=0.03 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 3379 0 0 0 3 0 0 0 25 0 1 0 902103547 17870848 3331 33554432000 4194304 9128323 140736402133664 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14261/statm: 4363 3331 400 1205 0 3154 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17452
[startup+0.101115 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 14261
/proc/meminfo: memFree=24385628/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=27512 CPUtime=0.09 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 5889 0 0 0 9 0 0 0 25 0 1 0 902103547 28172288 5840 33554432000 4194304 9128323 140736402133664 18446744073709551615 7961707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14261/statm: 6878 5840 400 1205 0 5669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27512
[startup+0.301079 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 14261
/proc/meminfo: memFree=24385628/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=50216 CPUtime=0.29 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 11589 0 0 0 28 1 0 0 25 0 1 0 902103547 51421184 11508 33554432000 4194304 9128323 140736402133664 18446744073709551615 7961535 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14261/statm: 12554 11508 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700887 s]
/proc/loadavg: 2.00 2.02 2.00 2/483 14261
/proc/meminfo: memFree=24385628/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=69412 CPUtime=0.69 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 16373 0 0 0 67 2 0 0 25 0 1 0 902103547 71077888 16284 33554432000 4194304 9128323 140736402133664 18446744073709551615 7448087 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14261/statm: 17353 16284 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412
[startup+1.50079 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 14262
/proc/meminfo: memFree=24299724/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=130564 CPUtime=1.49 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 31611 0 0 0 146 3 0 0 25 0 1 0 902103547 133697536 31507 33554432000 4194304 9128323 140736402133664 18446744073709551615 7998126 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14261/statm: 32641 31507 400 1205 0 31432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130564
[startup+3.10045 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 14262
/proc/meminfo: memFree=24036224/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=477952 CPUtime=3.09 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 126707 0 0 0 296 13 0 0 25 0 1 0 902103547 489422848 116176 33554432000 4194304 9128323 140736402133664 18446744073709551615 6589143 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 119488 116176 501 1205 0 118279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 477952
[startup+6.30091 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 14262
/proc/meminfo: memFree=23695928/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=769876 CPUtime=6.29 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 198096 0 0 0 609 20 0 0 25 0 1 0 902103547 788353024 187565 33554432000 4194304 9128323 140736402133664 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 192469 187565 510 1205 0 191260 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 769876
[startup+12.7008 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 14262
/proc/meminfo: memFree=23523348/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=900232 CPUtime=12.69 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 237765 0 0 0 1244 25 0 0 25 0 1 0 902103547 921837568 218903 33554432000 4194304 9128323 140736402133664 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 225058 218941 533 1205 0 223849 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 900232
[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 14263
/proc/meminfo: memFree=23350728/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=1063012 CPUtime=25.49 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 287354 0 0 0 2518 31 0 0 25 0 1 0 902103547 1088524288 258368 33554432000 4194304 9128323 140736402133664 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 265753 258368 574 1205 0 264544 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1063012
[startup+51.1008 s]
/proc/loadavg: 2.07 2.03 2.00 3/484 14263
/proc/meminfo: memFree=23304328/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=1111956 CPUtime=51.09 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 299128 0 0 0 5077 32 0 0 25 0 1 0 902103547 1138642944 270043 33554432000 4194304 9128323 140736402133664 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 277989 270043 574 1205 0 276780 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1111956
[startup+102.318 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 14265
/proc/meminfo: memFree=23186164/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=1228572 CPUtime=102.31 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 328302 0 0 0 10196 35 0 0 25 0 1 0 902103547 1258057728 299217 33554432000 4194304 9128323 140736402133664 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 307143 299217 574 1205 0 305934 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1228572
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 14266
/proc/meminfo: memFree=22996412/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=1424164 CPUtime=162.3 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 375686 0 0 0 16189 41 0 0 25 0 1 0 902103547 1458343936 346601 33554432000 4194304 9128323 140736402133664 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 356041 346601 574 1205 0 354832 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1424164
[startup+222.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/484 14268
/proc/meminfo: memFree=22907464/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=1513644 CPUtime=222.3 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 398510 0 0 0 22186 44 0 0 25 0 1 0 902103547 1549971456 368765 33554432000 4194304 9128323 140736402133664 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 378411 368765 574 1205 0 377202 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1513644
[startup+282.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/484 14269
/proc/meminfo: memFree=22740268/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=1682764 CPUtime=282.3 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 440459 0 0 0 28181 49 0 0 25 0 1 0 902103547 1723150336 410714 33554432000 4194304 9128323 140736402133664 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 420691 410714 574 1205 0 419482 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1682764
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 14271
/proc/meminfo: memFree=22513928/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=1908716 CPUtime=342.3 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 497005 0 0 0 34175 55 0 0 25 0 1 0 902103547 1954525184 466996 33554432000 4194304 9128323 140736402133664 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 477179 466996 574 1205 0 475970 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1908716
[startup+402.3 s]
/proc/loadavg: 1.41 1.86 1.94 2/478 14294
/proc/meminfo: memFree=22898140/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=2025252 CPUtime=402.3 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 525997 0 0 0 40172 58 0 0 25 0 1 0 902103547 2073858048 495988 33554432000 4194304 9128323 140736402133664 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 506313 495988 574 1205 0 505104 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2025252
[startup+462.3 s]
/proc/loadavg: 1.15 1.70 1.88 2/478 14296
/proc/meminfo: memFree=22783796/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=2141832 CPUtime=462.3 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 554746 0 0 0 46168 62 0 0 25 0 1 0 902103547 2193235968 524737 33554432000 4194304 9128323 140736402133664 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 535458 524737 574 1205 0 534249 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2141832
[startup+522.3 s]
/proc/loadavg: 1.05 1.57 1.82 2/478 14298
/proc/meminfo: memFree=22710360/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=2214808 CPUtime=522.31 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 573159 0 0 0 52166 65 0 0 25 0 1 0 902103547 2267963392 543150 33554432000 4194304 9128323 140736402133664 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 553702 543150 574 1205 0 552493 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2214808
[startup+582.301 s]
/proc/loadavg: 1.11 1.50 1.78 2/478 14300
/proc/meminfo: memFree=22627232/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=2296412 CPUtime=582.3 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 593667 0 0 0 58163 67 0 0 25 0 1 0 902103547 2351525888 563658 33554432000 4194304 9128323 140736402133664 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 574103 563658 574 1205 0 572894 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2296412
[startup+642.301 s]
################
# More data... #
################
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 709157 0 0 0 106150 81 0 0 25 0 1 0 902103547 2823417856 679148 33554432000 4194304 9128323 140736402133664 18446744073709551615 5131624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 689311 679148 578 1205 0 688102 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2757244
[startup+1122.3 s]
/proc/loadavg: 1.12 1.11 1.43 2/478 14314
/proc/meminfo: memFree=21935960/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3012120 CPUtime=1122.32 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 767492 0 0 0 112144 88 0 0 25 0 1 0 902103547 3084410880 736140 33554432000 4194304 9128323 140736402133664 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 753030 736140 653 1205 0 751821 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3012120
[startup+1182.3 s]
/proc/loadavg: 1.04 1.09 1.40 2/478 14315
/proc/meminfo: memFree=21800608/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3144540 CPUtime=1182.32 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 803453 0 0 0 118135 97 0 0 25 0 1 0 902103547 3220008960 770455 33554432000 4194304 9128323 140736402133664 18446744073709551615 7315934 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 786135 770455 819 1205 0 784926 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3144540
[startup+1242.3 s]
/proc/loadavg: 1.01 1.07 1.37 2/478 14317
/proc/meminfo: memFree=21771192/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3174372 CPUtime=1242.32 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 810897 0 0 0 124131 101 0 0 25 0 1 0 902103547 3250556928 777584 33554432000 4194304 9128323 140736402133664 18446744073709551615 7316064 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 793593 777584 1039 1205 0 792384 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3174372
[startup+1302.3 s]
/proc/loadavg: 1.00 1.05 1.35 2/478 14319
/proc/meminfo: memFree=21767684/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3174372 CPUtime=1302.33 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 811607 0 0 0 130129 104 0 0 25 0 1 0 902103547 3250556928 778028 33554432000 4194304 9128323 140736402133664 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 793593 778028 773 1205 0 792384 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3174372
[startup+1362.3 s]
/proc/loadavg: 1.00 1.04 1.32 2/478 14320
/proc/meminfo: memFree=21790452/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3172532 CPUtime=1362.32 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 823813 0 0 0 136125 107 0 0 25 0 1 0 902103547 3248672768 775647 33554432000 4194304 9128323 140736402133664 18446744073709551615 7349708 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 793133 775650 2223 1205 0 791924 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3172532
[startup+1422.32 s]
/proc/loadavg: 1.00 1.03 1.30 2/478 14322
/proc/meminfo: memFree=21775648/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3172532 CPUtime=1422.35 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 825870 0 0 0 142124 111 0 0 25 0 1 0 902103547 3248672768 776501 33554432000 4194304 9128323 140736402133664 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 793133 776501 1020 1205 0 791924 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3172532
[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/478 14324
/proc/meminfo: memFree=21775592/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3172532 CPUtime=1482.34 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 825880 0 0 0 148119 115 0 0 25 0 1 0 902103547 3248672768 776505 33554432000 4194304 9128323 140736402133664 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 793133 776505 1014 1205 0 791924 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3172532
[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/478 14325
/proc/meminfo: memFree=21775652/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3172532 CPUtime=1542.33 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 825880 0 0 0 154116 117 0 0 25 0 1 0 902103547 3248672768 776505 33554432000 4194304 9128323 140736402133664 18446744073709551615 7312933 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 793133 776505 1014 1205 0 791924 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3172532
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/478 14327
/proc/meminfo: memFree=21775480/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3172532 CPUtime=1602.33 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 825880 0 0 0 160111 122 0 0 25 0 1 0 902103547 3248672768 776505 33554432000 4194304 9128323 140736402133664 18446744073709551615 7328439 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 793133 776505 1014 1205 0 791924 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3172532
[startup+1662.3 s]
/proc/loadavg: 1.07 1.04 1.23 2/478 14328
/proc/meminfo: memFree=21807676/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3141196 CPUtime=1662.33 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 828195 0 0 0 166108 125 0 0 25 0 1 0 902103547 3216584704 768382 33554432000 4194304 9128323 140736402133664 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 785299 768382 892 1205 0 784090 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3141196
[startup+1722.3 s]
/proc/loadavg: 1.06 1.04 1.22 2/478 14330
/proc/meminfo: memFree=21807632/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3141196 CPUtime=1722.33 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 828201 0 0 0 172108 125 0 0 25 0 1 0 902103547 3216584704 768388 33554432000 4194304 9128323 140736402133664 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 785299 768388 892 1205 0 784090 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3141196
[startup+1782.3 s]
/proc/loadavg: 1.02 1.03 1.20 2/478 14341
/proc/meminfo: memFree=21806312/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3141196 CPUtime=1782.34 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 828249 0 0 0 178108 126 0 0 25 0 1 0 902103547 3216584704 768436 33554432000 4194304 9128323 140736402133664 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 785299 768436 892 1205 0 784090 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3141196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.01 1.03 1.20 2/478 14341
/proc/meminfo: memFree=21806176/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3141196 CPUtime=1800.05 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 828273 0 0 0 179879 126 0 0 25 0 1 0 902103547 3216584704 768460 33554432000 4194304 9128323 140736402133664 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 785299 768460 892 1205 0 784090 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3141196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14261
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 1.03 1.20 2/479 14342
/proc/meminfo: memFree=21800836/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3141196 CPUtime=1801.44 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 829729 0 0 0 180018 126 0 0 25 0 1 0 902103547 3216584704 769916 33554432000 4194304 9128323 140736402133664 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 785299 769916 892 1205 0 784090 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3141196
[startup+1801.82 s]
/proc/loadavg: 1.01 1.03 1.20 2/479 14342
/proc/meminfo: memFree=21800092/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3141196 CPUtime=1801.86 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 829797 0 0 0 180060 126 0 0 25 0 1 0 902103547 3216584704 769984 33554432000 4194304 9128323 140736402133664 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 785299 769984 892 1205 0 784090 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3141196
[startup+1802 s]
/proc/loadavg: 1.01 1.03 1.20 2/479 14342
/proc/meminfo: memFree=21800092/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=3141196 CPUtime=1802.04 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4202496 829828 0 0 0 180078 126 0 0 25 0 1 0 902103547 3216584704 770015 33554432000 4194304 9128323 140736402133664 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14261/statm: 785299 770015 892 1205 0 784090 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3141196
[startup+1802.1 s]
/proc/loadavg: 1.01 1.03 1.20 2/479 14342
/proc/meminfo: memFree=21800092/32950928 swapFree=61542356/67111528
[pid=14261] ppid=14259 vsize=0 CPUtime=1802.14 cores=0,2,4,6
/proc/14261/stat : 14261 (scip-2.0.1.4.li) R 14259 14261 12040 0 -1 4203524 829830 0 0 0 180080 134 0 0 25 0 1 0 902103547 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/14261/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.13
CPU time (s): 1802.18
CPU user time (s): 1800.8
CPU system time (s): 1.38079
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3201316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.8
system time used= 1.38079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 829830
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= 2461
runsolver used 8.87265 second user time and 19.468 second system time
The end