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-3452473-1307101499.opb>
0.49/0.50 c original problem has 21320 variables (21320 bin, 0 int, 0 impl, 0 cont) and 79746 constraints
0.49/0.50 c problem read
0.49/0.51 c presolving settings loaded
0.69/0.75 c presolving:
0.99/1.08 c (round 1) 1339 del vars, 2653 del conss, 0 add conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
0.99/1.09 c (round 2) 1339 del vars, 2683 del conss, 0 add conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 0 upgd conss, 678660 impls, 0 clqs
1.29/1.34 c (round 3) 1339 del vars, 2684 del conss, 0 add conss, 5 chg bounds, 10 chg sides, 11 chg coeffs, 77062 upgd conss, 678660 impls, 0 clqs
5.69/5.73 c (5.7s) probing: 479/19981 (2.4%) - 0 fixings, 0 aggregations, 30049 implications, 0 bound changes
5.69/5.73 c (5.7s) probing aborted: 100/100 successive totally useless probings
5.69/5.73 c presolving (4 rounds):
5.69/5.73 c 1339 deleted vars, 2684 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 10 changed sides, 11 changed coefficients
5.69/5.73 c 738758 implications, 0 cliques
5.69/5.73 c presolved problem has 19981 variables (19981 bin, 0 int, 0 impl, 0 cont) and 77062 constraints
5.69/5.73 c 1 constraints of type <knapsack>
5.69/5.73 c 58477 constraints of type <setppc>
5.69/5.73 c 18584 constraints of type <logicor>
5.69/5.73 c transformed objective value is always integral (scale: 1)
5.69/5.73 c Presolving Time: 5.15
5.69/5.73 c - non default parameters ----------------------------------------------------------------------
5.69/5.73 c # SCIP version 2.0.1.4
5.69/5.73 c
5.69/5.73 c # frequency for displaying node information lines
5.69/5.73 c # [type: int, range: [-1,2147483647], default: 100]
5.69/5.73 c display/freq = 10000
5.69/5.73 c
5.69/5.73 c # maximal time in seconds to run
5.69/5.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.73 c limits/time = 1800
5.69/5.73 c
5.69/5.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.69/5.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.73 c limits/memory = 13950
5.69/5.73 c
5.69/5.73 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.69/5.73 c # [type: int, range: [1,2], default: 1]
5.69/5.73 c timing/clocktype = 2
5.69/5.73 c
5.69/5.73 c # belongs reading time to solving time?
5.69/5.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.73 c timing/reading = TRUE
5.69/5.73 c
5.69/5.73 c # should presolving try to simplify inequalities
5.69/5.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.73 c constraints/linear/simplifyinequalities = TRUE
5.69/5.73 c
5.69/5.73 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.69/5.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.73 c constraints/indicator/addCouplingCons = TRUE
5.69/5.73 c
5.69/5.73 c # should presolving try to simplify knapsacks
5.69/5.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.69/5.73 c constraints/knapsack/simplifyinequalities = TRUE
5.69/5.73 c
5.69/5.73 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.69/5.73 c # [type: int, range: [-1,2147483647], default: -1]
5.69/5.73 c separating/rapidlearning/freq = 0
5.69/5.73 c
5.69/5.73 c -----------------------------------------------------------------------------------------------
5.69/5.73 c start solving
5.69/5.74 c
61.29/61.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.29/61.38 c 61.4s| 1 | 0 | 22980 | - | 153M| 0 |6672 | 19k| 77k| 19k| 77k| 0 | 81 | 0 | 1.060954e+01 | -- | Inf
875.52/875.52 c 876s| 1 | 0 |163650 | - | 154M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 0 | 1.167633e+01 | -- | Inf
961.61/961.67 o 31
961.61/961.67 c E 962s| 1 | 0 |163650 | - | 154M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 0 | 1.167633e+01 | 3.100000e+01 | 165.49%
961.71/961.73 c 962s| 1 | 0 |163650 | - | 154M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 0 | 1.167633e+01 | 3.100000e+01 | 165.49%
1075.82/1075.82 c 1076s| 1 | 2 |163650 | - | 154M| 0 |3158 | 19k| 77k| 19k| 77k| 8 | 81 | 18 | 1.167633e+01 | 3.100000e+01 | 165.49%
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-3452473-1307101499/watcher-3452473-1307101499 -o /tmp/evaluation-result-3452473-1307101499/solver-3452473-1307101499 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452473-1307101499.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: 2.00 2.02 2.00 2/514 5233
/proc/meminfo: memFree=18934028/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=11232 CPUtime=0 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 1809 0 0 0 0 0 0 0 25 0 1 0 900380659 11501568 1763 33554432000 4194304 9128323 140735815414880 18446744073709551615 4492988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5233/statm: 2808 1763 400 1205 0 1599 0
[startup+0.103655 s]
/proc/loadavg: 2.00 2.02 2.00 2/514 5233
/proc/meminfo: memFree=18934028/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=20008 CPUtime=0.09 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 4008 0 0 0 9 0 0 0 25 0 1 0 900380659 20488192 3960 33554432000 4194304 9128323 140735815414880 18446744073709551615 7447122 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5233/statm: 5002 3961 400 1205 0 3793 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20008
[startup+0.200667 s]
/proc/loadavg: 2.00 2.02 2.00 2/514 5233
/proc/meminfo: memFree=18934028/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=27648 CPUtime=0.19 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 5933 0 0 0 19 0 0 0 25 0 1 0 900380659 28311552 5883 33554432000 4194304 9128323 140735815414880 18446744073709551615 8011647 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5233/statm: 6912 5883 400 1205 0 5703 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27648
[startup+0.30062 s]
/proc/loadavg: 2.00 2.02 2.00 2/514 5233
/proc/meminfo: memFree=18934028/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=34488 CPUtime=0.29 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 7631 0 0 0 29 0 0 0 25 0 1 0 900380659 35315712 7579 33554432000 4194304 9128323 140735815414880 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5233/statm: 8622 7579 400 1205 0 7413 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34488
[startup+0.700604 s]
/proc/loadavg: 2.00 2.02 2.00 2/514 5233
/proc/meminfo: memFree=18934028/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=140328 CPUtime=0.69 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 33500 0 0 0 65 4 0 0 25 0 1 0 900380659 143695872 33407 33554432000 4194304 9128323 140735815414880 18446744073709551615 4239557 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 35082 33407 468 1205 0 33873 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 140328
[startup+1.50052 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5234
/proc/meminfo: memFree=18773316/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=191176 CPUtime=1.49 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 51759 0 0 0 143 6 0 0 25 0 1 0 900380659 195764224 45865 33554432000 4194304 9128323 140735815414880 18446744073709551615 4905087 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 47794 45865 587 1205 0 46585 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 191176
[startup+3.10124 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5234
/proc/meminfo: memFree=18750252/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=191176 CPUtime=3.09 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 51777 0 0 0 303 6 0 0 25 0 1 0 900380659 195764224 45872 33554432000 4194304 9128323 140735815414880 18446744073709551615 4825351 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 47794 45872 577 1205 0 46585 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 191176
[startup+6.30057 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5234
/proc/meminfo: memFree=18747696/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=272848 CPUtime=6.29 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 72458 0 0 0 621 8 0 0 25 0 1 0 900380659 279396352 64975 33554432000 4194304 9128323 140735815414880 18446744073709551615 6526633 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 68212 64975 688 1205 0 67003 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 272848
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5234
/proc/meminfo: memFree=18590656/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=358024 CPUtime=12.69 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 96501 0 0 0 1256 13 0 0 25 0 1 0 900380659 366616576 85601 33554432000 4194304 9128323 140735815414880 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 89506 85601 670 1205 0 88297 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 358024
[startup+25.5013 s]
/proc/loadavg: 2.16 2.05 2.01 3/515 5234
/proc/meminfo: memFree=18591032/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=25.49 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 96574 0 0 0 2535 14 0 0 25 0 1 0 900380659 369082368 85674 33554432000 4194304 9128323 140735815414880 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 85674 674 1205 0 88899 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 360432
[startup+51.1008 s]
/proc/loadavg: 2.18 2.06 2.01 3/515 5235
/proc/meminfo: memFree=18590848/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=51.09 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 96598 0 0 0 5092 17 0 0 25 0 1 0 900380659 369082368 85698 33554432000 4194304 9128323 140735815414880 18446744073709551615 7316191 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 85698 674 1205 0 88899 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 360432
[startup+102.301 s]
/proc/loadavg: 2.20 2.08 2.02 3/515 5236
/proc/meminfo: memFree=18583340/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=102.3 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 98293 0 0 0 10209 21 0 0 25 0 1 0 900380659 369082368 87393 33554432000 4194304 9128323 140735815414880 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 87393 686 1205 0 88899 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 360432
[startup+162.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/515 5238
/proc/meminfo: memFree=18582920/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=162.29 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 98293 0 0 0 16206 23 0 0 25 0 1 0 900380659 369082368 87393 33554432000 4194304 9128323 140735815414880 18446744073709551615 7315455 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 87393 686 1205 0 88899 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 360432
[startup+222.32 s]
/proc/loadavg: 2.02 2.05 2.01 3/515 5240
/proc/meminfo: memFree=18583356/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=222.32 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 98293 0 0 0 22205 27 0 0 25 0 1 0 900380659 369082368 87393 33554432000 4194304 9128323 140735815414880 18446744073709551615 8008884 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 87393 686 1205 0 88899 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 360432
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 5241
/proc/meminfo: memFree=18583560/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=282.3 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 98293 0 0 0 28201 29 0 0 25 0 1 0 900380659 369082368 87393 33554432000 4194304 9128323 140735815414880 18446744073709551615 7325726 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 87393 686 1205 0 88899 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 360432
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 5243
/proc/meminfo: memFree=18583624/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=342.3 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 98293 0 0 0 34198 32 0 0 25 0 1 0 900380659 369082368 87393 33554432000 4194304 9128323 140735815414880 18446744073709551615 7083241 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 87393 686 1205 0 88899 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 360432
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5244
/proc/meminfo: memFree=18583576/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=402.3 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 98293 0 0 0 40195 35 0 0 25 0 1 0 900380659 369082368 87393 33554432000 4194304 9128323 140735815414880 18446744073709551615 7312921 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 87393 686 1205 0 88899 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 360432
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5246
/proc/meminfo: memFree=18583652/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=462.3 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 98335 0 0 0 46188 42 0 0 25 0 1 0 900380659 369082368 87435 33554432000 4194304 9128323 140735815414880 18446744073709551615 7081204 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 87435 686 1205 0 88899 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 360432
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 5248
/proc/meminfo: memFree=18583600/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=522.3 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 98335 0 0 0 52186 44 0 0 25 0 1 0 900380659 369082368 87435 33554432000 4194304 9128323 140735815414880 18446744073709551615 7315635 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 87435 686 1205 0 88899 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 360432
[startup+582.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/515 5249
/proc/meminfo: memFree=18583664/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=360432 CPUtime=582.3 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 98335 0 0 0 58184 46 0 0 25 0 1 0 900380659 369082368 87435 33554432000 4194304 9128323 140735815414880 18446744073709551615 7325458 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 90108 87435 686 1205 0 88899 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 360432
[startup+642.3 s]
################
# More data... #
################
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 106118 114 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7192348 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 487656
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 5273
/proc/meminfo: memFree=18455156/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1122.32 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 112112 120 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 487656
[startup+1182.3 s]
/proc/loadavg: 2.20 2.06 2.02 3/515 5274
/proc/meminfo: memFree=18454364/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1182.32 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 118107 125 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7380736 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 487656
[startup+1242.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/515 5276
/proc/meminfo: memFree=18454820/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1242.32 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 124102 130 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7380899 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 487656
[startup+1302.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/515 5277
/proc/meminfo: memFree=18454032/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1302.32 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 130096 136 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7284961 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 487656
[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/515 5307
/proc/meminfo: memFree=18456092/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1362.32 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 136089 143 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7312733 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 487656
[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/515 5309
/proc/meminfo: memFree=18455980/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1422.33 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 142083 150 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 487656
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 5310
/proc/meminfo: memFree=18444928/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1482.33 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 148076 157 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7285016 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 487656
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 5312
/proc/meminfo: memFree=18439664/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1542.35 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 154072 163 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 487656
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5313
/proc/meminfo: memFree=18435784/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1602.33 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 160062 171 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7315455 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 487656
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/515 5315
/proc/meminfo: memFree=18430524/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1662.33 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 166058 175 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7284961 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 487656
[startup+1722.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/515 5317
/proc/meminfo: memFree=18423668/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1722.33 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 172052 181 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7315610 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 487656
[startup+1782.3 s]
/proc/loadavg: 2.17 2.09 2.02 3/515 5318
/proc/meminfo: memFree=18422524/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1782.33 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 178047 186 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 487656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.13 2.09 2.02 3/515 5319
/proc/meminfo: memFree=18422388/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1800.04 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 179816 188 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 487656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5233
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.12 2.09 2.02 3/516 5320
/proc/meminfo: memFree=18422380/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1800.74 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 179886 188 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 487656
[startup+1801.5 s]
/proc/loadavg: 2.12 2.09 2.02 3/516 5320
/proc/meminfo: memFree=18422380/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1801.53 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 179965 188 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 487656
[startup+1801.92 s]
/proc/loadavg: 2.12 2.09 2.02 3/516 5320
/proc/meminfo: memFree=18422380/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1801.95 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 180007 188 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7192361 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 487656
[startup+1802 s]
/proc/loadavg: 2.12 2.09 2.02 3/516 5320
/proc/meminfo: memFree=18422380/32950940 swapFree=67111364/67111528
[pid=5233] ppid=5231 vsize=487656 CPUtime=1802.03 cores=0,2,4,6
/proc/5233/stat : 5233 (scip-2.0.1.4.li) R 5231 5233 4622 0 -1 4202496 130714 0 0 0 180015 188 0 0 25 0 1 0 900380659 499359744 119553 33554432000 4194304 9128323 140735815414880 18446744073709551615 7315684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5233/statm: 121914 119553 744 1205 0 120705 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 487656
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.08
CPU user time (s): 1800.18
CPU system time (s): 1.90571
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 487656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.18
system time used= 1.90571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130714
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= 3
involuntary context switches= 2817
runsolver used 9.77251 second user time and 20.6499 second system time
The end