0.00/0.01 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3452709-1307087157.opb>
0.09/0.12 c original problem has 10772 variables (10772 bin, 0 int, 0 impl, 0 cont) and 12051 constraints
0.09/0.12 c problem read
0.09/0.12 c presolving settings loaded
0.09/0.19 o 20274
0.09/0.19 c feasible solution found by trivial heuristic, objective value 2.027400e+04
0.09/0.19 c presolving:
0.19/0.22 c (round 1) 6 del vars, 6 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 50216 impls, 50 clqs
0.19/0.29 c (round 2) 7 del vars, 8 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 11983 upgd conss, 50216 impls, 50 clqs
0.29/0.34 c (round 3) 8 del vars, 11 del conss, 1 add conss, 1 chg bounds, 1 chg sides, 5 chg coeffs, 11983 upgd conss, 50216 impls, 50 clqs
0.29/0.35 c (round 4) 9 del vars, 13 del conss, 1 add conss, 1 chg bounds, 1 chg sides, 5 chg coeffs, 11983 upgd conss, 50216 impls, 50 clqs
0.29/0.36 c (round 5) 9 del vars, 13 del conss, 1 add conss, 1 chg bounds, 1 chg sides, 5 chg coeffs, 12040 upgd conss, 50216 impls, 50 clqs
0.39/0.41 c (0.4s) probing: 101/10763 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.41 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.41 c presolving (6 rounds):
0.39/0.41 c 9 deleted vars, 13 deleted constraints, 1 added constraints, 1 tightened bounds, 0 added holes, 1 changed sides, 5 changed coefficients
0.39/0.41 c 50216 implications, 50 cliques
0.39/0.41 c presolved problem has 10763 variables (10763 bin, 0 int, 0 impl, 0 cont) and 12039 constraints
0.39/0.41 c 1752 constraints of type <knapsack>
0.39/0.41 c 10239 constraints of type <setppc>
0.39/0.41 c 48 constraints of type <logicor>
0.39/0.41 c transformed objective value is always integral (scale: 1)
0.39/0.41 c Presolving Time: 0.27
0.39/0.41 c - non default parameters ----------------------------------------------------------------------
0.39/0.41 c # SCIP version 2.0.1.4
0.39/0.41 c
0.39/0.41 c # frequency for displaying node information lines
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41 c display/freq = 10000
0.39/0.41 c
0.39/0.41 c # maximal time in seconds to run
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/time = 1800
0.39/0.41 c
0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/memory = 13950
0.39/0.41 c
0.39/0.41 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.41 c # [type: int, range: [1,2], default: 1]
0.39/0.41 c timing/clocktype = 2
0.39/0.41 c
0.39/0.41 c # belongs reading time to solving time?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c timing/reading = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify inequalities
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/linear/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/indicator/addCouplingCons = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify knapsacks
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c separating/rapidlearning/freq = 0
0.39/0.41 c
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c start solving
0.39/0.41 c
0.39/0.42 o 20265
0.39/0.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.42 c t 0.4s| 1 | 0 | 0 | - | 38M| 0 | - | 10k| 12k| 0 | 0 | 0 | 0 | 0 | -- | 2.026500e+04 | Inf
0.39/0.47 o 10405
0.39/0.47 c b 0.5s| 1 | 0 | 0 | - | 48M| 0 | - | 10k| 12k| 10k| 12k| 0 | 0 | 0 | -- | 1.040500e+04 | Inf
22.09/22.10 c 22.1s| 1 | 0 | 20530 | - | 48M| 0 |3500 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 8.100000e+00 | 1.040500e+04 | Large
22.39/22.46 o 4560
22.39/22.46 c R22.5s| 1 | 0 | 20530 | - | 48M| 0 |3500 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 8.100000e+00 | 4.560000e+03 | Large
22.79/22.82 o 4558
22.79/22.82 c s22.8s| 1 | 0 | 20530 | - | 49M| 0 |3500 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 8.100000e+00 | 4.558000e+03 | Large
22.79/22.82 o 1356
22.79/22.82 c b22.8s| 1 | 0 | 20530 | - | 49M| 0 |3500 | 10k| 12k| 10k| 12k| 0 | 0 | 0 | 8.100000e+00 | 1.356000e+03 | Large
27.50/27.53 c 27.5s| 1 | 0 | 22412 | - | 50M| 0 |3470 | 10k| 12k| 10k| 12k| 11 | 0 | 0 | 8.500000e+00 | 1.356000e+03 | Large
27.89/27.93 o 573
27.89/27.93 c b27.9s| 1 | 0 | 22412 | - | 50M| 0 |3470 | 10k| 12k| 10k| 12k| 11 | 0 | 0 | 8.500000e+00 | 5.730000e+02 |6641.18%
31.19/31.22 c 31.2s| 1 | 0 | 22782 | - | 50M| 0 |3629 | 10k| 12k| 10k| 12k| 14 | 0 | 0 | 8.585714e+00 | 5.730000e+02 |6573.88%
31.49/31.59 o 433
31.49/31.59 c b31.6s| 1 | 0 | 22782 | - | 50M| 0 |3629 | 10k| 12k| 10k| 12k| 14 | 0 | 0 | 8.585714e+00 | 4.330000e+02 |4943.26%
35.39/35.40 c 35.4s| 1 | 0 | 23553 | - | 50M| 0 |3643 | 10k| 12k| 10k| 12k| 17 | 0 | 0 | 8.714286e+00 | 4.330000e+02 |4868.85%
35.69/35.75 o 404
35.69/35.75 c b35.8s| 1 | 0 | 23553 | - | 51M| 0 |3643 | 10k| 12k| 10k| 12k| 17 | 0 | 0 | 8.714286e+00 | 4.040000e+02 |4536.07%
39.29/39.31 c 39.3s| 1 | 0 | 24000 | - | 51M| 0 |3636 | 10k| 12k| 10k| 12k| 20 | 0 | 0 | 9.000000e+00 | 4.040000e+02 |4388.89%
42.79/42.90 c 42.9s| 1 | 0 | 24133 | - | 51M| 0 |3713 | 10k| 12k| 10k| 12k| 22 | 0 | 0 | 9.000000e+00 | 4.040000e+02 |4388.89%
46.49/46.54 c 46.5s| 1 | 0 | 24230 | - | 51M| 0 |3754 | 10k| 12k| 10k| 12k| 23 | 0 | 0 | 9.000000e+00 | 4.040000e+02 |4388.89%
105.30/105.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.30/105.38 c 105s| 1 | 2 | 24230 | - | 51M| 0 |3754 | 10k| 12k| 10k| 12k| 23 | 0 | 19 | 9.000000e+00 | 4.040000e+02 |4388.89%
365.60/365.69 o 31
365.60/365.69 c c 366s| 16 | 17 | 87125 |4193.0 | 59M| 15 | - | 10k| 12k| 10k| 12k| 23 | 0 | 221 | 9.000000e+00 | 3.100000e+01 | 244.44%
365.70/365.72 o 27
365.70/365.72 c b 366s| 17 | 16 | 87125 |3930.9 | 52M| 15 | - | 10k| 12k| 10k| 12k| 23 | 0 | 221 | 9.000000e+00 | 2.700000e+01 | 200.00%
757.41/757.42 o 20
757.41/757.42 c c 757s| 111 | 112 |307306 |2573.4 | 60M| 19 | - | 10k| 12k| 10k| 12k| 23 | 0 | 366 | 9.000000e+00 | 2.000000e+01 | 122.22%
758.41/758.46 o 19
758.41/758.46 c b 758s| 112 | 113 |307833 |2555.0 | 54M| 19 |3892 | 10k| 12k| 10k| 12k| 23 | 0 | 366 | 9.000000e+00 | 1.900000e+01 | 111.11%
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Solving Time (sec) : 1800.01
1800.03/1800.01 c Solving Nodes : 235
1800.03/1800.01 c Primal Bound : +1.90000000000000e+01 (14 solutions)
1800.03/1800.01 c Dual Bound : +9.00000000000819e+00
1800.03/1800.01 c Gap : 111.11 %
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-3452709-1307087157/watcher-3452709-1307087157 -o /tmp/evaluation-result-3452709-1307087157/solver-3452709-1307087157 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452709-1307087157.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.99 2.08 3/505 1749
/proc/meminfo: memFree=30352320/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=6864 CPUtime=0 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 861 0 0 0 0 0 0 0 25 0 1 0 820318305 7028736 815 33554432000 4194304 9128323 140733238946528 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1749/statm: 1716 815 350 1205 0 507 0
[startup+0.0221421 s]
/proc/loadavg: 1.92 1.99 2.08 3/505 1749
/proc/meminfo: memFree=30352320/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=18380 CPUtime=0.01 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 3605 0 0 0 1 0 0 0 25 0 1 0 820318305 18821120 3558 33554432000 4194304 9128323 140733238946528 18446744073709551615 7919088 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1749/statm: 4595 3558 393 1205 0 3386 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18380
[startup+0.101172 s]
/proc/loadavg: 1.92 1.99 2.08 3/505 1749
/proc/meminfo: memFree=30352320/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=23920 CPUtime=0.09 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 5016 0 0 0 9 0 0 0 25 0 1 0 820318305 24494080 4964 33554432000 4194304 9128323 140733238946528 18446744073709551615 6191647 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1749/statm: 5980 4964 400 1205 0 4771 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23920
[startup+0.30111 s]
/proc/loadavg: 1.92 1.99 2.08 3/505 1749
/proc/meminfo: memFree=30352320/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=70252 CPUtime=0.29 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 16932 0 0 0 27 2 0 0 25 0 1 0 820318305 71938048 16267 33554432000 4194304 9128323 140733238946528 18446744073709551615 5125673 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 17563 16267 622 1205 0 16354 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70252
[startup+0.701069 s]
/proc/loadavg: 1.92 1.99 2.08 3/505 1749
/proc/meminfo: memFree=30352320/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=98504 CPUtime=0.69 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 23975 0 0 0 66 3 0 0 25 0 1 0 820318305 100868096 22902 33554432000 4194304 9128323 140733238946528 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 24626 22902 673 1205 0 23417 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98504
[startup+1.50091 s]
/proc/loadavg: 1.92 1.99 2.08 3/506 1750
/proc/meminfo: memFree=30261048/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=100496 CPUtime=1.49 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 24690 0 0 0 145 4 0 0 25 0 1 0 820318305 102907904 23596 33554432000 4194304 9128323 140733238946528 18446744073709551615 7315500 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 25124 23596 658 1205 0 23915 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100496
[startup+3.10058 s]
/proc/loadavg: 1.92 1.99 2.08 3/506 1750
/proc/meminfo: memFree=30257816/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=101400 CPUtime=3.09 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 24920 0 0 0 305 4 0 0 25 0 1 0 820318305 103833600 23826 33554432000 4194304 9128323 140733238946528 18446744073709551615 7315282 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 25350 23826 658 1205 0 24141 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101400
[startup+6.30107 s]
/proc/loadavg: 1.93 1.99 2.08 3/506 1750
/proc/meminfo: memFree=30256940/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=101564 CPUtime=6.29 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 24999 0 0 0 624 5 0 0 25 0 1 0 820318305 104001536 23905 33554432000 4194304 9128323 140733238946528 18446744073709551615 7314112 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 25391 23905 662 1205 0 24182 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101564
[startup+12.7009 s]
/proc/loadavg: 1.93 1.99 2.08 3/506 1750
/proc/meminfo: memFree=30254124/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=103636 CPUtime=12.69 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 25597 0 0 0 1264 5 0 0 25 0 1 0 820318305 106123264 24503 33554432000 4194304 9128323 140733238946528 18446744073709551615 7279225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 25909 24503 662 1205 0 24700 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103636
[startup+25.5007 s]
/proc/loadavg: 1.95 1.99 2.08 3/506 1750
/proc/meminfo: memFree=30252748/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=107844 CPUtime=25.49 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 26865 0 0 0 2542 7 0 0 25 0 1 0 820318305 110432256 25752 33554432000 4194304 9128323 140733238946528 18446744073709551615 6358749 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 26961 25752 708 1205 0 25752 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 107844
[startup+51.1011 s]
/proc/loadavg: 1.96 1.99 2.08 3/506 1751
/proc/meminfo: memFree=30186152/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=172964 CPUtime=51.09 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 42930 0 0 0 5093 16 0 0 25 0 1 0 820318305 177115136 41558 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 43241 41558 726 1205 0 42032 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 172964
[startup+102.319 s]
/proc/loadavg: 2.09 2.02 2.08 3/506 1752
/proc/meminfo: memFree=30241816/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=115644 CPUtime=102.31 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 44617 0 0 0 10197 34 0 0 25 0 1 0 820318305 118419456 27684 33554432000 4194304 9128323 140733238946528 18446744073709551615 6941934 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 28911 27684 744 1205 0 27702 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 115644
[startup+162.301 s]
/proc/loadavg: 2.08 2.03 2.08 4/506 1754
/proc/meminfo: memFree=30240520/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=115676 CPUtime=162.3 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 51547 0 0 0 16187 43 0 0 25 0 1 0 820318305 118452224 27688 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 28919 27688 744 1205 0 27710 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 115676
[startup+222.301 s]
/proc/loadavg: 2.03 2.02 2.08 3/506 1756
/proc/meminfo: memFree=30241848/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=115676 CPUtime=222.3 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 76335 0 0 0 22176 54 0 0 25 0 1 0 820318305 118452224 27689 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 28919 27689 744 1205 0 27710 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 115676
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.08 3/506 1757
/proc/meminfo: memFree=30241080/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=117024 CPUtime=282.3 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 96685 0 0 0 28168 62 0 0 25 0 1 0 820318305 119832576 27919 33554432000 4194304 9128323 140733238946528 18446744073709551615 7328013 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 29256 27919 744 1205 0 28047 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 117024
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.07 3/506 1759
/proc/meminfo: memFree=30237836/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=119840 CPUtime=342.3 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 97376 0 0 0 34162 68 0 0 25 0 1 0 820318305 122716160 28610 33554432000 4194304 9128323 140733238946528 18446744073709551615 7313471 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 29960 28610 744 1205 0 28751 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 119840
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.06 3/506 1760
/proc/meminfo: memFree=30235920/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=122260 CPUtime=402.3 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 98028 0 0 0 40154 76 0 0 25 0 1 0 820318305 125194240 29262 33554432000 4194304 9128323 140733238946528 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 30565 29262 744 1205 0 29356 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 122260
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.06 3/506 1762
/proc/meminfo: memFree=30235024/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=122260 CPUtime=462.3 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 98028 0 0 0 46147 83 0 0 25 0 1 0 820318305 125194240 29262 33554432000 4194304 9128323 140733238946528 18446744073709551615 7315455 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 30565 29262 744 1205 0 29356 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 122260
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.05 3/506 1764
/proc/meminfo: memFree=30236480/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=120784 CPUtime=522.3 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 99315 0 0 0 52141 89 0 0 25 0 1 0 820318305 123682816 28997 33554432000 4194304 9128323 140733238946528 18446744073709551615 7315369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 30196 28997 744 1205 0 28987 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 120784
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/506 1765
/proc/meminfo: memFree=30235948/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=120996 CPUtime=582.3 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 100493 0 0 0 58133 97 0 0 25 0 1 0 820318305 123899904 28992 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 30249 28992 744 1205 0 29040 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 120996
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.04 3/506 1799
/proc/meminfo: memFree=30115288/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=127056 CPUtime=822.31 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 103124 0 0 0 82107 124 0 0 25 0 1 0 820318305 130105344 30535 33554432000 4194304 9128323 140733238946528 18446744073709551615 7191192 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 31764 30535 744 1205 0 30555 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 127056
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/506 1800
/proc/meminfo: memFree=30115496/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=127056 CPUtime=882.31 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 103124 0 0 0 88100 131 0 0 25 0 1 0 820318305 130105344 30535 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 31764 30535 744 1205 0 30555 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 127056
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.03 3/506 1811
/proc/meminfo: memFree=30111664/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=127080 CPUtime=942.32 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 104214 0 0 0 94092 140 0 0 25 0 1 0 820318305 130129920 30370 33554432000 4194304 9128323 140733238946528 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 31770 30370 744 1205 0 30561 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 127080
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/506 1812
/proc/meminfo: memFree=30110636/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=127080 CPUtime=1002.32 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 104411 0 0 0 100085 147 0 0 25 0 1 0 820318305 130129920 30567 33554432000 4194304 9128323 140733238946528 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 31770 30567 744 1205 0 30561 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 127080
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/506 1816
/proc/meminfo: memFree=30103256/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=129508 CPUtime=1062.32 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 104994 0 0 0 106077 155 0 0 25 0 1 0 820318305 132616192 31150 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32377 31150 744 1205 0 31168 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 129508
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.02 3/506 1819
/proc/meminfo: memFree=30091556/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=129508 CPUtime=1122.32 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 104994 0 0 0 112070 162 0 0 25 0 1 0 820318305 132616192 31150 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32377 31150 744 1205 0 31168 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 129508
[startup+1182.3 s]
/proc/loadavg: 2.12 2.04 2.02 3/506 1820
/proc/meminfo: memFree=30076776/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=129888 CPUtime=1182.32 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106128 0 0 0 118062 170 0 0 25 0 1 0 820318305 133005312 31197 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32472 31197 744 1205 0 31263 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 129888
[startup+1242.3 s]
/proc/loadavg: 2.17 2.07 2.03 3/506 1822
/proc/meminfo: memFree=30034696/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=129888 CPUtime=1242.33 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106167 0 0 0 124056 177 0 0 25 0 1 0 820318305 133005312 31236 33554432000 4194304 9128323 140733238946528 18446744073709551615 7315232 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32472 31236 744 1205 0 31263 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 129888
[startup+1302.3 s]
/proc/loadavg: 2.10 2.07 2.03 3/506 1823
/proc/meminfo: memFree=30033532/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=129888 CPUtime=1302.32 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106167 0 0 0 130050 182 0 0 25 0 1 0 820318305 133005312 31236 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32472 31236 744 1205 0 31263 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 129888
[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.02 3/506 1825
/proc/meminfo: memFree=30039432/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=129888 CPUtime=1362.32 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106167 0 0 0 136044 188 0 0 25 0 1 0 820318305 133005312 31236 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32472 31236 744 1205 0 31263 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 129888
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.02 3/506 1827
/proc/meminfo: memFree=30039512/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=129888 CPUtime=1422.34 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106167 0 0 0 142040 194 0 0 25 0 1 0 820318305 133005312 31236 33554432000 4194304 9128323 140733238946528 18446744073709551615 7315232 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32472 31236 744 1205 0 31263 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 129888
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/506 1828
/proc/meminfo: memFree=30039092/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=129888 CPUtime=1482.33 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106167 0 0 0 148031 202 0 0 25 0 1 0 820318305 133005312 31236 33554432000 4194304 9128323 140733238946528 18446744073709551615 7315378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32472 31236 744 1205 0 31263 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 129888
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/506 1830
/proc/meminfo: memFree=30028148/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=129888 CPUtime=1542.33 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106167 0 0 0 154025 208 0 0 25 0 1 0 820318305 133005312 31236 33554432000 4194304 9128323 140733238946528 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32472 31236 744 1205 0 31263 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 129888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 1831
/proc/meminfo: memFree=30015820/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=129888 CPUtime=1602.33 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106167 0 0 0 160019 214 0 0 25 0 1 0 820318305 133005312 31236 33554432000 4194304 9128323 140733238946528 18446744073709551615 7315449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32472 31236 744 1205 0 31263 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 129888
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 1833
/proc/meminfo: memFree=30008332/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=130780 CPUtime=1662.33 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106401 0 0 0 166012 221 0 0 25 0 1 0 820318305 133918720 31470 33554432000 4194304 9128323 140733238946528 18446744073709551615 7082069 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32695 31470 744 1205 0 31486 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 130780
[startup+1722.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/506 1835
/proc/meminfo: memFree=29994764/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=130780 CPUtime=1722.33 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106401 0 0 0 172006 227 0 0 25 0 1 0 820318305 133918720 31470 33554432000 4194304 9128323 140733238946528 18446744073709551615 7286104 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32695 31470 744 1205 0 31486 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 130780
[startup+1782.3 s]
/proc/loadavg: 2.24 2.08 2.02 3/506 1836
/proc/meminfo: memFree=29981824/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=130780 CPUtime=1782.33 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106401 0 0 0 178000 233 0 0 25 0 1 0 820318305 133918720 31470 33554432000 4194304 9128323 140733238946528 18446744073709551615 7267664 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32695 31470 744 1205 0 31486 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 130780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.17 2.07 2.02 3/506 1837
/proc/meminfo: memFree=29979548/32951124 swapFree=51712236/67111528
[pid=1749] ppid=1747 vsize=130780 CPUtime=1800.03 cores=0,2,4,6
/proc/1749/stat : 1749 (scip-2.0.1.4.li) R 1747 1749 27258 0 -1 4202496 106401 0 0 0 179767 236 0 0 25 0 1 0 820318305 133918720 31470 33554432000 4194304 9128323 140733238946528 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1749/statm: 32695 31470 744 1205 0 31486 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 130780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1797.69
CPU system time (s): 2.37564
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 174948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.69
system time used= 2.37564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106401
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= 5
involuntary context switches= 21496
runsolver used 9.47456 second user time and 20.005 second system time
The end