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-3488730-1307776857.opb>
0.19/0.29 c original problem has 14352 variables (14352 bin, 0 int, 0 impl, 0 cont) and 53247 constraints
0.19/0.29 c problem read
0.19/0.29 c presolving settings loaded
0.28/0.39 c presolving:
0.59/0.61 c (round 1) 972 del vars, 1925 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 0 upgd conss, 435372 impls, 0 clqs
0.59/0.62 c (round 2) 972 del vars, 1946 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 0 upgd conss, 435372 impls, 0 clqs
0.69/0.77 c (round 3) 972 del vars, 1948 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 435372 impls, 0 clqs
4.29/4.40 c (4.4s) probing: 778/13380 (5.8%) - 0 fixings, 2 aggregations, 23380 implications, 0 bound changes
4.29/4.40 c (4.4s) probing aborted: 100/100 successive totally useless probings
4.29/4.40 c (round 4) 974 del vars, 1948 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 480848 impls, 0 clqs
4.39/4.44 c (round 5) 974 del vars, 1954 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 480848 impls, 0 clqs
5.29/5.34 c (5.3s) probing: 1000/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
5.29/5.36 c (5.4s) probing: 1005/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
5.29/5.36 c (5.4s) probing aborted: 100/100 successive totally useless probings
5.29/5.36 c presolving (6 rounds):
5.29/5.36 c 974 deleted vars, 1954 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 7 changed sides, 9 changed coefficients
5.29/5.36 c 489082 implications, 0 cliques
5.29/5.36 c presolved problem has 13378 variables (13378 bin, 0 int, 0 impl, 0 cont) and 51293 constraints
5.29/5.36 c 1 constraints of type <knapsack>
5.29/5.36 c 38938 constraints of type <setppc>
5.29/5.36 c 12354 constraints of type <logicor>
5.29/5.36 c transformed objective value is always integral (scale: 1)
5.29/5.36 c Presolving Time: 5.00
5.29/5.36 c - non default parameters ----------------------------------------------------------------------
5.29/5.36 c # SCIP version 2.0.1.5
5.29/5.36 c
5.29/5.36 c # frequency for displaying node information lines
5.29/5.36 c # [type: int, range: [-1,2147483647], default: 100]
5.29/5.36 c display/freq = 10000
5.29/5.36 c
5.29/5.36 c # maximal time in seconds to run
5.29/5.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.36 c limits/time = 1797
5.29/5.36 c
5.29/5.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.29/5.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.29/5.36 c limits/memory = 13950
5.29/5.36 c
5.29/5.36 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.29/5.36 c # [type: int, range: [1,2], default: 1]
5.29/5.36 c timing/clocktype = 2
5.29/5.36 c
5.29/5.36 c # belongs reading time to solving time?
5.29/5.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.36 c timing/reading = TRUE
5.29/5.36 c
5.29/5.36 c # should presolving try to simplify inequalities
5.29/5.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.36 c constraints/linear/simplifyinequalities = TRUE
5.29/5.36 c
5.29/5.36 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.29/5.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.36 c constraints/indicator/addCouplingCons = TRUE
5.29/5.36 c
5.29/5.36 c # should presolving try to simplify knapsacks
5.29/5.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.29/5.36 c constraints/knapsack/simplifyinequalities = TRUE
5.29/5.36 c
5.29/5.36 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.29/5.36 c # [type: int, range: [-1,2147483647], default: -1]
5.29/5.36 c separating/rapidlearning/freq = 0
5.29/5.36 c
5.29/5.36 c -----------------------------------------------------------------------------------------------
5.29/5.36 c start solving
5.29/5.37 c
23.89/23.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.89/23.97 c 24.0s| 1 | 0 | 15545 | - | 106M| 0 |2087 | 13k| 51k| 13k| 51k| 0 | 74 | 0 | 1.059100e+01 | -- | Inf
323.80/323.81 c 324s| 1 | 0 | 84520 | - | 107M| 0 |1447 | 13k| 51k| 13k| 51k| 10 | 74 | 0 | 1.169274e+01 | -- | Inf
340.80/340.85 c 341s| 1 | 0 | 84521 | - | 107M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | -- | Inf
363.90/363.95 o 26
363.90/363.95 c E 364s| 1 | 0 | 84521 | - | 107M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | 2.600000e+01 | 122.36%
363.90/363.99 c 364s| 1 | 0 | 84521 | - | 107M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | 2.600000e+01 | 122.36%
436.10/436.17 c 436s| 1 | 2 | 84521 | - | 107M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 38 | 1.169274e+01 | 2.600000e+01 | 122.36%
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-3488730-1307776857/watcher-3488730-1307776857 -o /tmp/evaluation-result-3488730-1307776857/solver-3488730-1307776857 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488730-1307776857.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.03 1.55 1.80 5/176 12351
/proc/meminfo: memFree=31560996/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=13108 CPUtime=0 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 2213 0 0 0 0 0 0 0 18 0 1 0 967916362 13422592 2168 33554432000 4194304 9016284 140734251347536 18446744073709551615 7824712 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12350/statm: 3277 2184 353 1178 0 2095 0
[startup+0.03826 s]
/proc/loadavg: 1.03 1.55 1.80 5/176 12351
/proc/meminfo: memFree=31560996/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=18816 CPUtime=0.03 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 3689 0 0 0 3 0 0 0 18 0 1 0 967916362 19267584 3643 33554432000 4194304 9016284 140734251347536 18446744073709551615 7870478 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12350/statm: 4704 3643 360 1178 0 3522 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18816
[startup+0.100248 s]
/proc/loadavg: 1.03 1.55 1.80 5/176 12351
/proc/meminfo: memFree=31560996/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=24952 CPUtime=0.09 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 5222 0 0 0 9 0 0 0 18 0 1 0 967916362 25550848 5176 33554432000 4194304 9016284 140734251347536 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12350/statm: 6238 5176 360 1178 0 5056 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24952
[startup+0.30021 s]
/proc/loadavg: 1.03 1.55 1.80 5/176 12351
/proc/meminfo: memFree=31560996/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=53856 CPUtime=0.28 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 12374 0 0 0 28 0 0 0 18 0 1 0 967916362 55148544 12328 33554432000 4194304 9016284 140734251347536 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 13464 12347 402 1178 0 12282 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 53856
[startup+0.701138 s]
/proc/loadavg: 1.03 1.55 1.80 5/176 12351
/proc/meminfo: memFree=31560996/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=124392 CPUtime=0.69 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 31491 0 0 0 66 3 0 0 18 0 1 0 967916362 127377408 29526 33554432000 4194304 9016284 140734251347536 18446744073709551615 4322183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 31098 29526 507 1178 0 29916 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 124392
[startup+1.50098 s]
/proc/loadavg: 1.03 1.55 1.80 4/178 12353
/proc/meminfo: memFree=31355784/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=132484 CPUtime=1.49 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 35064 0 0 0 146 3 0 0 20 0 1 0 967916362 135663616 31701 33554432000 4194304 9016284 140734251347536 18446744073709551615 5510793 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 33121 31701 538 1178 0 31939 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132484
[startup+3.10069 s]
/proc/loadavg: 1.03 1.55 1.80 4/178 12353
/proc/meminfo: memFree=31339912/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=132484 CPUtime=3.09 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 35065 0 0 0 306 3 0 0 25 0 1 0 967916362 135663616 31702 33554432000 4194304 9016284 140734251347536 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 33121 31702 538 1178 0 31939 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132484
[startup+6.3011 s]
/proc/loadavg: 1.19 1.57 1.81 4/178 12353
/proc/meminfo: memFree=31321064/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=225200 CPUtime=6.29 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 55972 0 0 0 623 6 0 0 19 0 1 0 967916362 230604800 52076 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 56300 52076 704 1178 0 55118 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 225200
[startup+12.7009 s]
/proc/loadavg: 1.25 1.58 1.81 4/178 12354
/proc/meminfo: memFree=31230680/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=248904 CPUtime=12.69 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 65762 0 0 0 1260 9 0 0 25 0 1 0 967916362 254877696 58909 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 62226 58909 666 1178 0 61044 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 248904
[startup+25.5005 s]
/proc/loadavg: 1.42 1.60 1.81 4/178 12354
/proc/meminfo: memFree=31226820/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=248904 CPUtime=25.5 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 67008 0 0 0 2538 12 0 0 25 0 1 0 967916362 254877696 60094 33554432000 4194304 9016284 140734251347536 18446744073709551615 7180540 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 62226 60094 839 1178 0 61044 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 248904
[startup+51.1008 s]
/proc/loadavg: 1.62 1.63 1.82 4/178 12355
/proc/meminfo: memFree=31225000/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=248904 CPUtime=51.09 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 67013 0 0 0 5094 15 0 0 25 0 1 0 967916362 254877696 60099 33554432000 4194304 9016284 140734251347536 18446744073709551615 7180740 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 62226 60099 839 1178 0 61044 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 248904
[startup+102.307 s]
/proc/loadavg: 1.83 1.69 1.82 4/178 12356
/proc/meminfo: memFree=31222396/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=248904 CPUtime=102.3 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 67013 0 0 0 10212 18 0 0 25 0 1 0 967916362 254877696 60099 33554432000 4194304 9016284 140734251347536 18446744073709551615 7189780 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 62226 60099 839 1178 0 61044 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 248904
[startup+162.3 s]
/proc/loadavg: 1.94 1.74 1.83 4/178 12358
/proc/meminfo: memFree=31221756/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=248904 CPUtime=162.3 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 67116 0 0 0 16205 25 0 0 25 0 1 0 967916362 254877696 60100 33554432000 4194304 9016284 140734251347536 18446744073709551615 7178314 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 62226 60100 737 1178 0 61044 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 248904
[startup+222.301 s]
/proc/loadavg: 1.97 1.78 1.83 4/178 12359
/proc/meminfo: memFree=31220104/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=248904 CPUtime=222.3 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 67137 0 0 0 22201 29 0 0 25 0 1 0 967916362 254877696 60107 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 62226 60107 723 1178 0 61044 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 248904
[startup+282.301 s]
/proc/loadavg: 1.99 1.82 1.84 3/178 12361
/proc/meminfo: memFree=31220304/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=248904 CPUtime=282.3 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 67162 0 0 0 28195 35 0 0 25 0 1 0 967916362 254877696 60119 33554432000 4194304 9016284 140734251347536 18446744073709551615 6922911 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 62226 60119 721 1178 0 61044 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 248904
[startup+342.301 s]
/proc/loadavg: 1.99 1.85 1.85 3/178 12362
/proc/meminfo: memFree=31220388/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=248904 CPUtime=342.31 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 67485 0 0 0 34184 47 0 0 25 0 1 0 967916362 254877696 60316 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 62226 60316 736 1178 0 61044 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 248904
[startup+402.301 s]
/proc/loadavg: 1.99 1.87 1.85 4/178 12364
/proc/meminfo: memFree=31159584/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=402.31 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 86989 0 0 0 40160 71 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 6863428 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 751 1178 0 74176 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 301432
[startup+462.301 s]
/proc/loadavg: 2.07 1.92 1.87 4/178 12366
/proc/meminfo: memFree=31159788/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=462.3 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 86989 0 0 0 46148 82 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 751 1178 0 74176 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 301432
[startup+522.301 s]
/proc/loadavg: 2.02 1.93 1.87 4/178 12367
/proc/meminfo: memFree=31159892/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=522.3 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 86989 0 0 0 52138 92 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 751 1178 0 74176 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 301432
[startup+582.301 s]
/proc/loadavg: 2.01 1.94 1.88 4/178 12369
/proc/meminfo: memFree=31161476/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=582.31 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 86989 0 0 0 58126 105 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 751 1178 0 74176 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 301432
[startup+642.3 s]
################
# More data... #
################
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 86989 0 0 0 100011 221 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 751 1178 0 74176 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 301432
[startup+1062.3 s]
/proc/loadavg: 2.04 2.00 1.92 4/178 12382
/proc/meminfo: memFree=31156764/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1062.32 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 86989 0 0 0 105994 238 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7081817 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 751 1178 0 74176 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 301432
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.92 4/178 12386
/proc/meminfo: memFree=31157436/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1122.33 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 111976 257 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 301432
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12388
/proc/meminfo: memFree=31156508/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1182.33 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 117960 273 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7180604 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 301432
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12389
/proc/meminfo: memFree=31155248/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1242.33 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 123944 289 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 6863423 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 301432
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12391
/proc/meminfo: memFree=31156464/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1302.34 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 129928 306 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 301432
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12393
/proc/meminfo: memFree=31157684/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1362.33 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 135910 323 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 301432
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12394
/proc/meminfo: memFree=31157516/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1422.34 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 141890 344 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7191176 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 301432
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12396
/proc/meminfo: memFree=31155132/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1482.34 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 147871 363 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7213589 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 301432
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12397
/proc/meminfo: memFree=31154856/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1542.34 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 153858 376 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7178162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 301432
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12399
/proc/meminfo: memFree=31156572/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1602.34 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 159843 391 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7158231 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 301432
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12401
/proc/meminfo: memFree=31154680/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1662.34 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 165831 403 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7181026 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 301432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12402
/proc/meminfo: memFree=31155880/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1722.35 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 171816 419 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7180913 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 301432
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 12404
/proc/meminfo: memFree=31156352/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1782.35 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 177810 425 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7189730 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 301432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12442
/proc/meminfo: memFree=31087864/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1800.05 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 179579 426 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 301432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12350
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12443
/proc/meminfo: memFree=31087236/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1801.44 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 179718 426 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7180742 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 301432
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12443
/proc/meminfo: memFree=31086244/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1801.85 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 179759 426 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7124756 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 301432
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 12443
/proc/meminfo: memFree=31086244/32950928 swapFree=67051096/67111528
[pid=12350] ppid=12347 vsize=301432 CPUtime=1802.04 cores=1,3,5,7
/proc/12350/stat : 12350 (scip-2.0.1.4b_2) R 12347 12350 6496 0 -1 4202496 87001 0 0 0 179778 426 0 0 25 0 1 0 967916362 308666368 74239 33554432000 4194304 9016284 140734251347536 18446744073709551615 7189680 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12350/statm: 75358 74239 739 1178 0 74176 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 301432
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1802.08
CPU user time (s): 1797.8
CPU system time (s): 4.28035
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 326204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.8
system time used= 4.28035
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87001
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= 2665
runsolver used 2.6406 second user time and 7.17591 second system time
The end