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-3451898-1307115343.opb>
0.39/0.41 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63333 constraints
0.39/0.41 c problem read
0.39/0.41 c presolving settings loaded
0.49/0.57 o 0
0.49/0.57 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.57 c presolving:
0.59/0.65 c (round 1) 186 del vars, 186 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.79/0.85 c (round 2) 186 del vars, 821 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62512 upgd conss, 2340 impls, 0 clqs
0.89/0.91 c (0.9s) probing: 101/1839 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.91 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.91 c presolving (3 rounds):
0.89/0.91 c 186 deleted vars, 821 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.91 c 2340 implications, 0 cliques
0.89/0.91 c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 62512 constraints
0.89/0.91 c 984 constraints of type <setppc>
0.89/0.91 c 61528 constraints of type <logicor>
0.89/0.91 c transformed objective value is always integral (scale: 1)
0.89/0.91 c Presolving Time: 0.46
0.89/0.91 c - non default parameters ----------------------------------------------------------------------
0.89/0.91 c # SCIP version 2.0.1.4
0.89/0.91 c
0.89/0.91 c # frequency for displaying node information lines
0.89/0.91 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.91 c display/freq = 10000
0.89/0.91 c
0.89/0.91 c # maximal time in seconds to run
0.89/0.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91 c limits/time = 1800
0.89/0.91 c
0.89/0.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91 c limits/memory = 13950
0.89/0.91 c
0.89/0.91 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.91 c # [type: int, range: [1,2], default: 1]
0.89/0.91 c timing/clocktype = 2
0.89/0.91 c
0.89/0.91 c # belongs reading time to solving time?
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c timing/reading = TRUE
0.89/0.91 c
0.89/0.91 c # should presolving try to simplify inequalities
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c constraints/linear/simplifyinequalities = TRUE
0.89/0.91 c
0.89/0.91 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c constraints/indicator/addCouplingCons = TRUE
0.89/0.91 c
0.89/0.91 c # should presolving try to simplify knapsacks
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.91 c
0.89/0.91 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.91 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.91 c separating/rapidlearning/freq = 0
0.89/0.91 c
0.89/0.91 c -----------------------------------------------------------------------------------------------
0.89/0.91 c start solving
0.89/0.92 c
121.69/121.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.69/121.74 c t 122s| 1 | 0 | 37376 | - | 75M| 0 |1821 |1839 | 62k|1839 | 62k| 0 | 0 | 0 |-2.811758e+02 | 0.000000e+00 | 100.00%
121.79/121.80 o -12
121.79/121.80 c R 122s| 1 | 0 | 37376 | - | 76M| 0 |1821 |1839 | 62k|1839 | 62k| 0 | 0 | 0 |-2.811758e+02 |-1.200000e+01 | 95.73%
121.79/121.86 o -16
121.79/121.86 c s 122s| 1 | 0 | 37376 | - | 76M| 0 |1821 |1839 | 62k|1839 | 62k| 0 | 0 | 0 |-2.811758e+02 |-1.600000e+01 | 94.31%
193.50/193.58 c 194s| 1 | 0 | 59696 | - | 79M| 0 |1817 |1839 | 62k|1839 | 62k| 4 | 0 | 0 |-2.795695e+02 |-1.600000e+01 | 94.28%
193.50/193.59 o -44
193.50/193.59 c b 194s| 1 | 0 | 59696 | - | 79M| 0 |1817 |1839 | 62k|1839 | 62k| 4 | 0 | 0 |-2.795695e+02 |-4.400000e+01 | 84.26%
326.90/326.94 c 327s| 1 | 0 | 93926 | - | 81M| 0 |1814 |1839 | 62k|1839 | 62k| 10 | 0 | 0 |-2.782827e+02 |-4.400000e+01 | 84.19%
326.90/326.98 o -59
326.90/326.98 c b 327s| 1 | 0 | 93926 | - | 81M| 0 |1814 |1839 | 62k|1839 | 62k| 10 | 0 | 0 |-2.782827e+02 |-5.900000e+01 | 78.80%
512.68/512.71 c 513s| 1 | 0 |134686 | - | 82M| 0 |1814 |1839 | 62k|1839 | 62k| 22 | 0 | 0 |-2.756749e+02 |-5.900000e+01 | 78.60%
686.68/686.70 c 687s| 1 | 0 |169763 | - | 87M| 0 |1776 |1839 | 62k|1839 | 62k| 33 | 0 | 0 |-2.697047e+02 |-5.900000e+01 | 78.12%
859.79/859.83 c 860s| 1 | 0 |205135 | - | 92M| 0 |1784 |1839 | 62k|1839 | 62k| 42 | 0 | 0 |-2.635704e+02 |-5.900000e+01 | 77.62%
1015.89/1015.98 c 1016s| 1 | 0 |242588 | - | 98M| 0 |1799 |1839 | 62k|1839 | 62k| 52 | 0 | 0 |-2.600676e+02 |-5.900000e+01 | 77.31%
1198.00/1198.03 c 1198s| 1 | 0 |282789 | - | 104M| 0 |1806 |1839 | 62k|1839 | 62k| 59 | 0 | 0 |-2.571493e+02 |-5.900000e+01 | 77.06%
1406.70/1406.81 c 1407s| 1 | 0 |320887 | - | 112M| 0 |1821 |1839 | 62k|1839 | 62k| 66 | 0 | 0 |-2.543130e+02 |-5.900000e+01 | 76.80%
1649.81/1649.87 c 1650s| 1 | 0 |365247 | - | 113M| 0 |1824 |1839 | 62k|1839 | 62k| 75 | 0 | 0 |-2.519554e+02 |-5.900000e+01 | 76.58%
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-3451898-1307115343/watcher-3451898-1307115343 -o /tmp/evaluation-result-3451898-1307115343/solver-3451898-1307115343 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451898-1307115343.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.92 2.00 1.99 3/514 6337
/proc/meminfo: memFree=18940172/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=10388 CPUtime=0 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 1591 0 0 0 0 0 0 0 25 0 1 0 901765086 10637312 1544 33554432000 4194304 9128323 140734028399168 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6337/statm: 2597 1544 400 1205 0 1388 0
[startup+0.0740949 s]
/proc/loadavg: 1.92 2.00 1.99 3/514 6337
/proc/meminfo: memFree=18940172/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=16488 CPUtime=0.06 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 3129 0 0 0 6 0 0 0 25 0 1 0 901765086 16883712 3080 33554432000 4194304 9128323 140734028399168 18446744073709551615 8007142 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6337/statm: 4122 3080 400 1205 0 2913 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16488
[startup+0.10109 s]
/proc/loadavg: 1.92 2.00 1.99 3/514 6337
/proc/meminfo: memFree=18940172/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=16816 CPUtime=0.09 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 3218 0 0 0 9 0 0 0 25 0 1 0 901765086 17219584 3169 33554432000 4194304 9128323 140734028399168 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6337/statm: 4204 3169 400 1205 0 2995 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16816
[startup+0.301056 s]
/proc/loadavg: 1.92 2.00 1.99 3/514 6337
/proc/meminfo: memFree=18940172/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=26424 CPUtime=0.29 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 5610 0 0 0 29 0 0 0 25 0 1 0 901765086 27058176 5557 33554432000 4194304 9128323 140734028399168 18446744073709551615 8011904 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6337/statm: 6606 5557 400 1205 0 5397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26424
[startup+0.700989 s]
/proc/loadavg: 1.92 2.00 1.99 3/514 6337
/proc/meminfo: memFree=18940172/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=95324 CPUtime=0.69 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 27308 0 0 0 66 3 0 0 25 0 1 0 901765086 97611776 22478 33554432000 4194304 9128323 140734028399168 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 23831 22478 527 1205 0 22622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95324
[startup+1.50085 s]
/proc/loadavg: 1.92 2.00 1.99 3/515 6338
/proc/meminfo: memFree=18814552/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=208932 CPUtime=1.49 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 56097 0 0 0 141 8 0 0 25 0 1 0 901765086 213946368 46895 33554432000 4194304 9128323 140734028399168 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 52233 46895 806 1205 0 51024 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208932
[startup+3.10065 s]
/proc/loadavg: 1.92 2.00 1.99 3/515 6338
/proc/meminfo: memFree=18739100/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=217720 CPUtime=3.09 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 60957 0 0 0 300 9 0 0 25 0 1 0 901765086 222945280 51154 33554432000 4194304 9128323 140734028399168 18446744073709551615 7343216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 54430 51154 996 1205 0 53221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 217720
[startup+6.30109 s]
/proc/loadavg: 1.93 2.00 1.99 3/515 6338
/proc/meminfo: memFree=18726376/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=222068 CPUtime=6.29 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 65854 0 0 0 618 11 0 0 25 0 1 0 901765086 227397632 52640 33554432000 4194304 9128323 140734028399168 18446744073709551615 7312729 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 55517 52640 686 1205 0 54308 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 222068
[startup+12.7009 s]
/proc/loadavg: 1.93 2.00 1.99 3/515 6338
/proc/meminfo: memFree=18723320/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=230776 CPUtime=12.69 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 71336 0 0 0 1255 14 0 0 25 0 1 0 901765086 236314624 53845 33554432000 4194304 9128323 140734028399168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 57694 53845 661 1205 0 56485 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 230776
[startup+25.5006 s]
/proc/loadavg: 2.08 2.03 2.00 3/515 6338
/proc/meminfo: memFree=18722296/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=237104 CPUtime=25.49 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 75673 0 0 0 2533 16 0 0 25 0 1 0 901765086 242794496 54408 33554432000 4194304 9128323 140734028399168 18446744073709551615 7315717 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 59276 54408 664 1205 0 58067 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 237104
[startup+51.1002 s]
/proc/loadavg: 2.17 2.06 2.01 3/515 6339
/proc/meminfo: memFree=18722212/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=237104 CPUtime=51.09 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 75694 0 0 0 5090 19 0 0 25 0 1 0 901765086 242794496 54429 33554432000 4194304 9128323 140734028399168 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 59276 54429 664 1205 0 58067 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 237104
[startup+102.32 s]
/proc/loadavg: 2.18 2.08 2.02 3/515 6341
/proc/meminfo: memFree=18721076/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=237104 CPUtime=102.31 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 75698 0 0 0 10207 24 0 0 25 0 1 0 901765086 242794496 54433 33554432000 4194304 9128323 140734028399168 18446744073709551615 7384815 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 59276 54433 664 1205 0 58067 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 237104
[startup+162.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/515 6342
/proc/meminfo: memFree=18733924/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=221524 CPUtime=162.29 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 79164 0 0 0 16196 33 0 0 25 0 1 0 901765086 226840576 51232 33554432000 4194304 9128323 140734028399168 18446744073709551615 7316170 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 55381 51232 778 1205 0 54172 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 221524
[startup+222.301 s]
/proc/loadavg: 2.02 2.05 2.01 4/515 6347
/proc/meminfo: memFree=18729860/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=225488 CPUtime=222.29 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 80167 0 0 0 22186 43 0 0 25 0 1 0 901765086 230899712 52235 33554432000 4194304 9128323 140734028399168 18446744073709551615 7316497 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 56372 52235 780 1205 0 55163 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 225488
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 6348
/proc/meminfo: memFree=18718260/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=236108 CPUtime=282.3 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 83674 0 0 0 28179 51 0 0 25 0 1 0 901765086 241774592 55248 33554432000 4194304 9128323 140734028399168 18446744073709551615 7384846 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 59027 55248 780 1205 0 57818 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 236108
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 6350
/proc/meminfo: memFree=18718092/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=236108 CPUtime=342.3 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 83751 0 0 0 34170 60 0 0 25 0 1 0 901765086 241774592 55325 33554432000 4194304 9128323 140734028399168 18446744073709551615 7018588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 59027 55325 780 1205 0 57818 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 236108
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 6352
/proc/meminfo: memFree=18711968/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=247040 CPUtime=402.3 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 90286 0 0 0 40161 69 0 0 25 0 1 0 901765086 252968960 57959 33554432000 4194304 9128323 140734028399168 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 61760 57959 1666 1205 0 60551 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 247040
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 6353
/proc/meminfo: memFree=18711784/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=247040 CPUtime=462.3 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 90334 0 0 0 46156 74 0 0 25 0 1 0 901765086 252968960 58003 33554432000 4194304 9128323 140734028399168 18446744073709551615 7316170 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 61760 58003 1662 1205 0 60551 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 247040
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 6355
/proc/meminfo: memFree=18711980/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=247040 CPUtime=522.28 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 90334 0 0 0 52146 82 0 0 25 0 1 0 901765086 252968960 58003 33554432000 4194304 9128323 140734028399168 18446744073709551615 8012585 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 61760 58003 1662 1205 0 60551 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 247040
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/515 6356
/proc/meminfo: memFree=18722860/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=232556 CPUtime=582.28 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 91788 0 0 0 58135 93 0 0 25 0 1 0 901765086 238137344 54441 33554432000 4194304 9128323 140734028399168 18446744073709551615 7244731 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 58139 54441 827 1205 0 56930 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 232556
[startup+642.301 s]
################
# More data... #
################
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 97810 0 0 0 100080 149 0 0 25 0 1 0 901765086 259330048 60363 33554432000 4194304 9128323 140734028399168 18446744073709551615 7316152 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 63313 60363 728 1205 0 62104 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 253252
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 7855
/proc/meminfo: memFree=18833796/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=271688 CPUtime=1062.3 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 103010 0 0 0 106070 160 0 0 25 0 1 0 901765086 278208512 65560 33554432000 4194304 9128323 140734028399168 18446744073709551615 7366200 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 67922 65560 913 1205 0 66713 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 271688
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 7857
/proc/meminfo: memFree=18833848/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=271688 CPUtime=1122.29 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 103015 0 0 0 112064 165 0 0 25 0 1 0 901765086 278208512 65565 33554432000 4194304 9128323 140734028399168 18446744073709551615 7316079 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 67922 65565 913 1205 0 66713 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 271688
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 7858
/proc/meminfo: memFree=18833300/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=271688 CPUtime=1182.29 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 103015 0 0 0 118058 171 0 0 25 0 1 0 901765086 278208512 65565 33554432000 4194304 9128323 140734028399168 18446744073709551615 7315719 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 67922 65565 913 1205 0 66713 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 271688
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/515 7860
/proc/meminfo: memFree=18831120/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=271688 CPUtime=1242.29 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 103557 0 0 0 124047 182 0 0 25 0 1 0 901765086 278208512 66107 33554432000 4194304 9128323 140734028399168 18446744073709551615 7021480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 67922 66107 913 1205 0 66713 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 271688
[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/515 7862
/proc/meminfo: memFree=18814444/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1302.3 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 107596 0 0 0 130038 192 0 0 25 0 1 0 901765086 297459712 69958 33554432000 4194304 9128323 140734028399168 18446744073709551615 7315717 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 69958 780 1205 0 71413 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 290488
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/515 7863
/proc/meminfo: memFree=18815520/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1362.3 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 107597 0 0 0 136031 199 0 0 25 0 1 0 901765086 297459712 69959 33554432000 4194304 9128323 140734028399168 18446744073709551615 7315261 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 69959 780 1205 0 71413 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 290488
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 7865
/proc/meminfo: memFree=18815720/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1422.32 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 107601 0 0 0 142025 207 0 0 25 0 1 0 901765086 297459712 69963 33554432000 4194304 9128323 140734028399168 18446744073709551615 6700172 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 69963 780 1205 0 71413 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 290488
[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/515 7866
/proc/meminfo: memFree=18814924/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1482.3 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 107688 0 0 0 148011 219 0 0 25 0 1 0 901765086 297459712 70049 33554432000 4194304 9128323 140734028399168 18446744073709551615 7316098 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 70049 779 1205 0 71413 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 290488
[startup+1542.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/515 7877
/proc/meminfo: memFree=18815844/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1542.31 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 107690 0 0 0 154005 226 0 0 25 0 1 0 901765086 297459712 70051 33554432000 4194304 9128323 140734028399168 18446744073709551615 7316122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 70051 779 1205 0 71413 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 290488
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/515 7879
/proc/meminfo: memFree=18815736/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1602.3 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 107690 0 0 0 159998 232 0 0 25 0 1 0 901765086 297459712 70051 33554432000 4194304 9128323 140734028399168 18446744073709551615 7315684 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 70051 779 1205 0 71413 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 290488
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 7880
/proc/meminfo: memFree=18810860/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1662.31 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 108944 0 0 0 165990 241 0 0 25 0 1 0 901765086 297459712 71305 33554432000 4194304 9128323 140734028399168 18446744073709551615 6628781 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 71305 781 1205 0 71413 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 290488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 7882
/proc/meminfo: memFree=18811300/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1722.31 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 108944 0 0 0 171979 252 0 0 25 0 1 0 901765086 297459712 71305 33554432000 4194304 9128323 140734028399168 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 71305 781 1205 0 71413 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 290488
[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/515 7883
/proc/meminfo: memFree=18809996/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1782.31 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 108945 0 0 0 177969 262 0 0 25 0 1 0 901765086 297459712 71306 33554432000 4194304 9128323 140734028399168 18446744073709551615 7325058 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 71306 781 1205 0 71413 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 290488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.04 2.01 3/515 7884
/proc/meminfo: memFree=18810732/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1800.02 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 108945 0 0 0 179737 265 0 0 25 0 1 0 901765086 297459712 71306 33554432000 4194304 9128323 140734028399168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 71306 781 1205 0 71413 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 290488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6337
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.07 2.04 2.01 3/516 7885
/proc/meminfo: memFree=18809980/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1801.41 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 108945 0 0 0 179876 265 0 0 25 0 1 0 901765086 297459712 71306 33554432000 4194304 9128323 140734028399168 18446744073709551615 6941024 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 71306 781 1205 0 71413 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 290488
[startup+1801.82 s]
/proc/loadavg: 2.07 2.04 2.01 3/516 7885
/proc/meminfo: memFree=18809980/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1801.83 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 108945 0 0 0 179918 265 0 0 25 0 1 0 901765086 297459712 71306 33554432000 4194304 9128323 140734028399168 18446744073709551615 7316079 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 71306 781 1205 0 71413 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 290488
[startup+1802 s]
/proc/loadavg: 2.07 2.04 2.01 3/516 7885
/proc/meminfo: memFree=18809980/32950940 swapFree=67111364/67111528
[pid=6337] ppid=6335 vsize=290488 CPUtime=1802.01 cores=1,3,5,7
/proc/6337/stat : 6337 (scip-2.0.1.4.li) R 6335 6337 4622 0 -1 4202496 108945 0 0 0 179936 265 0 0 25 0 1 0 901765086 297459712 71306 33554432000 4194304 9128323 140734028399168 18446744073709551615 7315240 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6337/statm: 72622 71306 781 1205 0 71413 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 290488
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.05
CPU user time (s): 1799.38
CPU system time (s): 2.66859
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 290488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 2.66859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108945
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= 5015
runsolver used 9.12861 second user time and 21.4207 second system time
The end