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-3450814-1307100403.opb>
0.99/1.01 c original problem has 40363 variables (40363 bin, 0 int, 0 impl, 0 cont) and 154319 constraints
0.99/1.01 c problem read
0.99/1.01 c presolving settings loaded
1.21/1.29 c presolving:
1.99/2.00 c (round 1) 1894 del vars, 3739 del conss, 0 add conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 0 upgd conss, 1420138 impls, 0 clqs
1.99/2.03 c (round 2) 1894 del vars, 3805 del conss, 0 add conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 0 upgd conss, 1420138 impls, 0 clqs
7.69/7.75 c (round 3) 1894 del vars, 3805 del conss, 0 add conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 150514 upgd conss, 1420138 impls, 0 clqs
16.37/16.45 c (16.4s) probing: 405/38469 (1.1%) - 0 fixings, 2 aggregations, 28291 implications, 0 bound changes
16.37/16.45 c (16.4s) probing aborted: 100/100 successive totally useless probings
16.37/16.45 c presolving (4 rounds):
16.37/16.45 c 1896 deleted vars, 3805 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 22 changed sides, 22 changed coefficients
16.37/16.45 c 1474342 implications, 0 cliques
16.37/16.45 c presolved problem has 38467 variables (38467 bin, 0 int, 0 impl, 0 cont) and 150514 constraints
16.37/16.45 c 1 constraints of type <knapsack>
16.37/16.45 c 113986 constraints of type <setppc>
16.37/16.45 c 36527 constraints of type <logicor>
16.37/16.45 c transformed objective value is always integral (scale: 1)
16.37/16.45 c Presolving Time: 15.24
16.37/16.45 c - non default parameters ----------------------------------------------------------------------
16.37/16.45 c # SCIP version 2.0.1.5
16.37/16.45 c
16.37/16.45 c # frequency for displaying node information lines
16.37/16.45 c # [type: int, range: [-1,2147483647], default: 100]
16.37/16.45 c display/freq = 10000
16.37/16.45 c
16.37/16.45 c # maximal time in seconds to run
16.37/16.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.37/16.45 c limits/time = 1800
16.37/16.45 c
16.37/16.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.37/16.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.37/16.45 c limits/memory = 13950
16.37/16.45 c
16.37/16.45 c # default clock type (1: CPU user seconds, 2: wall clock time)
16.37/16.45 c # [type: int, range: [1,2], default: 1]
16.37/16.45 c timing/clocktype = 2
16.37/16.45 c
16.37/16.45 c # belongs reading time to solving time?
16.37/16.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.37/16.45 c timing/reading = TRUE
16.37/16.45 c
16.37/16.45 c # should presolving try to simplify inequalities
16.37/16.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.37/16.45 c constraints/linear/simplifyinequalities = TRUE
16.37/16.45 c
16.37/16.45 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
16.37/16.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.37/16.45 c constraints/indicator/addCouplingCons = TRUE
16.37/16.45 c
16.37/16.45 c # should presolving try to simplify knapsacks
16.37/16.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.37/16.45 c constraints/knapsack/simplifyinequalities = TRUE
16.37/16.45 c
16.37/16.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
16.37/16.45 c # [type: int, range: [-1,2147483647], default: -1]
16.37/16.45 c separating/rapidlearning/freq = 0
16.37/16.45 c
16.37/16.45 c -----------------------------------------------------------------------------------------------
16.37/16.45 c start solving
16.37/16.46 c
191.58/191.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.58/191.65 c 192s| 1 | 0 | 30569 | - | 306M| 0 | 11k| 38k| 150k| 38k| 150k| 0 | 87 | 0 | 1.057251e+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-3450814-1307100403/watcher-3450814-1307100403 -o /tmp/evaluation-result-3450814-1307100403/solver-3450814-1307100403 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450814-1307100403.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: 1.94 2.01 2.00 3/495 10967
/proc/meminfo: memFree=29046956/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=15812 CPUtime=0.01 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 2961 0 0 0 1 0 0 0 25 0 1 0 821639959 16191488 2913 33554432000 4194304 9163163 140735495073424 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10967/statm: 3953 2913 395 1214 0 2735 0
[startup+0.114268 s]
/proc/loadavg: 1.94 2.01 2.00 3/495 10967
/proc/meminfo: memFree=29046956/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=27048 CPUtime=0.1 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 5765 0 0 0 10 0 0 0 25 0 1 0 821639959 27697152 5717 33554432000 4194304 9163163 140735495073424 18446744073709551615 4337755 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10967/statm: 6762 5717 395 1214 0 5544 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27048
[startup+0.200263 s]
/proc/loadavg: 1.94 2.01 2.00 3/495 10967
/proc/meminfo: memFree=29046956/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=33956 CPUtime=0.19 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 7493 0 0 0 19 0 0 0 25 0 1 0 821639959 34770944 7445 33554432000 4194304 9163163 140735495073424 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10967/statm: 8489 7445 395 1214 0 7271 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33956
[startup+0.300237 s]
/proc/loadavg: 1.94 2.01 2.00 3/495 10967
/proc/meminfo: memFree=29046956/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=42236 CPUtime=0.29 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 9568 0 0 0 28 1 0 0 25 0 1 0 821639959 43249664 9520 33554432000 4194304 9163163 140735495073424 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10967/statm: 10559 9520 395 1214 0 9341 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42236
[startup+0.701155 s]
/proc/loadavg: 1.94 2.01 2.00 3/495 10967
/proc/meminfo: memFree=29046956/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=75016 CPUtime=0.69 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 17744 0 0 0 67 2 0 0 25 0 1 0 821639959 76816384 17696 33554432000 4194304 9163163 140735495073424 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10967/statm: 18754 17696 395 1214 0 17536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75016
[startup+1.50104 s]
/proc/loadavg: 1.94 2.01 2.00 3/496 10968
/proc/meminfo: memFree=28878792/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=252000 CPUtime=1.49 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 60847 0 0 0 141 8 0 0 25 0 1 0 821639959 258048000 60778 33554432000 4194304 9163163 140735495073424 18446744073709551615 6566537 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10967/statm: 63000 60778 515 1214 0 61782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 252000
[startup+3.10078 s]
/proc/loadavg: 1.94 2.01 2.00 3/496 10968
/proc/meminfo: memFree=28752436/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=299524 CPUtime=3.09 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 76032 0 0 0 294 15 0 0 25 0 1 0 821639959 306712576 72302 33554432000 4194304 9163163 140735495073424 18446744073709551615 4816140 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10967/statm: 74881 72302 529 1214 0 73663 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 299524
[startup+6.30024 s]
/proc/loadavg: 2.02 2.02 2.00 3/499 10992
/proc/meminfo: memFree=28731060/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=318300 CPUtime=6.28 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 80699 0 0 0 593 35 0 0 25 0 1 0 821639959 325939200 76969 33554432000 4194304 9163163 140735495073424 18446744073709551615 4337089 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/10967/statm: 79575 76969 529 1214 0 78357 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 318300
[startup+12.7012 s]
/proc/loadavg: 2.10 2.04 2.01 3/499 10992
/proc/meminfo: memFree=28673116/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=331240 CPUtime=12.67 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 90299 0 0 0 1224 43 0 0 25 0 1 0 821639959 339189760 80346 33554432000 4194304 9163163 140735495073424 18446744073709551615 4241277 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 82810 80346 607 1214 0 81592 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 331240
[startup+25.501 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 10992
/proc/meminfo: memFree=28435060/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=605680 CPUtime=25.48 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 153915 0 0 0 2496 52 0 0 25 0 1 0 821639959 620216320 139753 33554432000 4194304 9163163 140735495073424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 151420 139753 810 1214 0 150202 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 605680
[startup+51.1007 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 10994
/proc/meminfo: memFree=28341436/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=51.07 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 201073 0 0 0 5047 60 0 0 25 0 1 0 821639959 691888128 162075 33554432000 4194304 9163163 140735495073424 18446744073709551615 7347633 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 162075 715 1214 0 167700 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 675672
[startup+102.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/499 10994
/proc/meminfo: memFree=28292664/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=102.29 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 201147 0 0 0 10165 64 0 0 25 0 1 0 821639959 691888128 162149 33554432000 4194304 9163163 140735495073424 18446744073709551615 8041924 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 162149 715 1214 0 167700 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 675672
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 10996
/proc/meminfo: memFree=28291288/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=162.27 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 201160 0 0 0 16160 67 0 0 25 0 1 0 821639959 691888128 162162 33554432000 4194304 9163163 140735495073424 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 162162 715 1214 0 167700 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 675672
[startup+222.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10998
/proc/meminfo: memFree=28280984/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=222.3 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205862 0 0 0 22158 72 0 0 25 0 1 0 821639959 691888128 165049 33554432000 4194304 9163163 140735495073424 18446744073709551615 7113950 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165049 727 1214 0 167700 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 675672
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11000
/proc/meminfo: memFree=28282096/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=282.27 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205889 0 0 0 28153 74 0 0 25 0 1 0 821639959 691888128 165076 33554432000 4194304 9163163 140735495073424 18446744073709551615 7345955 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165076 727 1214 0 167700 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 675672
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11002
/proc/meminfo: memFree=28281700/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=342.28 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205893 0 0 0 34151 77 0 0 25 0 1 0 821639959 691888128 165080 33554432000 4194304 9163163 140735495073424 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165080 727 1214 0 167700 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 675672
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11002
/proc/meminfo: memFree=28282436/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=402.28 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205896 0 0 0 40150 78 0 0 25 0 1 0 821639959 691888128 165083 33554432000 4194304 9163163 140735495073424 18446744073709551615 7348657 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165083 727 1214 0 167700 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 675672
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11004
/proc/meminfo: memFree=28282180/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=462.28 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205899 0 0 0 46148 80 0 0 25 0 1 0 821639959 691888128 165086 33554432000 4194304 9163163 140735495073424 18446744073709551615 7345908 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165086 727 1214 0 167700 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 675672
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11006
/proc/meminfo: memFree=28282296/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=522.28 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205899 0 0 0 52146 82 0 0 25 0 1 0 821639959 691888128 165086 33554432000 4194304 9163163 140735495073424 18446744073709551615 7115459 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165086 727 1214 0 167700 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 675672
[startup+582.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/499 11008
/proc/meminfo: memFree=28282532/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=582.28 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205899 0 0 0 58144 84 0 0 25 0 1 0 821639959 691888128 165086 33554432000 4194304 9163163 140735495073424 18446744073709551615 7345865 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165086 727 1214 0 167700 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 675672
[startup+642.301 s]
################
# More data... #
################
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 106123 106 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7376046 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 675672
[startup+1122.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/499 11022
/proc/meminfo: memFree=28281928/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1122.29 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 112120 109 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7317913 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 675672
[startup+1182.3 s]
/proc/loadavg: 2.23 2.07 2.02 3/499 11024
/proc/meminfo: memFree=28281668/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1182.29 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 118118 111 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7345840 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 675672
[startup+1242.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/499 11026
/proc/meminfo: memFree=28280660/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1242.29 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 124116 113 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7346409 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 675672
[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/499 11026
/proc/meminfo: memFree=28279532/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1302.29 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 130114 115 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7358152 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 675672
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/499 11028
/proc/meminfo: memFree=28282008/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1362.29 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 136113 116 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7273577 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 675672
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 11030
/proc/meminfo: memFree=28282240/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1422.3 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 142112 118 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7348633 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 675672
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11032
/proc/meminfo: memFree=28281604/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1482.29 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 148109 120 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7345894 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 675672
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11034
/proc/meminfo: memFree=28282092/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1542.31 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 154109 122 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7345915 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 675672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11034
/proc/meminfo: memFree=28282076/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1602.3 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 160106 124 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7345904 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 675672
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11036
/proc/meminfo: memFree=28282188/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1662.3 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 166104 126 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 675672
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/499 11038
/proc/meminfo: memFree=28282180/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1722.3 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 172101 129 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7346105 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 675672
[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/499 11040
/proc/meminfo: memFree=28280800/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1782.3 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 178098 132 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7115509 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 675672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.19 2.06 2.01 3/499 11040
/proc/meminfo: memFree=28281172/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1800.01 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 179869 132 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7358221 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 675672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10967
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.19 2.06 2.01 3/500 11041
/proc/meminfo: memFree=28280792/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1800.71 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 179939 132 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7345894 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 675672
[startup+1801.5 s]
/proc/loadavg: 2.19 2.06 2.01 3/500 11041
/proc/meminfo: memFree=28280792/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1801.5 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 180018 132 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7358670 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 675672
[startup+1801.92 s]
/proc/loadavg: 2.19 2.06 2.01 3/500 11041
/proc/meminfo: memFree=28280792/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1801.92 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 180060 132 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7358371 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 675672
[startup+1802 s]
/proc/loadavg: 2.19 2.06 2.01 3/500 11041
/proc/meminfo: memFree=28280792/32951132 swapFree=57925096/67111528
[pid=10967] ppid=10965 vsize=675672 CPUtime=1802 cores=0,2,4,6
/proc/10967/stat : 10967 (scip-2.0.1.4b.l) R 10965 10967 10513 0 -1 4202496 205904 0 0 0 180068 132 0 0 25 0 1 0 821639959 691888128 165091 33554432000 4194304 9163163 140735495073424 18446744073709551615 7345920 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10967/statm: 168918 165091 727 1214 0 167700 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 675672
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.06
CPU user time (s): 1800.7
CPU system time (s): 1.35479
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 679880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.7
system time used= 1.35479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205904
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= 4
involuntary context switches= 5454
runsolver used 9.58854 second user time and 20.0619 second system time
The end