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-3450813-1307100242.opb>
0.49/0.52 c original problem has 21320 variables (21320 bin, 0 int, 0 impl, 0 cont) and 79746 constraints
0.49/0.52 c problem read
0.49/0.52 c presolving settings loaded
0.59/0.66 c presolving:
0.89/0.99 c (round 1) 1339 del vars, 2653 del conss, 0 add conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
0.89/1.00 c (round 2) 1339 del vars, 2683 del conss, 0 add conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
1.19/1.23 c (round 3) 1339 del vars, 2684 del conss, 0 add conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 77062 upgd conss, 678660 impls, 0 clqs
5.51/5.55 c (5.5s) probing: 479/19981 (2.4%) - 0 fixings, 0 aggregations, 30049 implications, 0 bound changes
5.51/5.55 c (5.5s) probing aborted: 100/100 successive totally useless probings
5.51/5.55 c presolving (4 rounds):
5.51/5.55 c 1339 deleted vars, 2684 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 10 changed sides, 11 changed coefficients
5.51/5.55 c 738758 implications, 0 cliques
5.51/5.55 c presolved problem has 19981 variables (19981 bin, 0 int, 0 impl, 0 cont) and 77062 constraints
5.51/5.55 c 1 constraints of type <knapsack>
5.51/5.55 c 58477 constraints of type <setppc>
5.51/5.55 c 18584 constraints of type <logicor>
5.51/5.55 c transformed objective value is always integral (scale: 1)
5.51/5.55 c Presolving Time: 4.93
5.51/5.55 c - non default parameters ----------------------------------------------------------------------
5.51/5.55 c # SCIP version 2.0.1.5
5.51/5.55 c
5.51/5.55 c # frequency for displaying node information lines
5.51/5.55 c # [type: int, range: [-1,2147483647], default: 100]
5.51/5.55 c display/freq = 10000
5.51/5.55 c
5.51/5.55 c # maximal time in seconds to run
5.51/5.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.51/5.55 c limits/time = 1800
5.51/5.55 c
5.51/5.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.51/5.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.51/5.55 c limits/memory = 13950
5.51/5.55 c
5.51/5.55 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.51/5.55 c # [type: int, range: [1,2], default: 1]
5.51/5.55 c timing/clocktype = 2
5.51/5.55 c
5.51/5.55 c # belongs reading time to solving time?
5.51/5.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.51/5.55 c timing/reading = TRUE
5.51/5.55 c
5.51/5.55 c # should presolving try to simplify inequalities
5.51/5.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.51/5.55 c constraints/linear/simplifyinequalities = TRUE
5.51/5.55 c
5.51/5.55 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.51/5.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.51/5.55 c constraints/indicator/addCouplingCons = TRUE
5.51/5.55 c
5.51/5.55 c # should presolving try to simplify knapsacks
5.51/5.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.51/5.55 c constraints/knapsack/simplifyinequalities = TRUE
5.51/5.55 c
5.51/5.55 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.51/5.55 c # [type: int, range: [-1,2147483647], default: -1]
5.51/5.55 c separating/rapidlearning/freq = 0
5.51/5.55 c
5.51/5.55 c -----------------------------------------------------------------------------------------------
5.51/5.55 c start solving
5.51/5.56 c
60.51/60.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.51/60.53 c 60.5s| 1 | 0 | 22980 | - | 159M| 0 |6672 | 19k| 77k| 19k| 77k| 0 | 81 | 0 | 1.060954e+01 | -- | Inf
867.11/867.14 c 867s| 1 | 0 |163650 | - | 160M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 0 | 1.167633e+01 | -- | Inf
1022.03/1022.03 o 29
1022.03/1022.03 c E1022s| 1 | 0 |163650 | - | 160M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 0 | 1.167633e+01 | 2.900000e+01 | 148.37%
1022.13/1022.10 c 1022s| 1 | 0 |163650 | - | 160M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 0 | 1.167633e+01 | 2.900000e+01 | 148.37%
1135.73/1135.73 c 1136s| 1 | 2 |163650 | - | 160M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 18 | 1.167633e+01 | 2.900000e+01 | 148.37%
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-3450813-1307100242/watcher-3450813-1307100242 -o /tmp/evaluation-result-3450813-1307100242/solver-3450813-1307100242 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450813-1307100242.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.93 2.05 2.01 2/424 24265
/proc/meminfo: memFree=25828636/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=14756 CPUtime=0 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 2693 0 0 0 0 0 0 0 25 0 1 0 821622404 15110144 2646 33554432000 4194304 9163163 140733791445056 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24265/statm: 3689 2646 395 1214 0 2471 0
[startup+0.046569 s]
/proc/loadavg: 1.93 2.05 2.01 2/424 24265
/proc/meminfo: memFree=25828636/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=20948 CPUtime=0.04 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 4238 0 0 0 4 0 0 0 25 0 1 0 821622404 21450752 4191 33554432000 4194304 9163163 140733791445056 18446744073709551615 8031100 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24265/statm: 5237 4191 395 1214 0 4019 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20948
[startup+0.100565 s]
/proc/loadavg: 1.93 2.05 2.01 2/424 24265
/proc/meminfo: memFree=25828636/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=23808 CPUtime=0.09 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 4924 0 0 0 9 0 0 0 25 0 1 0 821622404 24379392 4877 33554432000 4194304 9163163 140733791445056 18446744073709551615 6137846 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24265/statm: 5952 4877 395 1214 0 4734 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23808
[startup+0.300519 s]
/proc/loadavg: 1.93 2.05 2.01 2/424 24265
/proc/meminfo: memFree=25828636/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=41396 CPUtime=0.29 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 9335 0 0 0 29 0 0 0 25 0 1 0 821622404 42389504 9288 33554432000 4194304 9163163 140733791445056 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24265/statm: 10349 9288 395 1214 0 9131 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41396
[startup+0.700445 s]
/proc/loadavg: 1.93 2.05 2.01 2/424 24265
/proc/meminfo: memFree=25828636/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=135668 CPUtime=0.69 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 32101 0 0 0 66 3 0 0 25 0 1 0 821622404 138924032 32052 33554432000 4194304 9163163 140733791445056 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 33917 32052 515 1214 0 32699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135668
[startup+1.5003 s]
/proc/loadavg: 1.94 2.05 2.01 3/425 24266
/proc/meminfo: memFree=25671768/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=181432 CPUtime=1.49 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 48667 0 0 0 144 5 0 0 25 0 1 0 821622404 185786368 43573 33554432000 4194304 9163163 140733791445056 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 45358 43573 569 1214 0 44140 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 181432
[startup+3.10101 s]
/proc/loadavg: 1.94 2.05 2.01 3/425 24266
/proc/meminfo: memFree=25651484/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=181432 CPUtime=3.09 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 48673 0 0 0 304 5 0 0 25 0 1 0 821622404 185786368 43578 33554432000 4194304 9163163 140733791445056 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 45358 43578 568 1214 0 44140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181432
[startup+6.30042 s]
/proc/loadavg: 1.94 2.05 2.01 3/425 24266
/proc/meminfo: memFree=25647028/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=262940 CPUtime=6.29 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 69475 0 0 0 622 7 0 0 25 0 1 0 821622404 269250560 62667 33554432000 4194304 9163163 140733791445056 18446744073709551615 6501023 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 65735 62667 642 1214 0 64517 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 262940
[startup+12.7003 s]
/proc/loadavg: 1.95 2.05 2.01 3/425 24266
/proc/meminfo: memFree=25492812/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=346984 CPUtime=12.69 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 92058 0 0 0 1257 12 0 0 25 0 1 0 821622404 355311616 82021 33554432000 4194304 9163163 140733791445056 18446744073709551615 7345670 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 86746 82021 685 1214 0 85528 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 346984
[startup+25.5009 s]
/proc/loadavg: 1.95 2.04 2.01 3/425 24266
/proc/meminfo: memFree=25487948/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=351732 CPUtime=25.49 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 93289 0 0 0 2535 14 0 0 25 0 1 0 821622404 360173568 83252 33554432000 4194304 9163163 140733791445056 18446744073709551615 7348226 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 87933 83252 689 1214 0 86715 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 351732
[startup+51.1003 s]
/proc/loadavg: 1.97 2.04 2.01 3/425 24267
/proc/meminfo: memFree=25486108/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=352352 CPUtime=51.09 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 93818 0 0 0 5092 17 0 0 25 0 1 0 821622404 360808448 83781 33554432000 4194304 9163163 140733791445056 18446744073709551615 7349100 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 88088 83781 689 1214 0 86870 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 352352
[startup+102.316 s]
/proc/loadavg: 1.99 2.03 2.00 3/425 24268
/proc/meminfo: memFree=25497756/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=335736 CPUtime=102.31 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 97823 0 0 0 10207 24 0 0 25 0 1 0 821622404 343793664 80332 33554432000 4194304 9163163 140733791445056 18446744073709551615 7358204 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 83934 80332 969 1214 0 82716 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 335736
[startup+162.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/425 24270
/proc/meminfo: memFree=25497212/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=335736 CPUtime=162.3 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 97988 0 0 0 16202 28 0 0 25 0 1 0 821622404 343793664 80333 33554432000 4194304 9163163 140733791445056 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 83934 80333 805 1214 0 82716 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 335736
[startup+222.301 s]
/proc/loadavg: 1.99 2.02 2.00 3/425 24272
/proc/meminfo: memFree=25464300/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=335736 CPUtime=222.3 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 97988 0 0 0 22197 33 0 0 25 0 1 0 821622404 343793664 80333 33554432000 4194304 9163163 140733791445056 18446744073709551615 7358192 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 83934 80333 805 1214 0 82716 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 335736
[startup+282.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/425 24273
/proc/meminfo: memFree=25465264/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=335736 CPUtime=282.3 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 97988 0 0 0 28194 36 0 0 25 0 1 0 821622404 343793664 80333 33554432000 4194304 9163163 140733791445056 18446744073709551615 7358215 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 83934 80333 805 1214 0 82716 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 335736
[startup+342.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/425 24275
/proc/meminfo: memFree=25465736/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=335736 CPUtime=342.31 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 97988 0 0 0 34189 42 0 0 25 0 1 0 821622404 343793664 80333 33554432000 4194304 9163163 140733791445056 18446744073709551615 7317913 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 83934 80333 805 1214 0 82716 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 335736
[startup+402.3 s]
/proc/loadavg: 2.21 2.06 2.02 3/425 24276
/proc/meminfo: memFree=25465968/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=335736 CPUtime=402.3 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 97988 0 0 0 40185 45 0 0 25 0 1 0 821622404 343793664 80333 33554432000 4194304 9163163 140733791445056 18446744073709551615 7276016 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 83934 80333 805 1214 0 82716 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 335736
[startup+462.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 24278
/proc/meminfo: memFree=25465956/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=335736 CPUtime=462.31 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 98048 0 0 0 46176 55 0 0 25 0 1 0 821622404 343793664 80393 33554432000 4194304 9163163 140733791445056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 83934 80393 805 1214 0 82716 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 335736
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/425 24280
/proc/meminfo: memFree=25466172/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=335736 CPUtime=522.3 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 98048 0 0 0 52171 59 0 0 25 0 1 0 821622404 343793664 80393 33554432000 4194304 9163163 140733791445056 18446744073709551615 7345862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 83934 80393 805 1214 0 82716 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 335736
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24281
/proc/meminfo: memFree=25465648/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=335736 CPUtime=582.3 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 98048 0 0 0 58166 64 0 0 25 0 1 0 821622404 343793664 80393 33554432000 4194304 9163163 140733791445056 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 83934 80393 805 1214 0 82716 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 335736
[startup+642.301 s]
################
# More data... #
################
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 137224 0 0 0 100022 211 0 0 25 0 1 0 821622404 496680960 119038 33554432000 4194304 9163163 140733791445056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 121260 119038 761 1214 0 120042 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 485040
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 24294
/proc/meminfo: memFree=25361136/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1062.32 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138068 0 0 0 105992 240 0 0 25 0 1 0 821622404 442359808 106444 33554432000 4194304 9163163 140733791445056 18446744073709551615 6676847 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106444 773 1214 0 106780 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 431992
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/425 24296
/proc/meminfo: memFree=25360992/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1122.32 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 111982 250 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7225482 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 431992
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 24297
/proc/meminfo: memFree=25360704/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1182.33 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 117974 259 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7312177 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 431992
[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/425 24299
/proc/meminfo: memFree=25360196/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1242.33 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 123967 266 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7345648 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 431992
[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/425 24300
/proc/meminfo: memFree=25359068/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1302.35 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 129961 274 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7224027 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 431992
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/425 24302
/proc/meminfo: memFree=25360280/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1362.33 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 135949 284 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7375420 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 431992
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24304
/proc/meminfo: memFree=25360392/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1422.35 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 141941 294 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7359608 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 431992
[startup+1482.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/425 24305
/proc/meminfo: memFree=25360116/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1482.34 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 147931 303 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7345656 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 431992
[startup+1542.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/425 24307
/proc/meminfo: memFree=25361468/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1542.34 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 153922 312 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7345752 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 431992
[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/425 24308
/proc/meminfo: memFree=25361680/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1602.34 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 159913 321 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 431992
[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/425 24310
/proc/meminfo: memFree=25361536/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1662.34 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 165904 330 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7225140 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 431992
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/425 24312
/proc/meminfo: memFree=25361248/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1722.34 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 171895 339 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7225490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 431992
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24313
/proc/meminfo: memFree=25360096/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1782.34 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 177887 347 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 431992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/420 24330
/proc/meminfo: memFree=25538616/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1800.05 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 179656 349 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 431992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -24265
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.03 2.00 3/426 24370
/proc/meminfo: memFree=25473680/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1801.44 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 179795 349 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7110322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 431992
[startup+1801.82 s]
/proc/loadavg: 2.00 2.03 2.00 3/426 24370
/proc/meminfo: memFree=25323764/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1801.87 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 179837 350 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 431992
[startup+1802 s]
/proc/loadavg: 2.00 2.03 2.00 3/426 24370
/proc/meminfo: memFree=25323764/32951124 swapFree=44043512/67111528
[pid=24265] ppid=24263 vsize=431992 CPUtime=1802.05 cores=1,3,5,7
/proc/24265/stat : 24265 (scip-2.0.1.4b.l) R 24263 24265 23890 0 -1 4202496 138070 0 0 0 179855 350 0 0 25 0 1 0 821622404 442359808 106446 33554432000 4194304 9163163 140733791445056 18446744073709551615 7224027 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24265/statm: 107998 106446 775 1214 0 106780 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 431992
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.09
CPU user time (s): 1798.57
CPU system time (s): 3.51847
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 488404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 3.51846
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138070
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= 2567
runsolver used 7.10792 second user time and 17.4903 second system time
The end