0.00/0.00 c SCIP version 2.0.1.5 [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-3451063-1307097412.opb>
0.00/0.05 c original problem has 1288 variables (1288 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.00/0.07 c presolving:
0.00/0.08 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.09 c (round 2) 1 del vars, 1183 del conss, 0 add conss, 1 chg bounds, 2 chg sides, 37 chg coeffs, 38 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (round 3) 1 del vars, 1183 del conss, 1 add conss, 1 chg bounds, 3 chg sides, 39 chg coeffs, 66 upgd conss, 26 impls, 0 clqs
0.19/0.23 c (0.2s) probing: 151/1287 (11.7%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
0.19/0.23 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (4 rounds):
0.19/0.23 c 1 deleted vars, 1183 deleted constraints, 1 added constraints, 1 tightened bounds, 0 added holes, 3 changed sides, 39 changed coefficients
0.19/0.23 c 36 implications, 0 cliques
0.19/0.23 c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1249 constraints
0.19/0.23 c 66 constraints of type <knapsack>
0.19/0.23 c 1 constraints of type <setppc>
0.19/0.23 c 1182 constraints of type <linear>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.16
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 2.0.1.5
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1800
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 13950
0.19/0.23 c
0.19/0.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.23 c # [type: int, range: [1,2], default: 1]
0.19/0.23 c timing/clocktype = 2
0.19/0.23 c
0.19/0.23 c # belongs reading time to solving time?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c timing/reading = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/indicator/addCouplingCons = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c separating/rapidlearning/freq = 0
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.26 c 0.3s| 1 | 0 | 249 | - | 10M| 0 | 228 |1287 |1268 |1287 |1249 | 0 | 19 | 0 | 5.500000e+01 | -- | Inf
0.59/0.69 c 0.7s| 1 | 0 | 1698 | - | 10M| 0 | 294 |1287 |1412 |1287 |1381 | 132 | 19 | 0 | 5.500000e+01 | -- | Inf
0.89/0.95 c 1.0s| 1 | 0 | 2690 | - | 11M| 0 | 674 |1287 |1412 |1287 |1545 | 296 | 19 | 0 | 5.500000e+01 | -- | Inf
1.19/1.23 c 1.2s| 1 | 0 | 3230 | - | 11M| 0 | 633 |1287 |1412 |1287 |1755 | 506 | 19 | 0 | 5.500000e+01 | -- | Inf
1.48/1.56 c 1.6s| 1 | 0 | 3751 | - | 12M| 0 | 736 |1287 |1412 |1287 |1945 | 696 | 19 | 0 | 5.500000e+01 | -- | Inf
1.99/2.05 c 2.0s| 1 | 0 | 4348 | - | 13M| 0 | 740 |1287 |1412 |1287 |2099 | 850 | 19 | 0 | 5.500000e+01 | -- | Inf
2.39/2.44 c 2.4s| 1 | 0 | 4820 | - | 13M| 0 | 778 |1287 |1412 |1287 |2274 |1025 | 19 | 0 | 5.500000e+01 | -- | Inf
4.88/4.93 c 4.9s| 1 | 2 | 4820 | - | 13M| 0 | 778 |1287 |1412 |1287 |2274 |1025 | 19 | 18 | 5.500000e+01 | -- | Inf
203.57/203.63 c 204s| 10000 | 4163 | 2096k| 209.2 | 34M| 59 | 574 |1287 |3280 |1287 |1355 |1025 | 16k|6636 | 5.500000e+01 | -- | Inf
303.88/303.95 c 304s| 20000 | 6704 | 3368k| 168.2 | 51M| 61 | 71 |1287 |3918 |1287 |1355 |1025 | 32k|8860 | 5.500000e+01 | -- | Inf
411.78/411.84 c 412s| 30000 | 9343 | 4732k| 157.6 | 70M| 65 | - |1287 |4239 | 0 | 0 |1025 | 51k| 11k| 5.500000e+01 | -- | Inf
492.97/493.01 c 493s| 40000 | 12067 | 5836k| 145.8 | 90M| 65 | 236 |1287 |3954 |1287 |1355 |1025 | 67k| 13k| 5.500000e+01 | -- | Inf
582.77/582.81 c 583s| 50000 | 14594 | 6957k| 139.1 | 112M| 65 | - |1287 |4037 | 0 | 0 |1025 | 83k| 16k| 5.500000e+01 | -- | Inf
668.28/668.30 c 668s| 60000 | 17420 | 8179k| 136.3 | 136M| 65 | 316 |1287 |4998 |1287 |1355 |1025 | 98k| 18k| 5.500000e+01 | -- | Inf
739.78/739.81 c 740s| 70000 | 19197 | 9244k| 132.0 | 151M| 65 | - |1287 |4043 | 0 | 0 |1025 | 113k| 19k| 5.500000e+01 | -- | Inf
827.89/827.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.89/827.98 c 828s| 80000 | 21557 | 10412k| 130.1 | 168M| 65 | 116 |1287 |4582 |1287 |1355 |1025 | 130k| 21k| 5.500000e+01 | -- | Inf
858.00/858.02 o 120
858.00/858.02 c * 858s| 85501 | 18934 | 10847k| 126.8 | 154M| 65 | - |1287 |5287 |1287 |1355 |1025 | 138k| 21k| 5.500000e+01 | 1.200000e+02 | 118.18%
858.69/858.71 o 119
858.69/858.71 c * 859s| 85618 | 13137 | 10857k| 126.8 | 123M| 65 | - |1287 |5109 |1287 |1355 |1025 | 138k| 21k| 5.500000e+01 | 1.190000e+02 | 116.36%
878.58/878.62 c 879s| 90000 | 13596 | 11127k| 123.6 | 127M| 65 | 85 |1287 |5192 |1287 |1355 |1025 | 145k| 21k| 5.500000e+01 | 1.190000e+02 | 116.36%
894.48/894.56 o 118
894.48/894.56 c g 895s| 93247 | 13197 | 11345k| 121.6 | 118M| 65 | - |1287 |5449 |1287 |1355 |1025 | 150k| 21k| 5.500000e+01 | 1.180000e+02 | 114.55%
934.89/934.92 c 935s|100000 | 13746 | 11813k| 118.1 | 123M| 65 | 259 |1287 |5221 |1287 |1355 |1025 | 159k| 22k| 5.500000e+01 | 1.180000e+02 | 114.55%
974.99/975.08 o 115
974.99/975.08 c * 975s|105935 | 14252 | 12330k| 116.4 | 127M| 66 | - |1287 |4506 |1287 |1355 |1025 | 168k| 23k| 5.500000e+01 | 1.150000e+02 | 109.09%
976.59/976.63 o 114
976.59/976.63 c * 977s|106092 | 14187 | 12349k| 116.4 | 127M| 66 | - |1287 |4501 |1287 |1355 |1025 | 168k| 23k| 5.500000e+01 | 1.140000e+02 | 107.27%
977.98/978.02 o 113
977.98/978.02 c C 978s|106292 | 14138 | 12370k| 116.3 | 127M| 66 | - |1287 |4481 |1287 |1355 |1025 | 169k| 23k| 5.500000e+01 | 1.130000e+02 | 105.45%
1000.29/1000.39 c 1000s|110000 | 14677 | 12712k| 115.5 | 133M| 66 | - |1287 |4706 | 0 | 0 |1025 | 174k| 23k| 5.500000e+01 | 1.130000e+02 | 105.45%
1052.19/1052.24 c 1052s|120000 | 15427 | 13366k| 111.3 | 142M| 66 | 123 |1287 |6174 |1287 |1355 |1025 | 188k| 24k| 5.500000e+01 | 1.130000e+02 | 105.45%
1107.79/1107.85 c 1108s|130000 | 16507 | 14059k| 108.1 | 152M| 66 | - |1287 |6085 | 0 | 0 |1025 | 202k| 25k| 5.500000e+01 | 1.130000e+02 | 105.45%
1158.69/1158.78 c 1159s|140000 | 17326 | 14801k| 105.7 | 162M| 66 | 240 |1287 |6672 |1287 |1355 |1025 | 215k| 25k| 5.500000e+01 | 1.130000e+02 | 105.45%
1218.19/1218.20 c 1218s|150000 | 17943 | 15473k| 103.1 | 168M| 66 | 174 |1287 |7558 |1287 |1355 |1025 | 229k| 27k| 5.500000e+01 | 1.130000e+02 | 105.45%
1270.19/1270.26 c 1270s|160000 | 18338 | 16167k| 101.0 | 172M| 67 | 430 |1287 |7132 |1287 |1355 |1025 | 242k| 27k| 5.500000e+01 | 1.130000e+02 | 105.45%
1319.10/1319.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1319.10/1319.14 c 1319s|170000 | 19490 | 16895k| 99.4 | 184M| 67 | 127 |1287 |8986 |1287 |1355 |1025 | 253k| 28k| 5.500000e+01 | 1.130000e+02 | 105.45%
1375.90/1375.97 c 1376s|180000 | 20490 | 17671k| 98.1 | 194M| 67 | 214 |1287 |7625 |1287 |1355 |1025 | 264k| 29k| 5.500000e+01 | 1.130000e+02 | 105.45%
1429.50/1429.51 c 1430s|190000 | 20898 | 18450k| 97.1 | 200M| 67 | 502 |1287 |7561 |1287 |1355 |1025 | 276k| 29k| 5.500000e+01 | 1.130000e+02 | 105.45%
1495.40/1495.49 c 1495s|200000 | 22218 | 19307k| 96.5 | 213M| 68 | - |1287 |8042 | 0 | 0 |1025 | 289k| 31k| 5.500000e+01 | 1.130000e+02 | 105.45%
1561.20/1561.22 c 1561s|210000 | 24128 | 20282k| 96.6 | 230M| 68 | - |1287 |8521 | 0 | 0 |1025 | 302k| 31k| 5.500000e+01 | 1.130000e+02 | 105.45%
1627.10/1627.13 c 1627s|220000 | 26293 | 21318k| 96.9 | 253M| 68 | 426 |1287 |7345 |1287 |1355 |1025 | 315k| 32k| 5.500000e+01 | 1.130000e+02 | 105.45%
1697.40/1697.47 c 1697s|230000 | 28104 | 22278k| 96.8 | 271M| 68 | 125 |1287 |8051 |1287 |1355 |1025 | 328k| 34k| 5.500000e+01 | 1.130000e+02 | 105.45%
1762.60/1762.67 c 1763s|240000 | 29707 | 23274k| 97.0 | 283M| 68 | 353 |1287 |4805 |1287 |1355 |1025 | 342k| 34k| 5.500000e+01 | 1.130000e+02 | 105.45%
1800.00/1800.01 c
1800.00/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.01 c Solving Time (sec) : 1800.01
1800.00/1800.01 c Solving Nodes : 245256
1800.00/1800.01 c Primal Bound : +1.13000000000000e+02 (6 solutions)
1800.00/1800.01 c Dual Bound : +5.50000000000000e+01
1800.00/1800.01 c Gap : 105.45 %
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-3451063-1307097412/watcher-3451063-1307097412 -o /tmp/evaluation-result-3451063-1307097412/solver-3451063-1307097412 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451063-1307097412.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.14 2.04 2.01 2/434 27387
/proc/meminfo: memFree=12415620/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=13132 CPUtime=0 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 2278 0 0 0 0 0 0 0 25 0 1 0 821340804 13447168 2232 33554432000 4194304 9163163 140736025450160 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27387/statm: 3283 2232 395 1214 0 2065 0
[startup+0.0986081 s]
/proc/loadavg: 2.14 2.04 2.01 2/434 27387
/proc/meminfo: memFree=12415620/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=37876 CPUtime=0.08 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 8393 0 0 0 8 0 0 0 25 0 1 0 821340804 38785024 8089 33554432000 4194304 9163163 140736025450160 18446744073709551615 5176759 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27387/statm: 9469 8089 535 1214 0 8251 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 37876
[startup+0.100606 s]
/proc/loadavg: 2.14 2.04 2.01 2/434 27387
/proc/meminfo: memFree=12415620/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=37876 CPUtime=0.09 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 8393 0 0 0 9 0 0 0 25 0 1 0 821340804 38785024 8089 33554432000 4194304 9163163 140736025450160 18446744073709551615 4708799 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27387/statm: 9469 8089 535 1214 0 8251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37876
[startup+0.300574 s]
/proc/loadavg: 2.14 2.04 2.01 2/434 27387
/proc/meminfo: memFree=12415620/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=45204 CPUtime=0.28 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 10637 0 0 0 28 0 0 0 25 0 1 0 821340804 46288896 10069 33554432000 4194304 9163163 140736025450160 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27387/statm: 11301 10069 675 1214 0 10083 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 45204
[startup+0.700518 s]
/proc/loadavg: 2.14 2.04 2.01 2/434 27387
/proc/meminfo: memFree=12415620/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=65404 CPUtime=0.69 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 16401 0 0 0 68 1 0 0 25 0 1 0 821340804 66973696 15101 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27387/statm: 16351 15101 719 1214 0 15133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65404
[startup+1.50039 s]
/proc/loadavg: 2.14 2.04 2.01 3/435 27388
/proc/meminfo: memFree=12355844/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=65404 CPUtime=1.48 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 16643 0 0 0 147 1 0 0 25 0 1 0 821340804 66973696 15243 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27387/statm: 16351 15243 719 1214 0 15133 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 65404
[startup+3.10111 s]
/proc/loadavg: 2.14 2.04 2.01 3/435 27388
/proc/meminfo: memFree=12354972/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=66428 CPUtime=3.09 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 17011 0 0 0 307 2 0 0 25 0 1 0 821340804 68022272 15611 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27387/statm: 16607 15611 724 1214 0 15389 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66428
[startup+6.30055 s]
/proc/loadavg: 2.13 2.04 2.01 3/435 27388
/proc/meminfo: memFree=12353360/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=66428 CPUtime=6.29 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 17011 0 0 0 624 5 0 0 25 0 1 0 821340804 68022272 15611 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27387/statm: 16607 15611 724 1214 0 15389 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66428
[startup+12.7004 s]
/proc/loadavg: 2.28 2.07 2.02 3/435 27388
/proc/meminfo: memFree=12352144/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=66428 CPUtime=12.69 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 17011 0 0 0 1256 13 0 0 25 0 1 0 821340804 68022272 15611 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27387/statm: 16607 15611 724 1214 0 15389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66428
[startup+25.5002 s]
/proc/loadavg: 2.22 2.07 2.02 3/435 27388
/proc/meminfo: memFree=12353124/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=66428 CPUtime=25.49 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 17016 0 0 0 2515 34 0 0 25 0 1 0 821340804 68022272 15616 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27387/statm: 16607 15616 727 1214 0 15389 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66428
[startup+51.1008 s]
/proc/loadavg: 2.14 2.06 2.02 3/435 27389
/proc/meminfo: memFree=12353228/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=66428 CPUtime=51.07 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 17019 0 0 0 5040 67 0 0 25 0 1 0 821340804 68022272 15619 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 16607 15619 727 1214 0 15389 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66428
[startup+102.317 s]
/proc/loadavg: 2.04 2.05 2.01 2/433 27391
/proc/meminfo: memFree=12453196/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=70216 CPUtime=102.29 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 17948 0 0 0 10087 142 0 0 25 0 1 0 821340804 71901184 16547 33554432000 4194304 9163163 140736025450160 18446744073709551615 6931021 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 17554 16547 727 1214 0 16336 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 70216
[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/435 27447
/proc/meminfo: memFree=12357320/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=79792 CPUtime=162.27 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 25020 0 0 0 15997 230 0 0 25 0 1 0 821340804 81707008 18874 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 19948 18874 727 1214 0 18730 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 79792
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 27449
/proc/meminfo: memFree=12347152/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=89432 CPUtime=222.28 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 30119 0 0 0 21904 324 0 0 25 0 1 0 821340804 91578368 21369 33554432000 4194304 9163163 140736025450160 18446744073709551615 7375384 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 22358 21369 727 1214 0 21140 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 89432
[startup+282.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/435 27450
/proc/meminfo: memFree=12321724/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=104876 CPUtime=282.28 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 34782 0 0 0 27813 415 0 0 25 0 1 0 821340804 107393024 25267 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 26219 25267 727 1214 0 25001 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 104876
[startup+342.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/435 27452
/proc/meminfo: memFree=12299268/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=119016 CPUtime=342.27 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 38980 0 0 0 33716 511 0 0 25 0 1 0 821340804 121872384 28794 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 29754 28794 729 1214 0 28536 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 119016
[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/435 27453
/proc/meminfo: memFree=12272360/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=135100 CPUtime=402.27 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 43190 0 0 0 39625 602 0 0 25 0 1 0 821340804 138342400 32759 33554432000 4194304 9163163 140736025450160 18446744073709551615 5178457 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 33775 32759 729 1214 0 32557 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 135100
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 27455
/proc/meminfo: memFree=12245812/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=146240 CPUtime=462.27 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 47519 0 0 0 45530 697 0 0 25 0 1 0 821340804 149749760 35617 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 36560 35617 729 1214 0 35342 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 146240
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27457
/proc/meminfo: memFree=12206124/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=169964 CPUtime=522.28 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 53804 0 0 0 51431 797 0 0 25 0 1 0 821340804 174043136 41560 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 42491 41560 727 1214 0 41273 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 169964
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27458
/proc/meminfo: memFree=12175856/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=188356 CPUtime=582.28 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 61187 0 0 0 57338 890 0 0 25 0 1 0 821340804 192876544 46168 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 47089 46168 727 1214 0 45871 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 188356
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/435 27465
/proc/meminfo: memFree=12045752/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=268772 CPUtime=822.29 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 84362 0 0 0 80938 1291 0 0 25 0 1 0 821340804 275222528 66126 33554432000 4194304 9163163 140736025450160 18446744073709551615 6889864 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 67193 66126 736 1214 0 65975 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 268772
[startup+882.301 s]
/proc/loadavg: 2.12 2.06 2.02 3/435 27466
/proc/meminfo: memFree=12018588/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=281520 CPUtime=882.28 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 87636 0 0 0 86853 1375 0 0 25 0 1 0 821340804 288276480 69304 33554432000 4194304 9163163 140736025450160 18446744073709551615 7300297 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 70380 69304 737 1214 0 69162 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 281520
[startup+942.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/435 27468
/proc/meminfo: memFree=12001468/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=283372 CPUtime=942.29 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 108081 0 0 0 92763 1466 0 0 25 0 1 0 821340804 290172928 69772 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 70843 69772 741 1214 0 69625 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 283372
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/435 27469
/proc/meminfo: memFree=11992532/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=287136 CPUtime=1002.28 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 150178 0 0 0 98668 1560 0 0 25 0 1 0 821340804 294027264 70643 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 71784 70643 742 1214 0 70566 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 287136
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 27471
/proc/meminfo: memFree=11979128/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=290444 CPUtime=1062.28 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 161876 0 0 0 104584 1644 0 0 25 0 1 0 821340804 297414656 71477 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 72611 71477 742 1214 0 71393 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 290444
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27473
/proc/meminfo: memFree=11964612/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=294864 CPUtime=1122.29 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 171996 0 0 0 110495 1734 0 0 25 0 1 0 821340804 301940736 72620 33554432000 4194304 9163163 140736025450160 18446744073709551615 5179589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 73716 72620 742 1214 0 72498 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 294864
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27474
/proc/meminfo: memFree=11947860/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=299676 CPUtime=1182.29 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 173226 0 0 0 116406 1823 0 0 25 0 1 0 821340804 306868224 73842 33554432000 4194304 9163163 140736025450160 18446744073709551615 8045536 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 74919 73842 742 1214 0 73701 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 299676
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 27476
/proc/meminfo: memFree=11932480/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=304228 CPUtime=1242.29 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 174406 0 0 0 122324 1905 0 0 25 0 1 0 821340804 311529472 74989 33554432000 4194304 9163163 140736025450160 18446744073709551615 7375469 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 76057 74989 749 1214 0 74839 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 304228
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/435 27477
/proc/meminfo: memFree=11917348/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=310544 CPUtime=1302.3 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 185883 0 0 0 128230 2000 0 0 25 0 1 0 821340804 317997056 76532 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 77636 76532 742 1214 0 76418 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 310544
[startup+1362.3 s]
/proc/loadavg: 2.26 2.06 2.02 3/435 27479
/proc/meminfo: memFree=11894276/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=324060 CPUtime=1362.29 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 189192 0 0 0 134134 2095 0 0 25 0 1 0 821340804 331837440 79727 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 81015 79727 743 1214 0 79797 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 324060
[startup+1422.32 s]
/proc/loadavg: 2.20 2.08 2.02 3/435 27481
/proc/meminfo: memFree=11872440/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=332484 CPUtime=1422.31 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 191401 0 0 0 140043 2188 0 0 25 0 1 0 821340804 340463616 81895 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 83121 81895 741 1214 0 81903 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 332484
[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/435 27491
/proc/meminfo: memFree=11853224/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=345332 CPUtime=1482.29 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 194291 0 0 0 145944 2285 0 0 25 0 1 0 821340804 353619968 84751 33554432000 4194304 9163163 140736025450160 18446744073709551615 6922706 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 86333 84751 742 1214 0 85115 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 345332
[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/435 27493
/proc/meminfo: memFree=11828540/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=360936 CPUtime=1542.3 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 198044 0 0 0 151846 2384 0 0 25 0 1 0 821340804 369598464 88494 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 90234 88494 741 1214 0 89016 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 360936
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/435 27494
/proc/meminfo: memFree=11791336/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=396504 CPUtime=1602.3 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 216313 0 0 0 157743 2487 0 0 25 0 1 0 821340804 406020096 96206 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 99126 96206 742 1214 0 97908 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 396504
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 27496
/proc/meminfo: memFree=11773480/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=407284 CPUtime=1662.3 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 219025 0 0 0 163640 2590 0 0 25 0 1 0 821340804 417058816 98868 33554432000 4194304 9163163 140736025450160 18446744073709551615 5143562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 101821 98868 742 1214 0 100603 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 407284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 27498
/proc/meminfo: memFree=11746196/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=422200 CPUtime=1722.3 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 222745 0 0 0 169549 2681 0 0 25 0 1 0 821340804 432332800 102549 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 105550 102549 742 1214 0 104332 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 422200
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/435 27502
/proc/meminfo: memFree=11721984/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=436392 CPUtime=1782.3 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 226370 0 0 0 175456 2774 0 0 25 0 1 0 821340804 446865408 105966 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 109098 105966 745 1214 0 107880 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 436392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/435 27503
/proc/meminfo: memFree=11717260/32951132 swapFree=67093840/67111528
[pid=27387] ppid=27385 vsize=439152 CPUtime=1800.01 cores=0,2,4,6
/proc/27387/stat : 27387 (scip-2.0.1.4b.l) R 27385 27387 27022 0 -1 4202496 227177 0 0 0 177202 2799 0 0 25 0 1 0 821340804 449691648 106773 33554432000 4194304 9163163 140736025450160 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27387/statm: 109788 106773 745 1214 0 108570 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 439152
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.04
CPU time (s): 1800.05
CPU user time (s): 1772.03
CPU system time (s): 28.0157
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 439152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.03
system time used= 28.0157
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227177
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= 2748
runsolver used 8.5667 second user time and 17.6403 second system time
The end