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-3452554-1307088447.opb>
0.29/0.36 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
0.29/0.36 c problem read
0.29/0.36 c presolving settings loaded
0.48/0.50 o 0
0.48/0.50 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.48/0.50 c presolving:
0.69/0.76 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 59186 upgd conss, 118372 impls, 0 clqs
1.49/1.57 c (1.6s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.57 c (1.6s) probing aborted: 100/100 successive totally useless probings
1.49/1.57 c presolving (2 rounds):
1.49/1.57 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.57 c 118372 implications, 0 cliques
1.49/1.57 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
1.49/1.57 c 59186 constraints of type <setppc>
1.49/1.57 c transformed objective value is always integral (scale: 1)
1.49/1.57 c Presolving Time: 1.18
1.49/1.57 c - non default parameters ----------------------------------------------------------------------
1.49/1.57 c # SCIP version 2.0.1.4
1.49/1.57 c
1.49/1.57 c # frequency for displaying node information lines
1.49/1.57 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.57 c display/freq = 10000
1.49/1.57 c
1.49/1.57 c # maximal time in seconds to run
1.49/1.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.57 c limits/time = 1800
1.49/1.57 c
1.49/1.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.57 c limits/memory = 13950
1.49/1.57 c
1.49/1.57 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.49/1.57 c # [type: int, range: [1,2], default: 1]
1.49/1.57 c timing/clocktype = 2
1.49/1.57 c
1.49/1.57 c # belongs reading time to solving time?
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c timing/reading = TRUE
1.49/1.57 c
1.49/1.57 c # should presolving try to simplify inequalities
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c constraints/linear/simplifyinequalities = TRUE
1.49/1.57 c
1.49/1.57 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c constraints/indicator/addCouplingCons = TRUE
1.49/1.57 c
1.49/1.57 c # should presolving try to simplify knapsacks
1.49/1.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.57 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.57 c
1.49/1.57 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.49/1.57 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.57 c separating/rapidlearning/freq = 0
1.49/1.57 c
1.49/1.57 c -----------------------------------------------------------------------------------------------
1.49/1.57 c start solving
1.49/1.57 c
2.49/2.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.53 c t 2.5s| 1 | 0 | 946 | - | 69M| 0 | 945 | 945 | 59k| 945 | 59k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
2.49/2.57 o -1
2.49/2.57 c R 2.6s| 1 | 0 | 946 | - | 69M| 0 | 945 | 945 | 59k| 945 | 59k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
3.69/3.75 c 3.7s| 1 | 0 | 1314 | - | 69M| 0 | 889 | 945 | 59k| 945 | 59k| 6 | 0 | 0 |-4.445000e+02 |-1.000000e+00 | 99.78%
3.69/3.76 o -32
3.69/3.76 c b 3.8s| 1 | 0 | 1314 | - | 69M| 0 | 889 | 945 | 59k| 945 | 59k| 6 | 0 | 0 |-4.445000e+02 |-3.200000e+01 | 92.80%
5.19/5.21 c 5.2s| 1 | 0 | 1428 | - | 69M| 0 | 849 | 945 | 59k| 945 | 59k| 11 | 0 | 0 |-4.245000e+02 |-3.200000e+01 | 92.46%
6.98/7.08 c 7.1s| 1 | 0 | 1594 | - | 69M| 0 | 810 | 945 | 59k| 945 | 59k| 18 | 0 | 0 |-4.050000e+02 |-3.200000e+01 | 92.10%
8.98/9.00 c 9.0s| 1 | 0 | 1675 | - | 69M| 0 | 769 | 945 | 59k| 945 | 59k| 25 | 0 | 0 |-3.845000e+02 |-3.200000e+01 | 91.68%
11.59/11.61 c 11.6s| 1 | 0 | 1920 | - | 69M| 0 | 731 | 945 | 59k| 945 | 59k| 31 | 0 | 0 |-3.655000e+02 |-3.200000e+01 | 91.24%
14.09/14.15 c 14.2s| 1 | 0 | 2079 | - | 69M| 0 | 690 | 945 | 59k| 945 | 59k| 41 | 0 | 0 |-3.450000e+02 |-3.200000e+01 | 90.72%
16.50/16.55 c 16.6s| 1 | 0 | 2174 | - | 69M| 0 | 650 | 945 | 59k| 945 | 59k| 47 | 0 | 0 |-3.250000e+02 |-3.200000e+01 | 90.15%
18.99/19.07 c 19.1s| 1 | 0 | 2427 | - | 69M| 0 | 619 | 945 | 59k| 945 | 59k| 56 | 0 | 0 |-3.085000e+02 |-3.200000e+01 | 89.63%
21.69/21.79 c 21.8s| 1 | 0 | 3011 | - | 69M| 0 | 578 | 945 | 59k| 945 | 59k| 67 | 0 | 0 |-2.890000e+02 |-3.200000e+01 | 88.93%
24.38/24.43 c 24.4s| 1 | 0 | 3440 | - | 69M| 0 | 521 | 945 | 59k| 945 | 59k| 79 | 0 | 0 |-2.605000e+02 |-3.200000e+01 | 87.72%
25.29/25.37 c 25.4s| 1 | 0 | 3821 | - | 69M| 0 | 489 | 945 | 59k| 945 | 59k| 94 | 0 | 0 |-2.445000e+02 |-3.200000e+01 | 86.91%
26.39/26.49 c 26.5s| 1 | 0 | 4505 | - | 69M| 0 | 448 | 945 | 59k| 945 | 59k| 108 | 0 | 0 |-2.240000e+02 |-3.200000e+01 | 85.71%
27.50/27.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.50/27.51 c 27.5s| 1 | 0 | 5244 | - | 69M| 0 | 392 | 945 | 59k| 945 | 59k| 122 | 0 | 0 |-1.960000e+02 |-3.200000e+01 | 83.67%
28.39/28.43 c 28.4s| 1 | 0 | 5951 | - | 69M| 0 | 330 | 945 | 59k| 945 | 59k| 136 | 0 | 0 |-1.650000e+02 |-3.200000e+01 | 80.61%
29.08/29.17 c 29.2s| 1 | 0 | 6290 | - | 69M| 0 | 262 | 945 | 59k| 945 | 59k| 150 | 0 | 0 |-1.310000e+02 |-3.200000e+01 | 75.57%
29.69/29.76 c 29.8s| 1 | 0 | 6434 | - | 69M| 0 | 239 | 945 | 59k| 945 | 59k| 164 | 0 | 0 |-1.195000e+02 |-3.200000e+01 | 73.22%
31.09/31.15 c 31.1s| 1 | 0 | 7641 | - | 69M| 0 | 203 | 945 | 59k| 945 | 59k| 172 | 0 | 0 |-1.015000e+02 |-3.200000e+01 | 68.47%
33.00/33.05 c 33.0s| 1 | 0 | 9350 | - | 69M| 0 | 188 | 945 | 59k| 945 | 59k| 188 | 0 | 0 |-9.400000e+01 |-3.200000e+01 | 65.96%
35.08/35.11 c 35.1s| 1 | 0 | 11566 | - | 69M| 0 | 164 | 945 | 59k| 945 | 59k| 198 | 0 | 0 |-8.100000e+01 |-3.200000e+01 | 60.49%
35.79/35.80 c 35.8s| 1 | 0 | 11826 | - | 69M| 0 | 137 | 945 | 59k| 945 | 59k| 209 | 0 | 0 |-6.850000e+01 |-3.200000e+01 | 53.28%
36.30/36.40 c 36.4s| 1 | 0 | 12282 | - | 69M| 0 | 124 | 945 | 59k| 945 | 59k| 222 | 0 | 0 |-6.200000e+01 |-3.200000e+01 | 48.39%
36.99/37.02 c 37.0s| 1 | 0 | 12972 | - | 69M| 0 | 149 | 945 | 59k| 945 | 59k| 234 | 0 | 0 |-5.455000e+01 |-3.200000e+01 | 41.34%
37.40/37.41 c 37.4s| 1 | 0 | 13167 | - | 69M| 0 | 136 | 945 | 59k| 945 | 59k| 247 | 0 | 0 |-4.675000e+01 |-3.200000e+01 | 31.55%
37.69/37.73 c 37.7s| 1 | 0 | 13242 | - | 69M| 0 | 129 | 945 | 59k| 945 | 59k| 260 | 0 | 0 |-4.675000e+01 |-3.200000e+01 | 31.55%
37.99/38.09 c 38.1s| 1 | 0 | 13349 | - | 69M| 0 | 136 | 945 | 59k| 945 | 59k| 277 | 0 | 0 |-4.650000e+01 |-3.200000e+01 | 31.18%
38.50/38.55 c 38.6s| 1 | 0 | 13517 | - | 69M| 0 | 151 | 945 | 59k| 945 | 59k| 291 | 0 | 0 |-4.600000e+01 |-3.200000e+01 | 30.43%
46.99/47.09 c 47.1s| 1 | 0 | 13671 | - | 69M| 0 | 147 | 945 | 59k| 945 | 59k| 301 | 0 | 0 |-4.600000e+01 |-3.200000e+01 | 30.43%
54.89/54.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.89/54.95 c 54.9s| 1 | 0 | 14169 | - | 69M| 0 | 132 | 945 | 59k| 945 | 59k| 311 | 0 | 0 |-4.600000e+01 |-3.200000e+01 | 30.43%
55.29/55.38 c 55.4s| 1 | 0 | 14282 | - | 69M| 0 | 154 | 945 | 59k| 945 | 59k| 321 | 0 | 0 |-4.600000e+01 |-3.200000e+01 | 30.43%
57.19/57.31 c 57.3s| 1 | 0 | 15764 | - | 69M| 0 | 137 | 945 | 59k| 945 | 59k| 331 | 0 | 0 |-4.591667e+01 |-3.200000e+01 | 30.31%
57.69/57.70 c 57.7s| 1 | 0 | 15878 | - | 69M| 0 | 169 | 945 | 59k| 945 | 59k| 338 | 0 | 0 |-4.575000e+01 |-3.200000e+01 | 30.05%
59.79/59.84 c 59.8s| 1 | 0 | 16015 | - | 70M| 0 | 137 | 945 | 59k| 945 | 59k| 350 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
60.50/60.53 c 60.5s| 1 | 0 | 16844 | - | 70M| 0 | 166 | 945 | 59k| 945 | 59k| 362 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
61.79/61.83 c 61.8s| 1 | 0 | 17961 | - | 70M| 0 | 154 | 945 | 59k| 945 | 59k| 374 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
62.39/62.40 c 62.4s| 1 | 0 | 18220 | - | 70M| 0 | 190 | 945 | 59k| 945 | 59k| 387 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
71.09/71.16 c 71.2s| 1 | 0 | 18380 | - | 70M| 0 | 199 | 945 | 59k| 945 | 59k| 396 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
80.18/80.25 c 80.2s| 1 | 0 | 18495 | - | 70M| 0 | 206 | 945 | 59k| 945 | 59k| 407 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
103.51/103.53 c 104s| 1 | 2 | 18495 | - | 70M| 0 | 206 | 945 | 59k| 945 | 59k| 407 | 0 | 39 |-4.500000e+01 |-3.200000e+01 | 28.89%
172.39/172.49 o -33
172.39/172.49 c p 172s| 27 | 27 | 24308 | 223.6 | 72M| 14 | - | 945 | 59k| 945 | 59k| 407 | 0 | 532 |-4.500000e+01 |-3.300000e+01 | 26.67%
199.29/199.30 o -34
199.29/199.30 c f 199s| 40 | 38 | 25456 | 178.5 | 73M| 16 | - | 945 | 59k| 945 | 59k| 407 | 0 | 742 |-4.500000e+01 |-3.400000e+01 | 24.44%
230.29/230.39 o -36
230.29/230.39 c * 230s| 65 | 57 | 29428 | 170.8 | 74M| 19 | - | 945 | 59k| 945 | 59k| 407 | 0 | 860 |-4.500000e+01 |-3.600000e+01 | 20.00%
238.39/238.45 o -37
238.39/238.45 c l 238s| 143 | 110 | 34131 | 110.1 | 76M| 23 | - | 945 | 59k| 945 | 59k| 407 | 0 | 879 |-4.500000e+01 |-3.700000e+01 | 17.78%
291.40/291.46 o -38
291.40/291.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.40/291.46 c g 291s| 861 | 470 | 64804 | 53.8 | 85M| 33 | - | 945 | 59k| 945 | 59k| 407 | 0 |1043 |-4.500000e+01 |-3.800000e+01 | 15.56%
598.00/598.06 o -39
598.00/598.06 c o 598s| 2335 | 1768 |256749 | 102.1 | 117M| 38 | 0 | 945 | 59k| 945 | 59k| 407 | 0 |1670 |-4.500000e+01 |-3.900000e+01 | 13.33%
1747.53/1747.50 c 1748s| 10000 | 8211 | 1057k| 103.9 | 265M| 38 | 92 | 945 | 59k| 945 | 59k| 407 | 0 |3410 |-4.500000e+01 |-3.900000e+01 | 13.33%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 10422
1800.04/1800.01 c Primal Bound : -3.90000000000000e+01 (647 solutions)
1800.04/1800.01 c Dual Bound : -4.50000000000000e+01
1800.04/1800.01 c Gap : 13.33 %
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-3452554-1307088447/watcher-3452554-1307088447 -o /tmp/evaluation-result-3452554-1307088447/solver-3452554-1307088447 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452554-1307088447.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.03 2.04 2.00 3/446 9769
/proc/meminfo: memFree=31029372/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=10848 CPUtime=0 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 1709 0 0 0 0 0 0 0 24 0 1 0 820443439 11108352 1662 33554432000 4194304 9128323 140735904244720 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9769/statm: 2712 1662 400 1205 0 1503 0
[startup+0.11155 s]
/proc/loadavg: 2.03 2.04 2.00 3/446 9769
/proc/meminfo: memFree=31029372/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=15872 CPUtime=0.1 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 2984 0 0 0 10 0 0 0 25 0 1 0 820443439 16252928 2935 33554432000 4194304 9128323 140735904244720 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9769/statm: 3968 2935 400 1205 0 2759 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15872
[startup+0.200533 s]
/proc/loadavg: 2.03 2.04 2.00 3/446 9769
/proc/meminfo: memFree=31029372/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=20292 CPUtime=0.19 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 4082 0 0 0 19 0 0 0 25 0 1 0 820443439 20779008 4031 33554432000 4194304 9128323 140735904244720 18446744073709551615 4422588 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9769/statm: 5073 4031 400 1205 0 3864 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20292
[startup+0.300515 s]
/proc/loadavg: 2.03 2.04 2.00 3/446 9769
/proc/meminfo: memFree=31029372/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=24956 CPUtime=0.29 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 5250 0 0 0 29 0 0 0 25 0 1 0 820443439 25554944 5197 33554432000 4194304 9128323 140735904244720 18446744073709551615 7998217 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9769/statm: 6239 5197 400 1205 0 5030 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24956
[startup+0.700448 s]
/proc/loadavg: 2.03 2.04 2.00 3/446 9769
/proc/meminfo: memFree=31029372/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=95208 CPUtime=0.69 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 26238 0 0 0 66 3 0 0 25 0 1 0 820443439 97492992 22315 33554432000 4194304 9128323 140735904244720 18446744073709551615 6889432 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 23802 22315 514 1205 0 22593 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95208
[startup+1.50025 s]
/proc/loadavg: 2.03 2.04 2.00 3/447 9770
/proc/meminfo: memFree=30935740/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=101168 CPUtime=1.49 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 30603 0 0 0 145 4 0 0 25 0 1 0 820443439 103596032 23806 33554432000 4194304 9128323 140735904244720 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 25292 23806 533 1205 0 24083 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101168
[startup+3.1011 s]
/proc/loadavg: 2.03 2.04 2.00 3/447 9770
/proc/meminfo: memFree=30867044/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=188904 CPUtime=3.09 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 53537 0 0 0 301 8 0 0 25 0 1 0 820443439 193437696 44048 33554432000 4194304 9128323 140735904244720 18446744073709551615 6694354 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 47226 44048 989 1205 0 46017 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 188904
[startup+6.30053 s]
/proc/loadavg: 2.03 2.04 2.00 3/447 9770
/proc/meminfo: memFree=30851664/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=188904 CPUtime=6.29 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 54638 0 0 0 621 8 0 0 25 0 1 0 820443439 193437696 44900 33554432000 4194304 9128323 140735904244720 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 47226 44900 979 1205 0 46017 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 188904
[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 9770
/proc/meminfo: memFree=30849312/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=188904 CPUtime=12.69 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 54987 0 0 0 1260 9 0 0 25 0 1 0 820443439 193437696 45171 33554432000 4194304 9128323 140735904244720 18446744073709551615 6280361 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 47226 45171 903 1205 0 46017 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 188904
[startup+25.5011 s]
/proc/loadavg: 2.10 2.05 2.01 3/447 9771
/proc/meminfo: memFree=30846068/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=193900 CPUtime=25.49 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 55933 0 0 0 2540 9 0 0 25 0 1 0 820443439 198553600 46100 33554432000 4194304 9128323 140735904244720 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 48475 46100 886 1205 0 47266 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 193900
[startup+51.1006 s]
/proc/loadavg: 2.06 2.04 2.00 3/447 9772
/proc/meminfo: memFree=30827128/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=195152 CPUtime=51.09 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 56572 0 0 0 5094 15 0 0 25 0 1 0 820443439 199835648 46652 33554432000 4194304 9128323 140735904244720 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 48788 46652 828 1205 0 47579 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 195152
[startup+102.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 9773
/proc/meminfo: memFree=30797972/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=245356 CPUtime=102.3 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 69918 0 0 0 10199 31 0 0 25 0 1 0 820443439 251244544 59827 33554432000 4194304 9128323 140735904244720 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 61339 59827 752 1205 0 60130 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 245356
[startup+162.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/447 9774
/proc/meminfo: memFree=30798156/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=245356 CPUtime=162.29 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 69919 0 0 0 16187 42 0 0 25 0 1 0 820443439 251244544 59827 33554432000 4194304 9128323 140735904244720 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 61339 59827 751 1205 0 60130 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 245356
[startup+222.317 s]
/proc/loadavg: 2.10 2.05 2.00 3/447 9776
/proc/meminfo: memFree=30798472/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=245356 CPUtime=222.31 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 69919 0 0 0 22178 53 0 0 25 0 1 0 820443439 251244544 59827 33554432000 4194304 9128323 140735904244720 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 61339 59827 751 1205 0 60130 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 245356
[startup+282.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/447 9778
/proc/meminfo: memFree=30792856/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=251108 CPUtime=282.29 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 71456 0 0 0 28166 63 0 0 25 0 1 0 820443439 257134592 61364 33554432000 4194304 9128323 140735904244720 18446744073709551615 8012681 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 62777 61364 752 1205 0 61568 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 251108
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 9779
/proc/meminfo: memFree=30785136/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=258684 CPUtime=342.3 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 73350 0 0 0 34155 75 0 0 25 0 1 0 820443439 264892416 63258 33554432000 4194304 9128323 140735904244720 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 64671 63258 752 1205 0 63462 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 258684
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 9781
/proc/meminfo: memFree=30785348/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=258684 CPUtime=402.29 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 73353 0 0 0 40147 82 0 0 25 0 1 0 820443439 264892416 63261 33554432000 4194304 9128323 140735904244720 18446744073709551615 7267126 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 64671 63261 752 1205 0 63462 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 258684
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 9782
/proc/meminfo: memFree=30794596/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=247656 CPUtime=462.3 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 78390 0 0 0 46138 92 0 0 25 0 1 0 820443439 253599744 60800 33554432000 4194304 9128323 140735904244720 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 61914 60800 752 1205 0 60705 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 247656
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 9784
/proc/meminfo: memFree=30794428/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=247656 CPUtime=522.3 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 78390 0 0 0 52129 101 0 0 25 0 1 0 820443439 253599744 60800 33554432000 4194304 9128323 140735904244720 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 61914 60800 752 1205 0 60705 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 247656
[startup+582.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/447 9786
/proc/meminfo: memFree=30795124/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=247656 CPUtime=582.3 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 78391 0 0 0 58120 110 0 0 25 0 1 0 820443439 253599744 60801 33554432000 4194304 9128323 140735904244720 18446744073709551615 7342922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 61914 60801 752 1205 0 60705 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 247656
[startup+642.3 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.02 2.04 2.00 3/447 9794
/proc/meminfo: memFree=30774708/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=271224 CPUtime=882.33 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 110521 0 0 0 88073 160 0 0 25 0 1 0 820443439 277733376 65423 33554432000 4194304 9128323 140735904244720 18446744073709551615 6713568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 67806 65423 752 1205 0 66597 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 271224
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 9795
/proc/meminfo: memFree=30762512/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=279940 CPUtime=942.31 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 112810 0 0 0 94064 167 0 0 25 0 1 0 820443439 286658560 67709 33554432000 4194304 9128323 140735904244720 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 69985 67709 753 1205 0 68776 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 279940
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 9797
/proc/meminfo: memFree=30752920/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=287952 CPUtime=1002.31 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 130571 0 0 0 100051 180 0 0 25 0 1 0 820443439 294862848 69575 33554432000 4194304 9128323 140735904244720 18446744073709551615 7319835 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 71988 69575 760 1205 0 70779 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 287952
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 9798
/proc/meminfo: memFree=30734640/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=293912 CPUtime=1062.31 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 135395 0 0 0 106042 189 0 0 25 0 1 0 820443439 300965888 71670 33554432000 4194304 9128323 140735904244720 18446744073709551615 7052146 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 73478 71670 781 1205 0 72269 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 293912
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 9800
/proc/meminfo: memFree=30716624/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=306672 CPUtime=1122.32 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 138228 0 0 0 112035 197 0 0 25 0 1 0 820443439 314032128 74497 33554432000 4194304 9128323 140735904244720 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 76668 74497 781 1205 0 75459 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 306672
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/447 9802
/proc/meminfo: memFree=30701448/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=313584 CPUtime=1182.32 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 140249 0 0 0 118025 207 0 0 25 0 1 0 820443439 321110016 76502 33554432000 4194304 9128323 140735904244720 18446744073709551615 6941080 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 78396 76502 775 1205 0 77187 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 313584
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 9803
/proc/meminfo: memFree=30686528/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=322076 CPUtime=1242.32 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 157589 0 0 0 124011 221 0 0 25 0 1 0 820443439 329805824 78576 33554432000 4194304 9128323 140735904244720 18446744073709551615 7176963 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 80519 78576 752 1205 0 79310 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 322076
[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/447 9805
/proc/meminfo: memFree=30576352/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=328984 CPUtime=1302.32 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 159215 0 0 0 130001 231 0 0 25 0 1 0 820443439 336879616 80200 33554432000 4194304 9128323 140735904244720 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 82246 80200 752 1205 0 81037 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 328984
[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/447 9806
/proc/meminfo: memFree=30570100/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=335800 CPUtime=1362.32 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 160765 0 0 0 135994 238 0 0 25 0 1 0 820443439 343859200 81745 33554432000 4194304 9128323 140735904244720 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 83950 81745 752 1205 0 82741 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 335800
[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/447 9808
/proc/meminfo: memFree=30560764/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=343760 CPUtime=1422.33 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 163035 0 0 0 141987 246 0 0 25 0 1 0 820443439 352010240 84015 33554432000 4194304 9128323 140735904244720 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 85940 84015 752 1205 0 84731 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 343760
[startup+1482.3 s]
/proc/loadavg: 1.48 1.89 1.95 2/441 9828
/proc/meminfo: memFree=31099592/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=355492 CPUtime=1482.32 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 165756 0 0 0 147977 255 0 0 25 0 1 0 820443439 364023808 86734 33554432000 4194304 9128323 140735904244720 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 88873 86734 753 1205 0 87664 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 355492
[startup+1542.32 s]
/proc/loadavg: 1.17 1.72 1.89 2/441 9829
/proc/meminfo: memFree=31092212/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=363696 CPUtime=1542.34 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 167655 0 0 0 153969 265 0 0 25 0 1 0 820443439 372424704 88632 33554432000 4194304 9128323 140735904244720 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 90924 88632 752 1205 0 89715 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 363696
[startup+1602.3 s]
/proc/loadavg: 1.06 1.59 1.83 2/441 9831
/proc/meminfo: memFree=31083248/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=370248 CPUtime=1602.32 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 169831 0 0 0 159956 276 0 0 25 0 1 0 820443439 379133952 90803 33554432000 4194304 9128323 140735904244720 18446744073709551615 7342771 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 92562 90803 752 1205 0 91353 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 370248
[startup+1662.3 s]
/proc/loadavg: 1.02 1.48 1.78 2/441 9832
/proc/meminfo: memFree=31075260/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=380620 CPUtime=1662.32 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 187200 0 0 0 165942 290 0 0 25 0 1 0 820443439 389754880 92922 33554432000 4194304 9128323 140735904244720 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 95155 92922 752 1205 0 93946 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 380620
[startup+1722.3 s]
/proc/loadavg: 1.01 1.39 1.72 2/441 9834
/proc/meminfo: memFree=31066904/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=387868 CPUtime=1722.33 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 189173 0 0 0 171933 300 0 0 25 0 1 0 820443439 397176832 94895 33554432000 4194304 9128323 140735904244720 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 96967 94895 752 1205 0 95758 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 387868
[startup+1782.3 s]
/proc/loadavg: 1.00 1.32 1.68 2/441 9836
/proc/meminfo: memFree=31061280/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=391660 CPUtime=1782.33 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 190327 0 0 0 177924 309 0 0 25 0 1 0 820443439 401059840 96049 33554432000 4194304 9128323 140735904244720 18446744073709551615 7191120 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 97915 96049 752 1205 0 96706 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 391660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.29 1.66 2/441 9836
/proc/meminfo: memFree=31056308/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=400292 CPUtime=1800.04 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 191705 0 0 0 179692 312 0 0 25 0 1 0 820443439 409899008 97427 33554432000 4194304 9128323 140735904244720 18446744073709551615 7343431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 100073 97427 755 1205 0 98864 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 400292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 1.00 1.29 1.66 2/441 9836
/proc/meminfo: memFree=31056308/32950928 swapFree=34365992/67111528
[pid=9769] ppid=9767 vsize=400292 CPUtime=1800.04 cores=0,2,4,6
/proc/9769/stat : 9769 (scip-2.0.1.4.li) R 9767 9769 6518 0 -1 4202496 191705 0 0 0 179692 312 0 0 25 0 1 0 820443439 409899008 97427 33554432000 4194304 9128323 140735904244720 18446744073709551615 7343431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9769/statm: 100073 97427 755 1205 0 98864 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 400292
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1796.93
CPU system time (s): 3.14052
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 427648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 3.14052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191705
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= 6
involuntary context switches= 5166
runsolver used 8.30574 second user time and 18.0623 second system time
The end