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-3451893-1307114826.opb>
0.39/0.41 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63877 constraints
0.39/0.41 c problem read
0.39/0.41 c presolving settings loaded
0.49/0.58 o 0
0.49/0.58 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.58 c presolving:
0.59/0.66 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.86 c (round 2) 186 del vars, 835 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 63042 upgd conss, 2340 impls, 0 clqs
0.89/0.92 c (0.9s) probing: 101/1839 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.92 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.92 c presolving (3 rounds):
0.89/0.92 c 186 deleted vars, 835 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.92 c 2340 implications, 0 cliques
0.89/0.92 c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 63042 constraints
0.89/0.92 c 984 constraints of type <setppc>
0.89/0.92 c 62058 constraints of type <logicor>
0.89/0.92 c transformed objective value is always integral (scale: 1)
0.89/0.92 c Presolving Time: 0.47
0.89/0.92 c - non default parameters ----------------------------------------------------------------------
0.89/0.92 c # SCIP version 2.0.1.4
0.89/0.92 c
0.89/0.92 c # frequency for displaying node information lines
0.89/0.92 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.92 c display/freq = 10000
0.89/0.92 c
0.89/0.92 c # maximal time in seconds to run
0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.92 c limits/time = 1800
0.89/0.92 c
0.89/0.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.92 c limits/memory = 13950
0.89/0.92 c
0.89/0.92 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.92 c # [type: int, range: [1,2], default: 1]
0.89/0.92 c timing/clocktype = 2
0.89/0.92 c
0.89/0.92 c # belongs reading time to solving time?
0.89/0.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92 c timing/reading = TRUE
0.89/0.92 c
0.89/0.92 c # should presolving try to simplify inequalities
0.89/0.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92 c constraints/linear/simplifyinequalities = TRUE
0.89/0.92 c
0.89/0.92 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92 c constraints/indicator/addCouplingCons = TRUE
0.89/0.92 c
0.89/0.92 c # should presolving try to simplify knapsacks
0.89/0.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.92 c
0.89/0.92 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.92 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.92 c separating/rapidlearning/freq = 0
0.89/0.92 c
0.89/0.92 c -----------------------------------------------------------------------------------------------
0.89/0.92 c start solving
0.89/0.93 c
121.59/121.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.59/121.60 c t 122s| 1 | 0 | 37368 | - | 76M| 0 |1831 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 | 0.000000e+00 | 100.00%
121.59/121.65 o -8
121.59/121.65 c R 122s| 1 | 0 | 37368 | - | 76M| 0 |1831 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 |-8.000000e+00 | 97.02%
121.69/121.71 o -11
121.69/121.71 c s 122s| 1 | 0 | 37368 | - | 76M| 0 |1831 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 |-1.100000e+01 | 95.91%
192.51/192.59 c 193s| 1 | 0 | 61092 | - | 78M| 0 |1832 |1839 | 63k|1839 | 63k| 4 | 0 | 0 |-2.674113e+02 |-1.100000e+01 | 95.89%
192.51/192.60 o -45
192.51/192.60 c b 193s| 1 | 0 | 61092 | - | 78M| 0 |1832 |1839 | 63k|1839 | 63k| 4 | 0 | 0 |-2.674113e+02 |-4.500000e+01 | 83.17%
364.90/364.91 c 365s| 1 | 0 | 91136 | - | 79M| 0 |1833 |1839 | 63k|1839 | 63k| 10 | 0 | 0 |-2.645142e+02 |-4.500000e+01 | 82.99%
364.90/364.95 o -46
364.90/364.95 c b 365s| 1 | 0 | 91136 | - | 79M| 0 |1833 |1839 | 63k|1839 | 63k| 10 | 0 | 0 |-2.645142e+02 |-4.600000e+01 | 82.61%
587.11/587.10 c 587s| 1 | 0 |128715 | - | 79M| 0 |1833 |1839 | 63k|1839 | 63k| 15 | 0 | 0 |-2.609836e+02 |-4.600000e+01 | 82.37%
714.42/714.46 c 714s| 1 | 0 |149053 | - | 79M| 0 |1835 |1839 | 63k|1839 | 63k| 16 | 0 | 0 |-2.592648e+02 |-4.600000e+01 | 82.26%
868.63/868.67 c 869s| 1 | 0 |186082 | - | 80M| 0 |1828 |1839 | 63k|1839 | 63k| 21 | 0 | 0 |-2.571259e+02 |-4.600000e+01 | 82.11%
1040.23/1040.25 c 1040s| 1 | 0 |218816 | - | 85M| 0 |1830 |1839 | 63k|1839 | 63k| 27 | 0 | 0 |-2.548345e+02 |-4.600000e+01 | 81.95%
1113.13/1113.21 c 1113s| 1 | 0 |231697 | - | 92M| 0 |1819 |1839 | 63k|1839 | 63k| 31 | 0 | 0 |-2.546038e+02 |-4.600000e+01 | 81.93%
1257.14/1257.13 c 1257s| 1 | 0 |265875 | - | 95M| 0 |1829 |1839 | 63k|1839 | 63k| 37 | 0 | 0 |-2.535291e+02 |-4.600000e+01 | 81.86%
1387.16/1387.16 c 1387s| 1 | 0 |287452 | - | 98M| 0 |1833 |1839 | 63k|1839 | 63k| 42 | 0 | 0 |-2.533249e+02 |-4.600000e+01 | 81.84%
1617.46/1617.44 c 1617s| 1 | 0 |329112 | - | 104M| 0 |1830 |1839 | 63k|1839 | 63k| 45 | 0 | 0 |-2.508002e+02 |-4.600000e+01 | 81.66%
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-3451893-1307114826/watcher-3451893-1307114826 -o /tmp/evaluation-result-3451893-1307114826/solver-3451893-1307114826 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451893-1307114826.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: 2.00 2.01 2.00 2/481 8709
/proc/meminfo: memFree=27240592/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=11584 CPUtime=0.01 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 1888 0 0 0 1 0 0 0 25 0 1 0 823082294 11862016 1841 33554432000 4194304 9128323 140734215750240 18446744073709551615 7985376 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8709/statm: 2896 1841 400 1205 0 1687 0
[startup+0.118566 s]
/proc/loadavg: 2.00 2.01 2.00 2/481 8709
/proc/meminfo: memFree=27240592/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=17996 CPUtime=0.11 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 3512 0 0 0 11 0 0 0 25 0 1 0 823082294 18427904 3463 33554432000 4194304 9128323 140734215750240 18446744073709551615 7952342 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8709/statm: 4499 3463 400 1205 0 3290 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 17996
[startup+0.200549 s]
/proc/loadavg: 2.00 2.01 2.00 2/481 8709
/proc/meminfo: memFree=27240592/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=21592 CPUtime=0.19 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 4415 0 0 0 19 0 0 0 25 0 1 0 823082294 22110208 4364 33554432000 4194304 9128323 140734215750240 18446744073709551615 6520037 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8709/statm: 5398 4364 400 1205 0 4189 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21592
[startup+0.300533 s]
/proc/loadavg: 2.00 2.01 2.00 2/481 8709
/proc/meminfo: memFree=27240592/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=26428 CPUtime=0.29 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 5611 0 0 0 29 0 0 0 25 0 1 0 823082294 27062272 5558 33554432000 4194304 9128323 140734215750240 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8709/statm: 6607 5558 400 1205 0 5398 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26428
[startup+0.700401 s]
/proc/loadavg: 2.00 2.01 2.00 2/481 8709
/proc/meminfo: memFree=27240592/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=93676 CPUtime=0.69 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 27260 0 0 0 66 3 0 0 25 0 1 0 823082294 95924224 22097 33554432000 4194304 9128323 140734215750240 18446744073709551615 8012696 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 23419 22097 527 1205 0 22210 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93676
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8710
/proc/meminfo: memFree=27064256/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=213064 CPUtime=1.49 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 56968 0 0 0 142 7 0 0 25 0 1 0 823082294 218177536 48137 33554432000 4194304 9128323 140734215750240 18446744073709551615 7077378 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 53266 48137 914 1205 0 52057 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 213064
[startup+3.10102 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8710
/proc/meminfo: memFree=27044204/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=229428 CPUtime=3.09 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 65491 0 0 0 301 8 0 0 25 0 1 0 823082294 234934272 52715 33554432000 4194304 9128323 140734215750240 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 57357 52715 693 1205 0 56148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 229428
[startup+6.30039 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8711
/proc/meminfo: memFree=27028948/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=230912 CPUtime=6.3 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 65930 0 0 0 620 10 0 0 25 0 1 0 823082294 236453888 53120 33554432000 4194304 9128323 140734215750240 18446744073709551615 6941934 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 57728 53120 660 1205 0 56519 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 230912
[startup+12.7001 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8711
/proc/meminfo: memFree=27019128/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=232996 CPUtime=12.69 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 68148 0 0 0 1257 12 0 0 25 0 1 0 823082294 238587904 55258 33554432000 4194304 9128323 140734215750240 18446744073709551615 7316185 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 58249 55258 670 1205 0 57040 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 232996
[startup+25.5007 s]
/proc/loadavg: 2.07 2.02 2.00 3/482 8711
/proc/meminfo: memFree=27008836/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=229056 CPUtime=25.49 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 71414 0 0 0 2535 14 0 0 25 0 1 0 823082294 234553344 54390 33554432000 4194304 9128323 140734215750240 18446744073709551615 6941071 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 57264 54390 664 1205 0 56055 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 229056
[startup+51.1008 s]
/proc/loadavg: 2.19 2.05 2.01 3/482 8712
/proc/meminfo: memFree=27014212/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=236244 CPUtime=51.1 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 73226 0 0 0 5092 18 0 0 25 0 1 0 823082294 241913856 56202 33554432000 4194304 9128323 140734215750240 18446744073709551615 7380144 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 59061 56202 669 1205 0 57852 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 236244
[startup+102.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 8741
/proc/meminfo: memFree=27010584/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=230072 CPUtime=102.3 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 74367 0 0 0 10205 25 0 0 25 0 1 0 823082294 235593728 52982 33554432000 4194304 9128323 140734215750240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 57518 52982 664 1205 0 56309 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 230072
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8743
/proc/meminfo: memFree=26982436/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=232120 CPUtime=162.29 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 78130 0 0 0 16191 38 0 0 25 0 1 0 823082294 237690880 55952 33554432000 4194304 9128323 140734215750240 18446744073709551615 7315885 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 58030 55952 779 1205 0 56821 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 232120
[startup+222.318 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8744
/proc/meminfo: memFree=26982380/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=232120 CPUtime=222.32 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 78138 0 0 0 22178 54 0 0 25 0 1 0 823082294 237690880 55958 33554432000 4194304 9128323 140734215750240 18446744073709551615 6695070 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 58030 55958 779 1205 0 56821 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 232120
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8746
/proc/meminfo: memFree=26992264/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=232120 CPUtime=282.3 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 78145 0 0 0 28154 76 0 0 25 0 1 0 823082294 237690880 55960 33554432000 4194304 9128323 140734215750240 18446744073709551615 7315689 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 58030 55960 774 1205 0 56821 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 232120
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8747
/proc/meminfo: memFree=26975848/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=232120 CPUtime=342.31 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 78151 0 0 0 34147 84 0 0 25 0 1 0 823082294 237690880 55966 33554432000 4194304 9128323 140734215750240 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 58030 55966 774 1205 0 56821 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 232120
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8749
/proc/meminfo: memFree=26969260/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=232120 CPUtime=402.3 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 78151 0 0 0 40131 99 0 0 25 0 1 0 823082294 237690880 55966 33554432000 4194304 9128323 140734215750240 18446744073709551615 7018424 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 58030 55966 774 1205 0 56821 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 232120
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 8751
/proc/meminfo: memFree=26963028/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=245512 CPUtime=462.31 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 79881 0 0 0 46115 116 0 0 25 0 1 0 823082294 251404288 57696 33554432000 4194304 9128323 140734215750240 18446744073709551615 7315612 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 61378 57696 774 1205 0 60169 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 245512
[startup+522.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/482 8752
/proc/meminfo: memFree=26962996/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=245512 CPUtime=522.31 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 79881 0 0 0 52108 123 0 0 25 0 1 0 823082294 251404288 57696 33554432000 4194304 9128323 140734215750240 18446744073709551615 7244757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 61378 57696 774 1205 0 60169 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 245512
[startup+582.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/482 8754
/proc/meminfo: memFree=26969268/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=246820 CPUtime=582.31 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 81727 0 0 0 58100 131 0 0 25 0 1 0 823082294 252743680 59542 33554432000 4194304 9128323 140734215750240 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 61705 59542 774 1205 0 60496 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 246820
[startup+642.301 s]
################
# More data... #
################
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 82122 0 0 0 106011 223 0 0 25 0 1 0 823082294 259084288 59883 33554432000 4194304 9128323 140734215750240 18446744073709551615 7414888 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 63253 59883 720 1205 0 62044 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 253012
[startup+1122.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/482 8768
/proc/meminfo: memFree=26935224/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=255000 CPUtime=1122.33 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 82135 0 0 0 111994 239 0 0 25 0 1 0 823082294 261120000 59896 33554432000 4194304 9128323 140734215750240 18446744073709551615 6309877 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 63750 59896 720 1205 0 62541 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 255000
[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/482 8770
/proc/meminfo: memFree=26912012/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=279056 CPUtime=1182.34 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 88490 0 0 0 117984 250 0 0 25 0 1 0 823082294 285753344 65617 33554432000 4194304 9128323 140734215750240 18446744073709551615 7316373 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 69764 65617 719 1205 0 68555 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 279056
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/482 8771
/proc/meminfo: memFree=26921168/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=267892 CPUtime=1242.33 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 89368 0 0 0 123976 257 0 0 25 0 1 0 823082294 274321408 63169 33554432000 4194304 9128323 140734215750240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 66973 63169 719 1205 0 65764 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 267892
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 8773
/proc/meminfo: memFree=26912684/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=267892 CPUtime=1302.34 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 89410 0 0 0 129962 272 0 0 25 0 1 0 823082294 274321408 63211 33554432000 4194304 9128323 140734215750240 18446744073709551615 6632602 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 66973 63211 719 1205 0 65764 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 267892
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8775
/proc/meminfo: memFree=26890704/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=279172 CPUtime=1362.35 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 92326 0 0 0 135949 286 0 0 25 0 1 0 823082294 285872128 66127 33554432000 4194304 9128323 140734215750240 18446744073709551615 7316432 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 69793 66127 719 1205 0 68584 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 279172
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 8776
/proc/meminfo: memFree=26891656/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=279172 CPUtime=1422.36 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 92327 0 0 0 141936 300 0 0 25 0 1 0 823082294 285872128 66128 33554432000 4194304 9128323 140734215750240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 69793 66128 719 1205 0 68584 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 279172
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 8778
/proc/meminfo: memFree=26901300/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=271900 CPUtime=1482.35 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 93527 0 0 0 147921 314 0 0 25 0 1 0 823082294 278425600 63935 33554432000 4194304 9128323 140734215750240 18446744073709551615 7316064 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 67975 63935 719 1205 0 66766 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 271900
[startup+1542.32 s]
/proc/loadavg: 2.06 2.02 2.00 4/482 8779
/proc/meminfo: memFree=26891968/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=271900 CPUtime=1542.37 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 93618 0 0 0 153916 321 0 0 25 0 1 0 823082294 278425600 64026 33554432000 4194304 9128323 140734215750240 18446744073709551615 7316152 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 67975 64026 719 1205 0 66766 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 271900
[startup+1602.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/482 8781
/proc/meminfo: memFree=26892308/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=271900 CPUtime=1602.36 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 93666 0 0 0 159908 328 0 0 25 0 1 0 823082294 278425600 64074 33554432000 4194304 9128323 140734215750240 18446744073709551615 7326709 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 67975 64074 719 1205 0 66766 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 271900
[startup+1662.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/482 8783
/proc/meminfo: memFree=26881988/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=280768 CPUtime=1662.36 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 95709 0 0 0 165894 342 0 0 25 0 1 0 823082294 287506432 66117 33554432000 4194304 9128323 140734215750240 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 70192 66117 719 1205 0 68983 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 280768
[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/482 8784
/proc/meminfo: memFree=26881444/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=280768 CPUtime=1722.36 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 95711 0 0 0 171885 351 0 0 25 0 1 0 823082294 287506432 66119 33554432000 4194304 9128323 140734215750240 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 70192 66119 719 1205 0 68983 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 280768
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 8786
/proc/meminfo: memFree=26880920/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=280616 CPUtime=1782.36 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 100000 0 0 0 177879 357 0 0 25 0 1 0 823082294 287350784 66022 33554432000 4194304 9128323 140734215750240 18446744073709551615 7315577 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 70154 66022 719 1205 0 68945 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 280616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 8786
/proc/meminfo: memFree=26881640/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=280616 CPUtime=1800.07 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 100000 0 0 0 179647 360 0 0 25 0 1 0 823082294 287350784 66022 33554432000 4194304 9128323 140734215750240 18446744073709551615 7316182 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 70154 66022 719 1205 0 68945 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 280616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8709
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/483 8787
/proc/meminfo: memFree=26880888/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=280616 CPUtime=1800.77 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 100000 0 0 0 179717 360 0 0 25 0 1 0 823082294 287350784 66022 33554432000 4194304 9128323 140734215750240 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 70154 66022 719 1205 0 68945 0
Current children cumulated CPU time (s) 1800.77
Current children cumulated vsize (KiB) 280616
[startup+1801.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/483 8787
/proc/meminfo: memFree=26880888/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=280616 CPUtime=1801.56 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 100000 0 0 0 179796 360 0 0 25 0 1 0 823082294 287350784 66022 33554432000 4194304 9128323 140734215750240 18446744073709551615 7315256 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 70154 66022 719 1205 0 68945 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 280616
[startup+1801.92 s]
/proc/loadavg: 2.01 2.03 2.00 3/483 8787
/proc/meminfo: memFree=26880888/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=280616 CPUtime=1801.98 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 100000 0 0 0 179838 360 0 0 25 0 1 0 823082294 287350784 66022 33554432000 4194304 9128323 140734215750240 18446744073709551615 7315710 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 70154 66022 719 1205 0 68945 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 280616
[startup+1802 s]
/proc/loadavg: 2.01 2.03 2.00 3/483 8787
/proc/meminfo: memFree=26880888/32950928 swapFree=39617324/67111528
[pid=8709] ppid=8707 vsize=280616 CPUtime=1802.06 cores=1,3,5,7
/proc/8709/stat : 8709 (scip-2.0.1.4.li) R 8707 8709 7025 0 -1 4202496 100000 0 0 0 179846 360 0 0 25 0 1 0 823082294 287350784 66022 33554432000 4194304 9128323 140734215750240 18446744073709551615 7316152 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8709/statm: 70154 66022 719 1205 0 68945 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 280616
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.1
CPU user time (s): 1798.48
CPU system time (s): 3.61745
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 291748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 3.61745
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100000
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= 2855
runsolver used 8.45271 second user time and 20.5289 second system time
The end