0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3488765-1307765951.opb>
0.00/0.04 c original problem has 2630 variables (2630 bin, 0 int, 0 impl, 0 cont) and 6569 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 c presolving:
0.09/0.11 c (round 1) 0 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6445 upgd conss, 5606 impls, 0 clqs
0.09/0.11 c (round 2) 0 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6446 upgd conss, 5606 impls, 0 clqs
0.09/0.12 c (round 3) 0 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 5606 impls, 0 clqs
0.09/0.16 c (round 4) 50 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7068 impls, 0 clqs
0.09/0.17 c (round 5) 53 del vars, 177 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7106 impls, 0 clqs
0.09/0.17 c (round 6) 53 del vars, 179 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 7106 impls, 0 clqs
0.19/0.26 c (round 7) 103 del vars, 179 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 27294 impls, 0 clqs
0.19/0.26 c (round 8) 103 del vars, 229 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 27294 impls, 0 clqs
0.29/0.32 c (round 9) 153 del vars, 229 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 46750 impls, 0 clqs
0.29/0.33 c (round 10) 153 del vars, 279 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 46750 impls, 0 clqs
0.39/0.40 c (0.4s) probing: 548/2630 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.39/0.40 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.40 c (round 11) 188 del vars, 279 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 48352 impls, 0 clqs
0.39/0.40 c (round 12) 188 del vars, 314 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6447 upgd conss, 48352 impls, 0 clqs
0.39/0.41 c (0.4s) probing: 558/2630 (21.2%) - 2 fixings, 183 aggregations, 12557 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 (13 rounds):
0.39/0.41 c 188 deleted vars, 314 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
0.39/0.41 c 48352 implications, 0 cliques
0.39/0.41 c presolved problem has 2442 variables (2442 bin, 0 int, 0 impl, 0 cont) and 6255 constraints
0.39/0.41 c 1497 constraints of type <setppc>
0.39/0.41 c 4758 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.36
0.39/0.41 c - non default parameters ----------------------------------------------------------------------
0.39/0.41 c # SCIP version 2.0.1.5
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 = 1797
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
2.39/2.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.44 c 2.4s| 1 | 0 | 10641 | - | 14M| 0 |1632 |2442 |6297 |2442 |6253 | 0 | 42 | 0 | 7.898000e+02 | -- | Inf
3.99/4.00 c 4.0s| 1 | 0 | 15986 | - | 17M| 0 |2349 |2442 |6297 |2442 |8155 |1902 | 42 | 0 | 8.001281e+02 | -- | Inf
5.99/6.00 c 6.0s| 1 | 0 | 19353 | - | 25M| 0 |1612 |2442 |7049 |2442 |8209 |1956 | 42 | 0 | 8.173726e+02 | -- | Inf
6.39/6.45 c 6.5s| 1 | 0 | 20249 | - | 28M| 0 |2072 |2442 |7049 |2442 |8243 |1990 | 42 | 0 | 8.234087e+02 | -- | Inf
6.99/7.03 c 7.0s| 1 | 0 | 21116 | - | 31M| 0 |2049 |2442 |7049 |2442 |8281 |2028 | 42 | 0 | 8.298583e+02 | -- | Inf
7.89/7.96 c 8.0s| 1 | 0 | 22544 | - | 34M| 0 |2079 |2442 |7049 |2442 |8325 |2072 | 42 | 0 | 8.335103e+02 | -- | Inf
8.80/8.83 c 8.8s| 1 | 0 | 23402 | - | 37M| 0 |1624 |2442 |7049 |2442 |8376 |2123 | 42 | 0 | 8.368373e+02 | -- | Inf
10.39/10.40 c 10.4s| 1 | 0 | 25182 | - | 37M| 0 |1708 |2442 |7049 |2442 |8419 |2166 | 42 | 0 | 8.397044e+02 | -- | Inf
11.39/11.43 c 11.4s| 1 | 0 | 26558 | - | 39M| 0 |1676 |2442 |7049 |2442 |8454 |2201 | 42 | 0 | 8.418305e+02 | -- | Inf
13.10/13.19 c 13.2s| 1 | 0 | 27767 | - | 41M| 0 |1694 |2442 |7049 |2442 |8497 |2244 | 42 | 0 | 8.452477e+02 | -- | Inf
15.09/15.19 c 15.2s| 1 | 0 | 29681 | - | 42M| 0 |1639 |2442 |7049 |2442 |8555 |2302 | 42 | 0 | 8.542473e+02 | -- | Inf
16.39/16.49 c 16.5s| 1 | 0 | 31662 | - | 44M| 0 |1662 |2442 |7049 |2442 |8605 |2352 | 42 | 0 | 8.597572e+02 | -- | Inf
17.69/17.70 c 17.7s| 1 | 0 | 33471 | - | 45M| 0 |1732 |2442 |7049 |2442 |8657 |2404 | 42 | 0 | 8.640853e+02 | -- | Inf
20.19/20.21 c 20.2s| 1 | 0 | 34861 | - | 48M| 0 |1748 |2442 |7049 |2442 |8695 |2442 | 42 | 0 | 8.675122e+02 | -- | Inf
23.49/23.59 c 23.6s| 1 | 0 | 38047 | - | 49M| 0 |1617 |2442 |7049 |2442 |8760 |2507 | 42 | 0 | 8.899393e+02 | -- | Inf
25.09/25.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.09/25.15 c 25.1s| 1 | 0 | 39936 | - | 50M| 0 |1675 |2442 |7049 |2442 |8812 |2559 | 42 | 0 | 8.923493e+02 | -- | Inf
27.19/27.24 c 27.2s| 1 | 0 | 42063 | - | 52M| 0 |1701 |2442 |7049 |2442 |6858 |2598 | 42 | 0 | 8.956810e+02 | -- | Inf
27.99/28.07 c 28.1s| 1 | 0 | 43212 | - | 56M| 0 |1971 |2442 |7049 |2442 |6892 |2632 | 42 | 0 | 8.983976e+02 | -- | Inf
30.19/30.26 c 30.3s| 1 | 0 | 45564 | - | 57M| 0 |1679 |2442 |7049 |2442 |6962 |2702 | 42 | 0 | 9.200367e+02 | -- | Inf
30.80/30.89 c 30.9s| 1 | 0 | 46236 | - | 60M| 0 |1691 |2442 |7049 |2442 |7014 |2754 | 42 | 0 | 9.256770e+02 | -- | Inf
31.69/31.71 c 31.7s| 1 | 0 | 47670 | - | 62M| 0 |1718 |2442 |7049 |2442 |7063 |2803 | 42 | 0 | 9.274719e+02 | -- | Inf
32.90/32.91 c 32.9s| 1 | 0 | 49363 | - | 66M| 0 |1955 |2442 |7049 |2442 |7104 |2844 | 42 | 0 | 9.299938e+02 | -- | Inf
34.69/34.76 c 34.8s| 1 | 0 | 53008 | - | 67M| 0 |1872 |2442 |7049 |2442 |6966 |2916 | 42 | 0 | 9.501847e+02 | -- | Inf
35.49/35.51 c 35.5s| 1 | 0 | 54715 | - | 68M| 0 |1943 |2442 |7049 |2442 |6998 |2948 | 42 | 0 | 9.522865e+02 | -- | Inf
36.89/36.99 c 37.0s| 1 | 0 | 56695 | - | 68M| 0 |1976 |2442 |7049 |2442 |7064 |3014 | 42 | 0 | 9.591701e+02 | -- | Inf
37.89/37.92 c 37.9s| 1 | 0 | 59345 | - | 70M| 0 |2011 |2442 |7049 |2442 |7105 |3055 | 42 | 0 | 9.615374e+02 | -- | Inf
39.39/39.44 c 39.4s| 1 | 0 | 61523 | - | 71M| 0 |1964 |2442 |7049 |2442 |7181 |3131 | 42 | 0 | 9.848977e+02 | -- | Inf
39.99/40.03 c 40.0s| 1 | 0 | 62529 | - | 72M| 0 |1923 |2442 |7049 |2442 |7235 |3185 | 42 | 0 | 9.880817e+02 | -- | Inf
40.60/40.69 c 40.7s| 1 | 0 | 63745 | - | 74M| 0 |1920 |2442 |7049 |2442 |7035 |3221 | 42 | 0 | 9.886594e+02 | -- | Inf
41.39/41.42 c 41.4s| 1 | 0 | 65120 | - | 75M| 0 |1869 |2442 |7049 |2442 |7063 |3249 | 42 | 0 | 9.904559e+02 | -- | Inf
42.19/42.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.19/42.27 c 42.3s| 1 | 0 | 66385 | - | 76M| 0 |1902 |2442 |7049 |2442 |7124 |3310 | 42 | 0 | 9.929225e+02 | -- | Inf
43.29/43.33 c 43.3s| 1 | 0 | 68122 | - | 77M| 0 |1983 |2442 |7049 |2442 |7166 |3352 | 42 | 0 | 9.946337e+02 | -- | Inf
44.79/44.82 c 44.8s| 1 | 0 | 70243 | - | 77M| 0 |1729 |2442 |7049 |2442 |7251 |3437 | 42 | 0 | 1.014438e+03 | -- | Inf
45.39/45.48 c 45.5s| 1 | 0 | 71398 | - | 79M| 0 |1821 |2442 |7049 |2442 |7292 |3478 | 42 | 0 | 1.016574e+03 | -- | Inf
46.29/46.31 c 46.3s| 1 | 0 | 73349 | - | 80M| 0 |1859 |2442 |7049 |2442 |7118 |3524 | 42 | 0 | 1.017734e+03 | -- | Inf
47.59/47.65 c 47.6s| 1 | 0 | 76090 | - | 82M| 0 |1774 |2442 |7049 |2442 |7167 |3573 | 42 | 0 | 1.020444e+03 | -- | Inf
48.69/48.79 c 48.8s| 1 | 0 | 78321 | - | 83M| 0 |1871 |2442 |7049 |2442 |7232 |3638 | 42 | 0 | 1.025394e+03 | -- | Inf
49.99/50.01 c 50.0s| 1 | 0 | 80406 | - | 83M| 0 |1885 |2442 |7049 |2442 |7293 |3699 | 42 | 0 | 1.028951e+03 | -- | Inf
51.60/51.66 c 51.7s| 1 | 0 | 83596 | - | 84M| 0 |1912 |2442 |7049 |2442 |7358 |3764 | 42 | 0 | 1.032014e+03 | -- | Inf
52.90/52.91 c 52.9s| 1 | 0 | 85487 | - | 88M| 0 |1895 |2442 |7049 |2442 |7400 |3806 | 42 | 0 | 1.033275e+03 | -- | Inf
54.49/54.56 c 54.6s| 1 | 0 | 88226 | - | 89M| 0 |1877 |2442 |7049 |2442 |7229 |3871 | 42 | 0 | 1.038869e+03 | -- | Inf
55.50/55.59 c 55.6s| 1 | 0 | 90005 | - | 91M| 0 |1845 |2442 |7049 |2442 |7265 |3907 | 42 | 0 | 1.040276e+03 | -- | Inf
56.79/56.89 c 56.9s| 1 | 0 | 91999 | - | 92M| 0 |2067 |2442 |7049 |2442 |7319 |3961 | 42 | 0 | 1.043242e+03 | -- | Inf
58.70/58.79 c 58.8s| 1 | 0 | 95135 | - | 93M| 0 |1756 |2442 |7049 |2442 |7402 |4044 | 42 | 0 | 1.061662e+03 | -- | Inf
59.80/59.86 c 59.9s| 1 | 0 | 96947 | - | 93M| 0 |1751 |2442 |7049 |2442 |7460 |4102 | 42 | 0 | 1.063882e+03 | -- | Inf
60.69/60.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.69/60.78 c 60.8s| 1 | 0 | 98625 | - | 95M| 0 |1901 |2442 |7049 |2442 |7520 |4162 | 42 | 0 | 1.066676e+03 | -- | Inf
62.19/62.24 c 62.2s| 1 | 0 |100435 | - | 96M| 0 |1768 |2442 |7049 |2442 |7333 |4210 | 42 | 0 | 1.068588e+03 | -- | Inf
62.89/62.93 c 62.9s| 1 | 0 |101628 | - | 97M| 0 |1878 |2442 |7049 |2442 |7374 |4251 | 42 | 0 | 1.069697e+03 | -- | Inf
64.29/64.36 c 64.4s| 1 | 0 |104997 | - | 99M| 0 |2022 |2442 |7049 |2442 |7424 |4301 | 42 | 0 | 1.070815e+03 | -- | Inf
66.10/66.16 c 66.2s| 1 | 0 |108119 | - | 100M| 0 |1869 |2442 |7049 |2442 |7501 |4378 | 42 | 0 | 1.081036e+03 | -- | Inf
66.99/67.00 c 67.0s| 1 | 0 |110452 | - | 102M| 0 |1868 |2442 |7049 |2442 |7544 |4421 | 42 | 0 | 1.082501e+03 | -- | Inf
68.29/68.33 c 68.3s| 1 | 0 |112436 | - | 103M| 0 |1898 |2442 |7049 |2442 |7600 |4477 | 42 | 0 | 1.085964e+03 | -- | Inf
69.20/69.22 c 69.2s| 1 | 0 |114025 | - | 104M| 0 |1874 |2442 |7049 |2442 |7385 |4528 | 42 | 0 | 1.088537e+03 | -- | Inf
70.19/70.30 c 70.3s| 1 | 0 |116694 | - | 106M| 0 |1984 |2442 |7049 |2442 |7436 |4579 | 42 | 0 | 1.089765e+03 | -- | Inf
72.19/72.22 c 72.2s| 1 | 0 |120581 | - | 106M| 0 |1873 |2442 |7049 |2442 |7512 |4655 | 42 | 0 | 1.103133e+03 | -- | Inf
73.39/73.43 c 73.4s| 1 | 0 |122270 | - | 107M| 0 |1848 |2442 |7049 |2442 |7573 |4716 | 42 | 0 | 1.106844e+03 | -- | Inf
74.49/74.59 c 74.6s| 1 | 0 |124650 | - | 108M| 0 |1918 |2442 |7049 |2442 |7625 |4768 | 42 | 0 | 1.109772e+03 | -- | Inf
76.19/76.25 c 76.3s| 1 | 0 |127111 | - | 109M| 0 |2011 |2442 |7049 |2442 |7685 |4828 | 42 | 0 | 1.119171e+03 | -- | Inf
77.29/77.31 c 77.3s| 1 | 0 |128970 | - | 110M| 0 |2020 |2442 |7049 |2442 |7429 |4870 | 42 | 0 | 1.120421e+03 | -- | Inf
78.79/78.81 c 78.8s| 1 | 0 |132713 | - | 110M| 0 |2017 |2442 |7049 |2442 |7484 |4925 | 42 | 0 | 1.128856e+03 | -- | Inf
79.59/79.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.59/79.60 c 79.6s| 1 | 0 |134586 | - | 111M| 0 |1873 |2442 |7049 |2442 |7525 |4966 | 42 | 0 | 1.130915e+03 | -- | Inf
80.39/80.43 c 80.4s| 1 | 0 |136654 | - | 112M| 0 |2030 |2442 |7049 |2442 |7567 |5008 | 42 | 0 | 1.132821e+03 | -- | Inf
81.59/81.62 c 81.6s| 1 | 0 |139420 | - | 113M| 0 |2086 |2442 |7049 |2442 |7609 |5050 | 42 | 0 | 1.134009e+03 | -- | Inf
82.99/83.01 c 83.0s| 1 | 0 |141849 | - | 114M| 0 |2127 |2442 |7049 |2442 |7641 |5082 | 42 | 0 | 1.134758e+03 | -- | Inf
85.40/85.42 c 85.4s| 1 | 0 |145925 | - | 115M| 0 |2069 |2442 |7049 |2442 |7388 |5148 | 42 | 0 | 1.140842e+03 | -- | Inf
86.90/86.97 c 87.0s| 1 | 0 |148117 | - | 116M| 0 |2017 |2442 |7049 |2442 |7439 |5199 | 42 | 0 | 1.145353e+03 | -- | Inf
87.90/87.95 c 87.9s| 1 | 0 |150067 | - | 117M| 0 |1987 |2442 |7049 |2442 |7483 |5243 | 42 | 0 | 1.147457e+03 | -- | Inf
89.70/89.74 c 89.7s| 1 | 0 |153664 | - | 118M| 0 |1985 |2442 |7049 |2442 |7539 |5299 | 42 | 0 | 1.155241e+03 | -- | Inf
90.49/90.50 c 90.5s| 1 | 0 |155818 | - | 119M| 0 |1990 |2442 |7049 |2442 |7588 |5348 | 42 | 0 | 1.158160e+03 | -- | Inf
91.39/91.40 c 91.4s| 1 | 0 |157594 | - | 120M| 0 |1963 |2442 |7049 |2442 |7635 |5395 | 42 | 0 | 1.159952e+03 | -- | Inf
92.30/92.35 c 92.3s| 1 | 0 |159880 | - | 122M| 0 |2049 |2442 |7049 |2442 |7424 |5433 | 42 | 0 | 1.161458e+03 | -- | Inf
93.40/93.43 c 93.4s| 1 | 0 |161175 | - | 122M| 0 |2057 |2442 |7049 |2442 |7466 |5475 | 42 | 0 | 1.161833e+03 | -- | Inf
93.99/94.09 c 94.1s| 1 | 0 |162732 | - | 123M| 0 |1980 |2442 |7049 |2442 |7504 |5513 | 42 | 0 | 1.162402e+03 | -- | Inf
94.99/95.00 c 95.0s| 1 | 0 |165088 | - | 125M| 0 |2067 |2442 |7049 |2442 |7551 |5560 | 42 | 0 | 1.163837e+03 | -- | Inf
96.99/97.00 c 97.0s| 1 | 0 |169412 | - | 126M| 0 |2059 |2442 |7049 |2442 |7593 |5602 | 42 | 0 | 1.168223e+03 | -- | Inf
97.90/97.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.90/97.99 c 98.0s| 1 | 0 |171292 | - | 127M| 0 |2012 |2442 |7049 |2442 |7637 |5646 | 42 | 0 | 1.169058e+03 | -- | Inf
99.79/99.81 c 99.8s| 1 | 0 |174191 | - | 127M| 0 |1982 |2442 |7049 |2442 |7444 |5695 | 42 | 0 | 1.174605e+03 | -- | Inf
100.59/100.60 c 101s| 1 | 0 |175794 | - | 129M| 0 |2059 |2442 |7049 |2442 |7471 |5722 | 42 | 0 | 1.175325e+03 | -- | Inf
101.80/101.88 c 102s| 1 | 0 |177800 | - | 129M| 0 |1946 |2442 |7049 |2442 |7535 |5786 | 42 | 0 | 1.178991e+03 | -- | Inf
102.60/102.61 c 103s| 1 | 0 |179510 | - | 130M| 0 |2048 |2442 |7049 |2442 |7570 |5821 | 42 | 0 | 1.180475e+03 | -- | Inf
104.09/104.10 c 104s| 1 | 0 |182212 | - | 131M| 0 |2041 |2442 |7049 |2442 |7618 |5869 | 42 | 0 | 1.184879e+03 | -- | Inf
104.80/104.89 c 105s| 1 | 0 |184190 | - | 132M| 0 |1954 |2442 |7049 |2442 |7663 |5914 | 42 | 0 | 1.186706e+03 | -- | Inf
106.09/106.12 c 106s| 1 | 0 |186950 | - | 133M| 0 |1971 |2442 |7049 |2442 |7490 |5949 | 42 | 0 | 1.189304e+03 | -- | Inf
107.20/107.26 c 107s| 1 | 0 |190050 | - | 133M| 0 |2056 |2442 |7049 |2442 |7528 |5987 | 42 | 0 | 1.191009e+03 | -- | Inf
108.59/108.62 c 109s| 1 | 0 |192706 | - | 134M| 0 |2031 |2442 |7049 |2442 |7571 |6030 | 42 | 0 | 1.194255e+03 | -- | Inf
109.10/109.16 c 109s| 1 | 0 |194352 | - | 135M| 0 |1989 |2442 |7049 |2442 |7612 |6071 | 42 | 0 | 1.195119e+03 | -- | Inf
110.09/110.12 c 110s| 1 | 0 |196962 | - | 136M| 0 |2030 |2442 |7049 |2442 |7651 |6110 | 42 | 0 | 1.196018e+03 | -- | Inf
111.00/111.01 c 111s| 1 | 0 |198078 | - | 136M| 0 |2084 |2442 |7049 |2442 |7682 |6141 | 42 | 0 | 1.196287e+03 | -- | Inf
112.89/112.94 c 113s| 1 | 0 |201705 | - | 137M| 0 |2049 |2442 |7049 |2442 |7472 |6191 | 42 | 0 | 1.200389e+03 | -- | Inf
114.00/114.05 c 114s| 1 | 0 |204306 | - | 137M| 0 |2010 |2442 |7049 |2442 |7500 |6219 | 42 | 0 | 1.201995e+03 | -- | Inf
114.70/114.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.70/114.72 c 115s| 1 | 0 |206392 | - | 138M| 0 |2014 |2442 |7049 |2442 |7530 |6249 | 42 | 0 | 1.203511e+03 | -- | Inf
117.00/117.02 c 117s| 1 | 0 |210626 | - | 138M| 0 |2049 |2442 |7049 |2442 |7572 |6291 | 42 | 0 | 1.209473e+03 | -- | Inf
118.59/118.63 c 119s| 1 | 0 |213649 | - | 139M| 0 |2003 |2442 |7049 |2442 |7604 |6323 | 42 | 0 | 1.211027e+03 | -- | Inf
119.39/119.44 c 119s| 1 | 0 |215384 | - | 139M| 0 |1993 |2442 |7049 |2442 |7642 |6361 | 42 | 0 | 1.211606e+03 | -- | Inf
120.69/120.78 c 121s| 1 | 0 |218004 | - | 140M| 0 |1947 |2442 |7049 |2442 |7454 |6401 | 42 | 0 | 1.214787e+03 | -- | Inf
121.70/121.74 c 122s| 1 | 0 |220511 | - | 140M| 0 |1929 |2442 |7049 |2442 |7492 |6439 | 42 | 0 | 1.216044e+03 | -- | Inf
122.99/123.04 c 123s| 1 | 0 |223002 | - | 141M| 0 |2029 |2442 |7049 |2442 |7529 |6476 | 42 | 0 | 1.218263e+03 | -- | Inf
124.30/124.35 c 124s| 1 | 0 |224997 | - | 141M| 0 |1980 |2442 |7049 |2442 |7559 |6506 | 42 | 0 | 1.220301e+03 | -- | Inf
125.00/125.00 c 125s| 1 | 0 |225999 | - | 142M| 0 |2039 |2442 |7049 |2442 |7586 |6533 | 42 | 0 | 1.220750e+03 | -- | Inf
125.90/125.92 c 126s| 1 | 0 |227209 | - | 142M| 0 |2059 |2442 |7049 |2442 |7609 |6556 | 42 | 0 | 1.221112e+03 | -- | Inf
127.60/127.62 c 128s| 1 | 0 |229935 | - | 142M| 0 |1998 |2442 |7049 |2442 |7437 |6582 | 42 | 0 | 1.222748e+03 | -- | Inf
128.29/128.33 c 128s| 1 | 0 |230955 | - | 143M| 0 |2015 |2442 |7049 |2442 |7455 |6600 | 42 | 0 | 1.223333e+03 | -- | Inf
129.70/129.73 c 130s| 1 | 0 |233266 | - | 142M| 0 |2062 |2442 |7049 |2442 |7475 |6620 | 42 | 0 | 1.224389e+03 | -- | Inf
130.99/131.07 c 131s| 1 | 0 |235351 | - | 136M| 0 |2071 |2442 |7049 |2442 |7501 |6646 | 42 | 0 | 1.225247e+03 | -- | Inf
131.90/131.91 c 132s| 1 | 0 |237176 | - | 134M| 0 |2024 |2442 |7049 |2442 |7519 |6664 | 42 | 0 | 1.225913e+03 | -- | Inf
132.69/132.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.69/132.73 c 133s| 1 | 0 |238452 | - | 131M| 0 |1980 |2442 |7049 |2442 |7541 |6686 | 42 | 0 | 1.226533e+03 | -- | Inf
133.70/133.72 c 134s| 1 | 0 |241311 | - | 130M| 0 |2084 |2442 |7049 |2442 |7336 |6705 | 42 | 0 | 1.227409e+03 | -- | Inf
134.99/135.09 c 135s| 1 | 0 |243777 | - | 127M| 0 |2053 |2442 |7049 |2442 |7383 |6752 | 42 | 0 | 1.228665e+03 | -- | Inf
136.19/136.24 c 136s| 1 | 0 |244706 | - | 127M| 0 |2018 |2442 |7049 |2442 |7413 |6782 | 42 | 0 | 1.229601e+03 | -- | Inf
136.79/136.83 c 137s| 1 | 0 |245243 | - | 126M| 0 |2020 |2442 |7049 |2442 |7438 |6807 | 42 | 0 | 1.229928e+03 | -- | Inf
137.70/137.71 c 138s| 1 | 0 |246217 | - | 124M| 0 |2083 |2442 |7049 |2442 |7461 |6830 | 42 | 0 | 1.230399e+03 | -- | Inf
138.40/138.46 c 138s| 1 | 0 |247738 | - | 124M| 0 |2027 |2442 |7049 |2442 |7483 |6852 | 42 | 0 | 1.230684e+03 | -- | Inf
139.90/139.94 c 140s| 1 | 0 |251102 | - | 122M| 0 |2089 |2442 |7049 |2442 |7397 |6895 | 42 | 0 | 1.232961e+03 | -- | Inf
140.49/140.59 c 141s| 1 | 0 |252095 | - | 122M| 0 |2031 |2442 |7049 |2442 |7422 |6920 | 42 | 0 | 1.233662e+03 | -- | Inf
141.19/141.29 c 141s| 1 | 0 |253607 | - | 121M| 0 |2056 |2442 |7049 |2442 |7452 |6950 | 42 | 0 | 1.234155e+03 | -- | Inf
142.79/142.82 c 143s| 1 | 0 |255250 | - | 120M| 0 |2088 |2442 |7049 |2442 |7478 |6976 | 42 | 0 | 1.235725e+03 | -- | Inf
144.89/144.98 c 145s| 1 | 0 |258756 | - | 119M| 0 |1988 |2442 |7049 |2442 |7516 |7014 | 42 | 0 | 1.237502e+03 | -- | Inf
145.79/145.83 c 146s| 1 | 0 |259861 | - | 116M| 0 |2028 |2442 |7049 |2442 |7534 |7032 | 42 | 0 | 1.238456e+03 | -- | Inf
146.99/147.03 c 147s| 1 | 0 |260951 | - | 112M| 0 |2019 |2442 |7049 |2442 |7431 |7059 | 42 | 0 | 1.239511e+03 | -- | Inf
148.40/148.41 c 148s| 1 | 0 |262063 | - | 112M| 0 |2015 |2442 |7049 |2442 |7459 |7087 | 42 | 0 | 1.241058e+03 | -- | Inf
149.50/149.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.50/149.51 c 150s| 1 | 0 |263143 | - | 109M| 0 |1995 |2442 |7049 |2442 |7482 |7110 | 42 | 0 | 1.241936e+03 | -- | Inf
150.60/150.61 c 151s| 1 | 0 |264516 | - | 108M| 0 |1975 |2442 |7049 |2442 |7500 |7128 | 42 | 0 | 1.243643e+03 | -- | Inf
151.10/151.19 c 151s| 1 | 0 |265221 | - | 105M| 0 |2003 |2442 |7049 |2442 |7516 |7144 | 42 | 0 | 1.244408e+03 | -- | Inf
151.89/151.99 c 152s| 1 | 0 |265829 | - | 104M| 0 |1986 |2442 |7049 |2442 |7526 |7154 | 42 | 0 | 1.244743e+03 | -- | Inf
153.39/153.45 c 153s| 1 | 0 |267943 | - | 104M| 0 |2038 |2442 |7049 |2442 |7421 |7176 | 42 | 0 | 1.245573e+03 | -- | Inf
154.39/154.48 c 154s| 1 | 0 |268769 | - | 104M| 0 |1979 |2442 |7049 |2442 |7435 |7190 | 42 | 0 | 1.246530e+03 | -- | Inf
155.50/155.50 c 155s| 1 | 0 |269556 | - | 102M| 0 |2022 |2442 |7049 |2442 |7468 |7223 | 42 | 0 | 1.247875e+03 | -- | Inf
156.59/156.66 c 157s| 1 | 0 |270418 | - | 102M| 0 |1988 |2442 |7049 |2442 |7500 |7255 | 42 | 0 | 1.249274e+03 | -- | Inf
157.70/157.71 c 158s| 1 | 0 |271243 | - | 101M| 0 |1979 |2442 |7049 |2442 |7540 |7295 | 42 | 0 | 1.252282e+03 | -- | Inf
158.50/158.50 c 158s| 1 | 0 |271982 | - | 100M| 0 |1935 |2442 |7049 |2442 |7558 |7313 | 42 | 0 | 1.252907e+03 | -- | Inf
159.40/159.44 c 159s| 1 | 0 |272327 | - | 99M| 0 |1963 |2442 |7049 |2442 |7452 |7338 | 42 | 0 | 1.253652e+03 | -- | Inf
160.39/160.46 c 160s| 1 | 0 |273286 | - | 99M| 0 |1982 |2442 |7049 |2442 |7475 |7361 | 42 | 0 | 1.255531e+03 | -- | Inf
161.10/161.16 c 161s| 1 | 0 |273787 | - | 98M| 0 |2009 |2442 |7049 |2442 |7496 |7382 | 42 | 0 | 1.257198e+03 | -- | Inf
162.10/162.12 c 162s| 1 | 0 |274781 | - | 98M| 0 |1991 |2442 |7049 |2442 |7518 |7404 | 42 | 0 | 1.259046e+03 | -- | Inf
162.60/162.63 c 163s| 1 | 0 |275237 | - | 97M| 0 |1991 |2442 |7049 |2442 |7537 |7423 | 42 | 0 | 1.259638e+03 | -- | Inf
163.49/163.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.49/163.55 c 164s| 1 | 0 |276089 | - | 96M| 0 |1938 |2442 |7049 |2442 |7552 |7438 | 42 | 0 | 1.260289e+03 | -- | Inf
163.99/164.07 c 164s| 1 | 0 |276516 | - | 95M| 0 |1916 |2442 |7049 |2442 |7448 |7454 | 42 | 0 | 1.260452e+03 | -- | Inf
164.70/164.79 c 165s| 1 | 0 |277052 | - | 95M| 0 |2003 |2442 |7049 |2442 |7462 |7468 | 42 | 0 | 1.260855e+03 | -- | Inf
165.39/165.45 c 165s| 1 | 0 |277489 | - | 95M| 0 |1995 |2442 |7049 |2442 |7481 |7487 | 42 | 0 | 1.261279e+03 | -- | Inf
166.30/166.37 c 166s| 1 | 0 |277961 | - | 95M| 0 |1963 |2442 |7049 |2442 |7494 |7500 | 42 | 0 | 1.261807e+03 | -- | Inf
167.29/167.31 c 167s| 1 | 0 |278443 | - | 92M| 0 |1902 |2442 |7049 |2442 |7511 |7517 | 42 | 0 | 1.262591e+03 | -- | Inf
168.30/168.31 c 168s| 1 | 0 |279220 | - | 92M| 0 |1942 |2442 |7049 |2442 |7530 |7536 | 42 | 0 | 1.264021e+03 | -- | Inf
169.10/169.17 c 169s| 1 | 0 |279841 | - | 90M| 0 |1976 |2442 |7049 |2442 |7418 |7564 | 42 | 0 | 1.265691e+03 | -- | Inf
169.99/170.00 c 170s| 1 | 0 |280002 | - | 89M| 0 |1991 |2442 |7049 |2442 |7432 |7578 | 42 | 0 | 1.265843e+03 | -- | Inf
170.99/171.05 c 171s| 1 | 0 |280386 | - | 89M| 0 |1983 |2442 |7049 |2442 |7442 |7588 | 42 | 0 | 1.266267e+03 | -- | Inf
171.99/172.05 c 172s| 1 | 0 |280841 | - | 89M| 0 |1979 |2442 |7049 |2442 |7462 |7608 | 42 | 0 | 1.266537e+03 | -- | Inf
172.99/173.05 c 173s| 1 | 0 |281109 | - | 87M| 0 |2003 |2442 |7049 |2442 |7474 |7620 | 42 | 0 | 1.267212e+03 | -- | Inf
173.99/174.04 c 174s| 1 | 0 |281233 | - | 86M| 0 |2009 |2442 |7049 |2442 |7484 |7630 | 42 | 0 | 1.267553e+03 | -- | Inf
175.10/175.10 c 175s| 1 | 0 |281378 | - | 85M| 0 |1985 |2442 |7049 |2442 |7404 |7635 | 42 | 0 | 1.267801e+03 | -- | Inf
176.10/176.13 c 176s| 1 | 0 |281793 | - | 84M| 0 |2047 |2442 |7049 |2442 |7408 |7639 | 42 | 0 | 1.268322e+03 | -- | Inf
177.10/177.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.10/177.15 c 177s| 1 | 0 |282524 | - | 83M| 0 |2034 |2442 |7049 |2442 |7421 |7652 | 42 | 0 | 1.268469e+03 | -- | Inf
178.10/178.15 c 178s| 1 | 0 |283365 | - | 81M| 0 |2012 |2442 |7049 |2442 |7436 |7667 | 42 | 0 | 1.268817e+03 | -- | Inf
179.20/179.22 c 179s| 1 | 0 |284316 | - | 80M| 0 |1964 |2442 |7049 |2442 |7447 |7678 | 42 | 0 | 1.269216e+03 | -- | Inf
179.99/180.06 c 180s| 1 | 0 |284657 | - | 79M| 0 |2010 |2442 |7049 |2442 |7461 |7692 | 42 | 0 | 1.269512e+03 | -- | Inf
180.99/181.01 c 181s| 1 | 0 |284816 | - | 77M| 0 |2027 |2442 |7049 |2442 |7369 |7701 | 42 | 0 | 1.269768e+03 | -- | Inf
182.10/182.13 c 182s| 1 | 0 |285376 | - | 77M| 0 |2012 |2442 |7049 |2442 |7374 |7706 | 42 | 0 | 1.269987e+03 | -- | Inf
182.60/182.65 c 183s| 1 | 0 |286139 | - | 77M| 0 |2031 |2442 |7049 |2442 |7384 |7716 | 42 | 0 | 1.270043e+03 | -- | Inf
183.60/183.65 c 184s| 1 | 0 |287290 | - | 76M| 0 |1980 |2442 |7049 |2442 |7396 |7728 | 42 | 0 | 1.270395e+03 | -- | Inf
184.59/184.68 c 185s| 1 | 0 |289303 | - | 76M| 0 |2021 |2442 |7049 |2442 |7404 |7736 | 42 | 0 | 1.270650e+03 | -- | Inf
185.60/185.65 c 186s| 1 | 0 |290230 | - | 76M| 0 |2021 |2442 |7049 |2442 |7422 |7754 | 42 | 0 | 1.271924e+03 | -- | Inf
186.59/186.62 c 187s| 1 | 0 |290629 | - | 76M| 0 |2019 |2442 |7049 |2442 |7377 |7765 | 42 | 0 | 1.272671e+03 | -- | Inf
187.49/187.59 c 188s| 1 | 0 |290964 | - | 75M| 0 |2004 |2442 |7049 |2442 |7385 |7773 | 42 | 0 | 1.272827e+03 | -- | Inf
188.49/188.58 c 189s| 1 | 0 |291502 | - | 74M| 0 |2007 |2442 |7049 |2442 |7408 |7796 | 42 | 0 | 1.272929e+03 | -- | Inf
189.39/189.41 c 189s| 1 | 0 |291902 | - | 74M| 0 |2004 |2442 |7049 |2442 |7434 |7822 | 42 | 0 | 1.272951e+03 | -- | Inf
190.70/190.72 c 191s| 1 | 0 |293820 | - | 74M| 0 |2039 |2442 |7049 |2442 |7455 |7843 | 42 | 0 | 1.273418e+03 | -- | Inf
191.69/191.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.69/191.71 c 192s| 1 | 0 |295806 | - | 73M| 0 |2009 |2442 |7049 |2442 |7485 |7873 | 42 | 0 | 1.274197e+03 | -- | Inf
192.69/192.74 c 193s| 1 | 0 |296661 | - | 72M| 0 |2046 |2442 |7049 |2442 |7444 |7892 | 42 | 0 | 1.274486e+03 | -- | Inf
193.99/194.05 c 194s| 1 | 0 |298693 | - | 72M| 0 |2013 |2442 |7049 |2442 |7464 |7912 | 42 | 0 | 1.275559e+03 | -- | Inf
194.90/194.98 c 195s| 1 | 0 |298922 | - | 71M| 0 |2031 |2442 |7049 |2442 |7482 |7930 | 42 | 0 | 1.275559e+03 | -- | Inf
195.89/195.96 c 196s| 1 | 0 |299022 | - | 70M| 0 |2036 |2442 |7049 |2442 |7491 |7939 | 42 | 0 | 1.275559e+03 | -- | Inf
196.99/197.08 c 197s| 1 | 0 |299546 | - | 69M| 0 |2033 |2442 |7049 |2442 |7499 |7947 | 42 | 0 | 1.275559e+03 | -- | Inf
198.09/198.16 c 198s| 1 | 0 |299767 | - | 68M| 0 |2009 |2442 |7049 |2442 |7505 |7953 | 42 | 0 | 1.275559e+03 | -- | Inf
199.20/199.21 c 199s| 1 | 0 |299976 | - | 67M| 0 |1990 |2442 |7049 |2442 |7448 |7956 | 42 | 0 | 1.275575e+03 | -- | Inf
202.30/202.35 c 202s| 1 | 2 |299976 | - | 67M| 0 |1990 |2442 |7049 |2442 |7448 |7956 | 42 | 15 | 1.275575e+03 | -- | Inf
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 3654
1797.03/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00 c Dual Bound : +1.29203276958390e+03
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 s UNKNOWN
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.36 (included in solving)
1797.03/1797.00 c reading : 0.04 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488765-1307765951.opb
1797.03/1797.00 c Variables : 2630 (2630 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 6569 initial, 6569 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488765-1307765951.opb
1797.03/1797.00 c Variables : 2442 (2442 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 6255 initial, 7527 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 3 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.23 2 183 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.02 0 0 0 0 0 190 0 0 0
1797.03/1797.00 c linear : 0.05 0 0 0 0 0 122 0 122 0
1797.03/1797.00 c logicor : 0.06 0 0 0 0 0 2 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 3785 0 4 0 0 137 0 0 7296
1797.03/1797.00 c setppc : 1497 172 88552 0 0 3 28820 238 4970 0 0 0
1797.03/1797.00 c linear : 0+ 171 84307 0 0 0 32 0 3 43 0 0
1797.03/1797.00 c logicor : 4758+ 172 62274 0 0 1 18092 158 4543 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 463.88 0.00 0.00 463.88 0.00 0.00 0.00
1797.03/1797.00 c setppc : 2.85 0.02 2.82 0.00 0.00 0.00 0.01
1797.03/1797.00 c linear : 0.46 0.09 0.37 0.00 0.00 0.00 0.00
1797.03/1797.00 c logicor : 0.60 0.06 0.54 0.00 0.00 0.00 0.01
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 85037 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.02 0.02 0.00
1797.03/1797.00 c rootredcost : 0.02 0.02 0.00
1797.03/1797.00 c pseudoobj : 2.66 2.66 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.02 396 394 888 21.8 127 7.5 -
1797.03/1797.00 c infeasible LP : 0.09 221 221 970 41.0 35 5.4 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 1354 25.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 2.65 171 - - 7624 - (maximal pool size: 35409)
1797.03/1797.00 c redcost : 0.09 3956 0 0 0 0
1797.03/1797.00 c impliedbounds : 0.05 172 0 0 4011 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 106.17 172 0 0 76666 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 7.47 20 0 0 10000 0
1797.03/1797.00 c cmir : 0.33 10 0 0 0 0
1797.03/1797.00 c flowcover : 0.32 10 0 0 0 0
1797.03/1797.00 c clique : 0.31 171 0 0 60 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.01 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.63 1 0 0 0 752
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 463.87 3785 0 137 0 0 7296
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c oneopt : 0.00 0 0
1797.03/1797.00 c crossover : 0.00 0 0
1797.03/1797.00 c trivial : 0.00 2 0
1797.03/1797.00 c shiftandpropagate: 0.02 1 0
1797.03/1797.00 c simplerounding : 0.00 0 0
1797.03/1797.00 c zirounding : 0.79 1000 0
1797.03/1797.00 c rounding : 0.43 829 0
1797.03/1797.00 c shifting : 1.21 288 0
1797.03/1797.00 c intshifting : 0.00 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c feaspump : 28.90 13 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c coefdiving : 77.43 55 0
1797.03/1797.00 c pscostdiving : 64.51 38 0
1797.03/1797.00 c fracdiving : 78.33 55 0
1797.03/1797.00 c veclendiving : 52.48 52 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c objpscostdiving : 32.61 4 0
1797.03/1797.00 c rootsoldiving : 14.51 3 0
1797.03/1797.00 c linesearchdiving : 73.11 57 0
1797.03/1797.00 c guideddiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.02 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.00 0 0
1797.03/1797.00 c trysol : 0.00 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.14 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 782.43 3961 4036746 1019.12 5159.26
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 393.54 24278 1515593 62.43 3851.18
1797.03/1797.00 c strong branching : 462.11 4350 1872546 430.47 4052.15
1797.03/1797.00 c (at root node) : - 15 12533 835.53 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 3654
1797.03/1797.00 c nodes (total) : 3654
1797.03/1797.00 c nodes left : 3643
1797.03/1797.00 c max depth : 24
1797.03/1797.00 c max depth (total): 24
1797.03/1797.00 c backtracks : 1387 (38.0%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 30 (8 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 8.33
1797.03/1797.00 c switching time : 1.04
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 0 (0 improvements)
1797.03/1797.00 c Primal Bound : -
1797.03/1797.00 c Dual Bound : +1.29203276958390e+03
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 c Root Dual Bound : +1.27557502649311e+03
1797.03/1797.00 c Root Iterations : 299976
1797.03/1797.07 c Time complete: 1797.1.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488765-1307765951/watcher-3488765-1307765951 -o /tmp/evaluation-result-3488765-1307765951/solver-3488765-1307765951 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488765-1307765951.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.92 2.22 2.07 2/175 25518
/proc/meminfo: memFree=30659872/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=12564 CPUtime=0 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 2135 0 0 0 0 0 0 0 23 0 1 0 888194775 12865536 2090 33554432000 4194304 9016284 140733291493424 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25518/statm: 3174 2094 353 1178 0 1992 0
[startup+0.096564 s]
/proc/loadavg: 2.92 2.22 2.07 2/175 25518
/proc/meminfo: memFree=30659872/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=30856 CPUtime=0.09 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 6711 0 0 0 9 0 0 0 23 0 1 0 888194775 31596544 6409 33554432000 4194304 9016284 140733291493424 18446744073709551615 4202267 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 7714 6409 480 1178 0 6532 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30856
[startup+0.100565 s]
/proc/loadavg: 2.92 2.22 2.07 2/175 25518
/proc/meminfo: memFree=30659872/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=31324 CPUtime=0.09 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 6833 0 0 0 9 0 0 0 23 0 1 0 888194775 32075776 6531 33554432000 4194304 9016284 140733291493424 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 7831 6531 485 1178 0 6649 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31324
[startup+0.30053 s]
/proc/loadavg: 2.92 2.22 2.07 2/175 25518
/proc/meminfo: memFree=30659872/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=34996 CPUtime=0.29 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 7811 0 0 0 29 0 0 0 25 0 1 0 888194775 35835904 7509 33554432000 4194304 9016284 140733291493424 18446744073709551615 4887840 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 8749 7509 520 1178 0 7567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34996
[startup+0.700471 s]
/proc/loadavg: 2.92 2.22 2.07 2/175 25518
/proc/meminfo: memFree=30659872/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=50084 CPUtime=0.69 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 11883 0 0 0 69 0 0 0 25 0 1 0 888194775 51286016 11362 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 12521 11362 637 1178 0 11339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50084
[startup+1.50033 s]
/proc/loadavg: 2.92 2.22 2.07 3/176 25519
/proc/meminfo: memFree=30617108/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=50084 CPUtime=1.49 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 11911 0 0 0 148 1 0 0 25 0 1 0 888194775 51286016 11390 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 12521 11390 637 1178 0 11339 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50084
[startup+3.10106 s]
/proc/loadavg: 2.84 2.22 2.07 3/176 25519
/proc/meminfo: memFree=30616736/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=50640 CPUtime=3.1 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 12402 0 0 0 306 4 0 0 25 0 1 0 888194775 51855360 11724 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 12660 11724 663 1178 0 11478 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 50640
[startup+6.3005 s]
/proc/loadavg: 2.84 2.22 2.07 4/176 25519
/proc/meminfo: memFree=30563976/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=103584 CPUtime=6.29 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 26237 0 0 0 622 7 0 0 25 0 1 0 888194775 106070016 24644 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 25896 24644 721 1178 0 24714 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103584
[startup+12.7004 s]
/proc/loadavg: 2.93 2.26 2.09 3/176 25519
/proc/meminfo: memFree=30563160/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=103584 CPUtime=12.69 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 26351 0 0 0 1258 11 0 0 25 0 1 0 888194775 106070016 24745 33554432000 4194304 9016284 140733291493424 18446744073709551615 6270490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 25896 24745 708 1178 0 24714 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103584
[startup+25.5002 s]
/proc/loadavg: 2.79 2.25 2.09 3/176 25520
/proc/meminfo: memFree=30554224/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=113848 CPUtime=25.5 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 30553 0 0 0 2530 20 0 0 25 0 1 0 888194775 116580352 27139 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 28462 27139 707 1178 0 27280 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 113848
[startup+51.1007 s]
/proc/loadavg: 2.52 2.23 2.08 3/176 25521
/proc/meminfo: memFree=30519876/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=152864 CPUtime=51.09 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 49908 0 0 0 5069 40 0 0 25 0 1 0 888194775 156532736 35996 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 38216 35996 756 1178 0 37034 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 152864
[startup+102.306 s]
/proc/loadavg: 2.21 2.19 2.08 3/176 25522
/proc/meminfo: memFree=30467972/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=206504 CPUtime=102.3 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 90796 0 0 0 10143 87 0 0 25 0 1 0 888194775 211460096 48769 33554432000 4194304 9016284 140733291493424 18446744073709551615 6918437 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 51626 48769 711 1178 0 50444 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 206504
[startup+162.3 s]
/proc/loadavg: 2.47 2.27 2.11 3/176 25637
/proc/meminfo: memFree=30441488/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=222400 CPUtime=162.3 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 100992 0 0 0 16081 149 0 0 25 0 1 0 888194775 227737600 53010 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 55600 53010 1081 1178 0 54418 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 222400
[startup+222.301 s]
/proc/loadavg: 2.23 2.23 2.10 3/176 25639
/proc/meminfo: memFree=30440232/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=221936 CPUtime=222.3 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 102435 0 0 0 22020 210 0 0 25 0 1 0 888194775 227262464 53070 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 55484 53070 883 1178 0 54302 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 221936
[startup+282.301 s]
/proc/loadavg: 2.09 2.19 2.09 3/176 25641
/proc/meminfo: memFree=30440132/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=221936 CPUtime=282.3 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 102483 0 0 0 27946 284 0 0 25 0 1 0 888194775 227262464 53074 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 55484 53074 842 1178 0 54302 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 221936
[startup+342.3 s]
/proc/loadavg: 2.03 2.15 2.09 3/176 25643
/proc/meminfo: memFree=30439980/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=221936 CPUtime=342.3 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 102499 0 0 0 33871 359 0 0 25 0 1 0 888194775 227262464 53081 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 55484 53081 833 1178 0 54302 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 221936
[startup+402.301 s]
/proc/loadavg: 2.06 2.14 2.09 3/176 25644
/proc/meminfo: memFree=30439344/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=221936 CPUtime=402.3 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 102499 0 0 0 39797 433 0 0 25 0 1 0 888194775 227262464 53081 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 55484 53081 833 1178 0 54302 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 221936
[startup+462.3 s]
/proc/loadavg: 2.02 2.11 2.08 3/176 25645
/proc/meminfo: memFree=30439196/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=221936 CPUtime=462.3 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 102499 0 0 0 45724 506 0 0 25 0 1 0 888194775 227262464 53081 33554432000 4194304 9016284 140733291493424 18446744073709551615 7180742 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 55484 53081 833 1178 0 54302 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 221936
[startup+522.301 s]
/proc/loadavg: 2.00 2.09 2.07 3/176 25647
/proc/meminfo: memFree=30439304/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=221936 CPUtime=522.31 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 102499 0 0 0 51656 575 0 0 25 0 1 0 888194775 227262464 53081 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 55484 53081 833 1178 0 54302 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 221936
[startup+582.301 s]
/proc/loadavg: 2.43 2.17 2.10 3/176 25687
/proc/meminfo: memFree=30411616/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=221936 CPUtime=582.3 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 102499 0 0 0 57578 652 0 0 25 0 1 0 888194775 227262464 53081 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 55484 53081 833 1178 0 54302 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 221936
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30383880/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=225004 CPUtime=1122.32 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 103273 0 0 0 110874 1358 0 0 25 0 1 0 888194775 230404096 53855 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 56251 53855 833 1178 0 55069 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 225004
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/176 25703
/proc/meminfo: memFree=30383840/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=225004 CPUtime=1182.31 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 103273 0 0 0 116802 1429 0 0 25 0 1 0 888194775 230404096 53855 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 56251 53855 833 1178 0 55069 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 225004
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/176 25705
/proc/meminfo: memFree=30383200/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=225004 CPUtime=1242.32 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 103276 0 0 0 122725 1507 0 0 25 0 1 0 888194775 230404096 53858 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 56251 53858 833 1178 0 55069 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 225004
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 25706
/proc/meminfo: memFree=30383280/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=225004 CPUtime=1302.32 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 103276 0 0 0 128647 1585 0 0 25 0 1 0 888194775 230404096 53858 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 56251 53858 833 1178 0 55069 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 225004
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/176 25707
/proc/meminfo: memFree=30383368/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=226004 CPUtime=1362.32 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 103525 0 0 0 134570 1662 0 0 25 0 1 0 888194775 231428096 54107 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 56501 54107 833 1178 0 55319 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 226004
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.02 3/176 25709
/proc/meminfo: memFree=30381240/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=226984 CPUtime=1422.33 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 103786 0 0 0 140495 1738 0 0 25 0 1 0 888194775 232431616 54368 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 56746 54368 833 1178 0 55564 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 226984
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.02 4/176 25711
/proc/meminfo: memFree=30379336/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=226984 CPUtime=1482.32 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 103792 0 0 0 146419 1813 0 0 25 0 1 0 888194775 232431616 54374 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 56746 54374 833 1178 0 55564 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 226984
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/176 25713
/proc/meminfo: memFree=30380292/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=228068 CPUtime=1542.32 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104042 0 0 0 152338 1894 0 0 25 0 1 0 888194775 233541632 54624 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57017 54624 833 1178 0 55835 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 228068
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/176 25714
/proc/meminfo: memFree=30375168/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1602.33 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104289 0 0 0 158261 1972 0 0 25 0 1 0 888194775 234541056 54871 33554432000 4194304 9016284 140733291493424 18446744073709551615 7180575 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54871 833 1178 0 56079 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 229044
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25715
/proc/meminfo: memFree=30379344/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1662.32 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104295 0 0 0 164180 2052 0 0 25 0 1 0 888194775 234541056 54877 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54877 833 1178 0 56079 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 229044
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25717
/proc/meminfo: memFree=30379068/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1722.33 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104295 0 0 0 170104 2129 0 0 25 0 1 0 888194775 234541056 54877 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54877 833 1178 0 56079 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 229044
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25719
/proc/meminfo: memFree=30377904/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1782.32 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104296 0 0 0 176032 2200 0 0 25 0 1 0 888194775 234541056 54878 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54878 833 1178 0 56079 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 229044
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25719
/proc/meminfo: memFree=30377904/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1785.53 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104296 0 0 0 176349 2204 0 0 25 0 1 0 888194775 234541056 54878 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54878 833 1178 0 56079 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 229044
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25719
/proc/meminfo: memFree=30375420/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1791.94 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104296 0 0 0 176982 2212 0 0 25 0 1 0 888194775 234541056 54878 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54878 833 1178 0 56079 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 229044
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25719
/proc/meminfo: memFree=30375540/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1795.14 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104296 0 0 0 177299 2215 0 0 25 0 1 0 888194775 234541056 54878 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54878 833 1178 0 56079 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 229044
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25719
/proc/meminfo: memFree=30375540/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1795.93 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104296 0 0 0 177377 2216 0 0 25 0 1 0 888194775 234541056 54878 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54878 833 1178 0 56079 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 229044
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25719
/proc/meminfo: memFree=30375540/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1796.73 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104296 0 0 0 177456 2217 0 0 25 0 1 0 888194775 234541056 54878 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54878 833 1178 0 56079 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 229044
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25719
/proc/meminfo: memFree=30375540/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1796.93 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104296 0 0 0 177476 2217 0 0 25 0 1 0 888194775 234541056 54878 33554432000 4194304 9016284 140733291493424 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54878 833 1178 0 56079 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 229044
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25719
/proc/meminfo: memFree=30375540/32951132 swapFree=67054616/67111528
[pid=25518] ppid=25516 vsize=229044 CPUtime=1797.03 cores=1,3,5,7
/proc/25518/stat : 25518 (scip-2.0.1.4b_2) R 25516 25518 24772 0 -1 4202496 104296 0 0 0 177485 2218 0 0 25 0 1 0 888194775 234541056 54878 33554432000 4194304 9016284 140733291493424 18446744073709551615 5979176 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/25518/statm: 57261 54878 833 1178 0 56079 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 229044
Child status: 0
Real time (s): 1797.08
CPU time (s): 1797.11
CPU user time (s): 1774.92
CPU system time (s): 22.1886
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 229044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.92
system time used= 22.1886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104303
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= 2764
runsolver used 2.40763 second user time and 5.79412 second system time
The end