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-3488773-1307767445.opb>
0.00/0.04 c original problem has 2678 variables (2678 bin, 0 int, 0 impl, 0 cont) and 6689 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, 6565 upgd conss, 5654 impls, 0 clqs
0.09/0.12 c (round 2) 0 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6566 upgd conss, 5654 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, 6567 upgd conss, 5654 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, 6567 upgd conss, 7116 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, 6567 upgd conss, 7154 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, 6567 upgd conss, 7154 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, 6567 upgd conss, 27342 impls, 0 clqs
0.19/0.27 c (round 8) 103 del vars, 229 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 27342 impls, 0 clqs
0.29/0.33 c (round 9) 153 del vars, 229 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 46798 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, 6567 upgd conss, 46798 impls, 0 clqs
0.39/0.40 c (0.4s) probing: 548/2678 (20.5%) - 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, 6567 upgd conss, 48400 impls, 0 clqs
0.39/0.41 c (round 12) 188 del vars, 314 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6567 upgd conss, 48400 impls, 0 clqs
0.39/0.42 c (0.4s) probing: 558/2678 (20.8%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.39/0.42 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.42 c presolving (13 rounds):
0.39/0.42 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.42 c 48400 implications, 0 cliques
0.39/0.42 c presolved problem has 2490 variables (2490 bin, 0 int, 0 impl, 0 cont) and 6375 constraints
0.39/0.42 c 1521 constraints of type <setppc>
0.39/0.42 c 4854 constraints of type <logicor>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.37
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 2.0.1.5
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1797
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 13950
0.39/0.42 c
0.39/0.42 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.42 c # [type: int, range: [1,2], default: 1]
0.39/0.42 c timing/clocktype = 2
0.39/0.42 c
0.39/0.42 c # belongs reading time to solving time?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c timing/reading = TRUE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify inequalities
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/linear/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/indicator/addCouplingCons = TRUE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify knapsacks
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/rapidlearning/freq = 0
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.42 c
2.69/2.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.74 c 2.7s| 1 | 0 | 10363 | - | 14M| 0 |2076 |2490 |6453 |2490 |6373 | 0 | 78 | 0 | 8.022358e+02 | -- | Inf
5.89/5.98 c 6.0s| 1 | 0 | 16622 | - | 21M| 0 |1717 |2490 |7165 |2490 |7597 |1224 | 78 | 0 | 8.324097e+02 | -- | Inf
6.39/6.46 c 6.5s| 1 | 0 | 17312 | - | 27M| 0 |1730 |2490 |7165 |2490 |7635 |1262 | 78 | 0 | 8.387002e+02 | -- | Inf
6.79/6.89 c 6.9s| 1 | 0 | 17910 | - | 29M| 0 |1691 |2490 |7165 |2490 |7682 |1309 | 78 | 0 | 8.436999e+02 | -- | Inf
7.79/7.83 c 7.8s| 1 | 0 | 19415 | - | 32M| 0 |1668 |2490 |7165 |2490 |7724 |1351 | 78 | 0 | 8.473057e+02 | -- | Inf
8.59/8.63 c 8.6s| 1 | 0 | 20705 | - | 35M| 0 |1614 |2490 |7165 |2490 |7764 |1391 | 78 | 0 | 8.506661e+02 | -- | Inf
9.49/9.58 c 9.6s| 1 | 0 | 22183 | - | 37M| 0 |1607 |2490 |7165 |2490 |7809 |1436 | 78 | 0 | 8.528739e+02 | -- | Inf
10.99/11.04 c 11.0s| 1 | 0 | 23834 | - | 40M| 0 |1619 |2490 |7165 |2490 |7857 |1484 | 78 | 0 | 8.576695e+02 | -- | Inf
12.49/12.51 c 12.5s| 1 | 0 | 25409 | - | 44M| 0 |1689 |2490 |7165 |2490 |7908 |1535 | 78 | 0 | 8.625758e+02 | -- | Inf
13.89/13.97 c 14.0s| 1 | 0 | 27598 | - | 48M| 0 |1715 |2490 |7165 |2490 |7949 |1576 | 78 | 0 | 8.670397e+02 | -- | Inf
15.79/15.89 c 15.9s| 1 | 0 | 28725 | - | 51M| 0 |1721 |2490 |7165 |2490 |7990 |1617 | 78 | 0 | 8.714346e+02 | -- | Inf
17.69/17.71 c 17.7s| 1 | 0 | 29675 | - | 52M| 0 |1797 |2490 |7165 |2490 |8028 |1655 | 78 | 0 | 8.738883e+02 | -- | Inf
20.39/20.48 c 20.5s| 1 | 0 | 32136 | - | 53M| 0 |1806 |2490 |7165 |2490 |6892 |1707 | 78 | 0 | 8.853549e+02 | -- | Inf
21.58/21.62 c 21.6s| 1 | 0 | 34301 | - | 57M| 0 |1907 |2490 |7165 |2490 |6930 |1745 | 78 | 0 | 8.886703e+02 | -- | Inf
22.69/22.77 c 22.8s| 1 | 0 | 35203 | - | 63M| 0 |1891 |2490 |7165 |2490 |6969 |1784 | 78 | 0 | 8.901681e+02 | -- | Inf
24.79/24.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.79/24.83 c 24.8s| 1 | 0 | 36942 | - | 66M| 0 |1859 |2490 |7165 |2490 |7018 |1833 | 78 | 0 | 8.932009e+02 | -- | Inf
27.09/27.11 c 27.1s| 1 | 0 | 38929 | - | 67M| 0 |1787 |2490 |7165 |2490 |7092 |1907 | 78 | 0 | 9.111970e+02 | -- | Inf
28.09/28.15 c 28.2s| 1 | 0 | 40906 | - | 71M| 0 |1795 |2490 |7165 |2490 |7132 |1947 | 78 | 0 | 9.122548e+02 | -- | Inf
30.70/30.78 c 30.8s| 1 | 0 | 43448 | - | 73M| 0 |1727 |2490 |7165 |2490 |7038 |2024 | 78 | 0 | 9.328517e+02 | -- | Inf
31.59/31.63 c 31.6s| 1 | 0 | 44516 | - | 78M| 0 |1735 |2490 |7165 |2490 |7069 |2055 | 78 | 0 | 9.342379e+02 | -- | Inf
32.49/32.55 c 32.5s| 1 | 0 | 45758 | - | 83M| 0 |1688 |2490 |7165 |2490 |7107 |2093 | 78 | 0 | 9.361491e+02 | -- | Inf
33.89/34.00 c 34.0s| 1 | 0 | 48016 | - | 84M| 0 |1687 |2490 |7165 |2490 |7176 |2162 | 78 | 0 | 9.504646e+02 | -- | Inf
34.39/34.41 c 34.4s| 1 | 0 | 48872 | - | 87M| 0 |1714 |2490 |7165 |2490 |7209 |2195 | 78 | 0 | 9.522905e+02 | -- | Inf
34.69/34.77 c 34.8s| 1 | 0 | 49429 | - | 88M| 0 |1685 |2490 |7165 |2490 |7250 |2236 | 78 | 0 | 9.531620e+02 | -- | Inf
35.29/35.36 c 35.4s| 1 | 0 | 50073 | - | 90M| 0 |1709 |2490 |7165 |2490 |7112 |2279 | 78 | 0 | 9.543498e+02 | -- | Inf
35.99/36.00 c 36.0s| 1 | 0 | 51141 | - | 91M| 0 |1771 |2490 |7165 |2490 |7152 |2319 | 78 | 0 | 9.562793e+02 | -- | Inf
36.99/37.04 c 37.0s| 1 | 0 | 53049 | - | 94M| 0 |1837 |2490 |7165 |2490 |7196 |2363 | 78 | 0 | 9.583863e+02 | -- | Inf
37.69/37.78 c 37.8s| 1 | 0 | 54473 | - | 97M| 0 |1792 |2490 |7165 |2490 |7234 |2401 | 78 | 0 | 9.594625e+02 | -- | Inf
39.19/39.21 c 39.2s| 1 | 0 | 57710 | - | 98M| 0 |1805 |2490 |7165 |2490 |7287 |2454 | 78 | 0 | 9.626853e+02 | -- | Inf
40.09/40.15 c 40.2s| 1 | 0 | 59208 | - | 101M| 0 |1797 |2490 |7165 |2490 |7334 |2501 | 78 | 0 | 9.647694e+02 | -- | Inf
41.49/41.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.49/41.56 c 41.6s| 1 | 0 | 61738 | - | 102M| 0 |1849 |2490 |7165 |2490 |7135 |2550 | 78 | 0 | 9.665112e+02 | -- | Inf
42.69/42.78 c 42.8s| 1 | 0 | 64200 | - | 104M| 0 |1898 |2490 |7165 |2490 |7182 |2597 | 78 | 0 | 9.680631e+02 | -- | Inf
44.29/44.36 c 44.4s| 1 | 0 | 67034 | - | 105M| 0 |1815 |2490 |7165 |2490 |7241 |2656 | 78 | 0 | 9.751810e+02 | -- | Inf
45.00/45.08 c 45.1s| 1 | 0 | 68543 | - | 107M| 0 |1887 |2490 |7165 |2490 |7287 |2702 | 78 | 0 | 9.765782e+02 | -- | Inf
46.29/46.34 c 46.3s| 1 | 0 | 70619 | - | 109M| 0 |1903 |2490 |7165 |2490 |7334 |2749 | 78 | 0 | 9.783025e+02 | -- | Inf
47.99/48.02 c 48.0s| 1 | 0 | 73069 | - | 110M| 0 |1867 |2490 |7165 |2490 |7399 |2814 | 78 | 0 | 9.861315e+02 | -- | Inf
49.40/49.42 c 49.4s| 1 | 0 | 75507 | - | 112M| 0 |1838 |2490 |7165 |2490 |7204 |2861 | 78 | 0 | 9.899828e+02 | -- | Inf
50.19/50.26 c 50.3s| 1 | 0 | 77441 | - | 114M| 0 |1920 |2490 |7165 |2490 |7246 |2903 | 78 | 0 | 9.912653e+02 | -- | Inf
51.99/52.09 c 52.1s| 1 | 0 | 81375 | - | 115M| 0 |1866 |2490 |7165 |2490 |7307 |2964 | 78 | 0 | 9.950337e+02 | -- | Inf
53.80/53.89 c 53.9s| 1 | 0 | 84237 | - | 115M| 0 |1939 |2490 |7165 |2490 |7385 |3042 | 78 | 0 | 1.013070e+03 | -- | Inf
55.39/55.41 c 55.4s| 1 | 0 | 88086 | - | 120M| 0 |1863 |2490 |7165 |2490 |7425 |3082 | 78 | 0 | 1.015632e+03 | -- | Inf
56.39/56.45 c 56.5s| 1 | 0 | 90064 | - | 122M| 0 |1974 |2490 |7165 |2490 |7473 |3130 | 78 | 0 | 1.017362e+03 | -- | Inf
58.59/58.62 c 58.6s| 1 | 0 | 93499 | - | 122M| 0 |1688 |2490 |7165 |2490 |7327 |3221 | 78 | 0 | 1.034098e+03 | -- | Inf
59.19/59.25 c 59.2s| 1 | 0 | 95098 | - | 125M| 0 |1767 |2490 |7165 |2490 |7368 |3262 | 78 | 0 | 1.035633e+03 | -- | Inf
60.19/60.27 c 60.3s| 1 | 0 | 97949 | - | 127M| 0 |1860 |2490 |7165 |2490 |7411 |3305 | 78 | 0 | 1.037887e+03 | -- | Inf
61.09/61.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.09/61.18 c 61.2s| 1 | 0 | 99785 | - | 129M| 0 |1950 |2490 |7165 |2490 |7452 |3346 | 78 | 0 | 1.038436e+03 | -- | Inf
61.99/62.08 c 62.1s| 1 | 0 |101021 | - | 131M| 0 |1906 |2490 |7165 |2490 |7492 |3386 | 78 | 0 | 1.041038e+03 | -- | Inf
64.00/64.05 c 64.1s| 1 | 0 |104853 | - | 132M| 0 |2024 |2490 |7165 |2490 |7547 |3441 | 78 | 0 | 1.044539e+03 | -- | Inf
65.90/65.91 c 65.9s| 1 | 0 |108443 | - | 133M| 0 |1884 |2490 |7165 |2490 |7382 |3518 | 78 | 0 | 1.061357e+03 | -- | Inf
66.39/66.40 c 66.4s| 1 | 0 |108907 | - | 134M| 0 |1832 |2490 |7165 |2490 |7426 |3562 | 78 | 0 | 1.061879e+03 | -- | Inf
67.19/67.28 c 67.3s| 1 | 0 |110121 | - | 135M| 0 |2008 |2490 |7165 |2490 |7472 |3608 | 78 | 0 | 1.062761e+03 | -- | Inf
69.09/69.17 c 69.2s| 1 | 0 |114102 | - | 136M| 0 |1925 |2490 |7165 |2490 |7557 |3693 | 78 | 0 | 1.079603e+03 | -- | Inf
69.99/70.06 c 70.1s| 1 | 0 |115806 | - | 137M| 0 |1969 |2490 |7165 |2490 |7622 |3758 | 78 | 0 | 1.082150e+03 | -- | Inf
71.49/71.51 c 71.5s| 1 | 0 |118865 | - | 137M| 0 |1876 |2490 |7165 |2490 |7682 |3818 | 78 | 0 | 1.084305e+03 | -- | Inf
72.19/72.25 c 72.2s| 1 | 0 |120338 | - | 139M| 0 |1894 |2490 |7165 |2490 |7479 |3865 | 78 | 0 | 1.085827e+03 | -- | Inf
73.39/73.47 c 73.5s| 1 | 0 |122647 | - | 143M| 0 |2071 |2490 |7165 |2490 |7520 |3906 | 78 | 0 | 1.086629e+03 | -- | Inf
75.39/75.45 c 75.5s| 1 | 0 |125734 | - | 143M| 0 |1868 |2490 |7165 |2490 |7601 |3987 | 78 | 0 | 1.100942e+03 | -- | Inf
76.19/76.25 c 76.3s| 1 | 0 |127493 | - | 145M| 0 |1991 |2490 |7165 |2490 |7645 |4031 | 78 | 0 | 1.101913e+03 | -- | Inf
77.79/77.86 c 77.9s| 1 | 0 |130246 | - | 146M| 0 |1923 |2490 |7165 |2490 |7707 |4093 | 78 | 0 | 1.109625e+03 | -- | Inf
78.49/78.59 c 78.6s| 1 | 0 |131468 | - | 149M| 0 |2000 |2490 |7165 |2490 |7747 |4133 | 78 | 0 | 1.111430e+03 | -- | Inf
79.09/79.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.09/79.13 c 79.1s| 1 | 0 |132091 | - | 150M| 0 |1935 |2490 |7165 |2490 |7505 |4167 | 78 | 0 | 1.112417e+03 | -- | Inf
79.89/79.99 c 80.0s| 1 | 0 |133800 | - | 152M| 0 |1842 |2490 |7165 |2490 |7534 |4196 | 78 | 0 | 1.113555e+03 | -- | Inf
80.79/80.86 c 80.9s| 1 | 0 |135617 | - | 155M| 0 |1962 |2490 |7165 |2490 |7578 |4240 | 78 | 0 | 1.114220e+03 | -- | Inf
81.79/81.85 c 81.8s| 1 | 0 |137323 | - | 158M| 0 |1943 |2490 |7165 |2490 |7617 |4279 | 78 | 0 | 1.115049e+03 | -- | Inf
83.99/84.08 c 84.1s| 1 | 0 |141588 | - | 159M| 0 |1940 |2490 |7165 |2490 |7679 |4341 | 78 | 0 | 1.126008e+03 | -- | Inf
85.09/85.17 c 85.2s| 1 | 0 |143302 | - | 160M| 0 |1986 |2490 |7165 |2490 |7720 |4382 | 78 | 0 | 1.127641e+03 | -- | Inf
86.90/86.95 c 86.9s| 1 | 0 |146271 | - | 162M| 0 |1935 |2490 |7165 |2490 |7497 |4456 | 78 | 0 | 1.140209e+03 | -- | Inf
87.90/87.90 c 87.9s| 1 | 0 |147776 | - | 163M| 0 |1929 |2490 |7165 |2490 |7541 |4500 | 78 | 0 | 1.141656e+03 | -- | Inf
88.79/88.81 c 88.8s| 1 | 0 |149453 | - | 165M| 0 |1903 |2490 |7165 |2490 |7586 |4545 | 78 | 0 | 1.142451e+03 | -- | Inf
90.29/90.31 c 90.3s| 1 | 0 |151838 | - | 165M| 0 |1839 |2490 |7165 |2490 |7653 |4612 | 78 | 0 | 1.149863e+03 | -- | Inf
91.00/91.00 c 91.0s| 1 | 0 |153254 | - | 167M| 0 |1906 |2490 |7165 |2490 |7692 |4651 | 78 | 0 | 1.150555e+03 | -- | Inf
92.49/92.50 c 92.5s| 1 | 0 |155781 | - | 168M| 0 |1904 |2490 |7165 |2490 |7741 |4700 | 78 | 0 | 1.151341e+03 | -- | Inf
93.49/93.51 c 93.5s| 1 | 0 |157052 | - | 169M| 0 |1892 |2490 |7165 |2490 |7561 |4755 | 78 | 0 | 1.152073e+03 | -- | Inf
94.89/94.97 c 95.0s| 1 | 0 |159368 | - | 171M| 0 |1976 |2490 |7165 |2490 |7602 |4796 | 78 | 0 | 1.153183e+03 | -- | Inf
95.89/95.99 c 96.0s| 1 | 0 |161265 | - | 172M| 0 |2079 |2490 |7165 |2490 |7641 |4835 | 78 | 0 | 1.153585e+03 | -- | Inf
97.09/97.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.09/97.14 c 97.1s| 1 | 0 |163157 | - | 174M| 0 |2086 |2490 |7165 |2490 |7679 |4873 | 78 | 0 | 1.154055e+03 | -- | Inf
99.69/99.73 c 99.7s| 1 | 0 |167038 | - | 174M| 0 |1920 |2490 |7165 |2490 |7764 |4958 | 78 | 0 | 1.162134e+03 | -- | Inf
100.29/100.32 c 100s| 1 | 0 |168321 | - | 175M| 0 |1887 |2490 |7165 |2490 |7805 |4999 | 78 | 0 | 1.163970e+03 | -- | Inf
100.89/100.93 c 101s| 1 | 0 |169314 | - | 177M| 0 |1959 |2490 |7165 |2490 |7565 |5038 | 78 | 0 | 1.164512e+03 | -- | Inf
102.69/102.74 c 103s| 1 | 0 |172224 | - | 177M| 0 |2013 |2490 |7165 |2490 |7635 |5108 | 78 | 0 | 1.174502e+03 | -- | Inf
103.29/103.34 c 103s| 1 | 0 |173208 | - | 179M| 0 |1986 |2490 |7165 |2490 |7678 |5151 | 78 | 0 | 1.176042e+03 | -- | Inf
104.29/104.39 c 104s| 1 | 0 |176166 | - | 181M| 0 |1989 |2490 |7165 |2490 |7715 |5188 | 78 | 0 | 1.177617e+03 | -- | Inf
105.89/105.96 c 106s| 1 | 0 |178556 | - | 182M| 0 |1945 |2490 |7165 |2490 |7773 |5246 | 78 | 0 | 1.185016e+03 | -- | Inf
106.89/106.90 c 107s| 1 | 0 |180236 | - | 183M| 0 |1928 |2490 |7165 |2490 |7807 |5280 | 78 | 0 | 1.186278e+03 | -- | Inf
107.59/107.64 c 108s| 1 | 0 |181136 | - | 185M| 0 |1964 |2490 |7165 |2490 |7617 |5317 | 78 | 0 | 1.187610e+03 | -- | Inf
108.49/108.60 c 109s| 1 | 0 |182583 | - | 186M| 0 |2014 |2490 |7165 |2490 |7641 |5341 | 78 | 0 | 1.188410e+03 | -- | Inf
110.59/110.62 c 111s| 1 | 0 |187503 | - | 187M| 0 |1940 |2490 |7165 |2490 |7698 |5398 | 78 | 0 | 1.196763e+03 | -- | Inf
111.50/111.58 c 112s| 1 | 0 |189253 | - | 189M| 0 |1883 |2490 |7165 |2490 |7735 |5435 | 78 | 0 | 1.198509e+03 | -- | Inf
112.59/112.68 c 113s| 1 | 0 |191633 | - | 190M| 0 |1973 |2490 |7165 |2490 |7775 |5475 | 78 | 0 | 1.199461e+03 | -- | Inf
113.79/113.86 c 114s| 1 | 0 |193299 | - | 191M| 0 |2075 |2490 |7165 |2490 |7812 |5512 | 78 | 0 | 1.200296e+03 | -- | Inf
116.00/116.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.00/116.05 c 116s| 1 | 0 |195914 | - | 192M| 0 |2004 |2490 |7165 |2490 |7589 |5578 | 78 | 0 | 1.205044e+03 | -- | Inf
117.49/117.51 c 118s| 1 | 0 |198042 | - | 192M| 0 |1939 |2490 |7165 |2490 |7635 |5624 | 78 | 0 | 1.209437e+03 | -- | Inf
118.29/118.32 c 118s| 1 | 0 |199295 | - | 193M| 0 |2006 |2490 |7165 |2490 |7674 |5663 | 78 | 0 | 1.209967e+03 | -- | Inf
119.09/119.14 c 119s| 1 | 0 |199918 | - | 194M| 0 |2089 |2490 |7165 |2490 |7706 |5695 | 78 | 0 | 1.210223e+03 | -- | Inf
121.00/121.05 c 121s| 1 | 0 |202617 | - | 194M| 0 |2024 |2490 |7165 |2490 |7757 |5746 | 78 | 0 | 1.214697e+03 | -- | Inf
121.69/121.78 c 122s| 1 | 0 |204199 | - | 195M| 0 |2026 |2490 |7165 |2490 |7786 |5775 | 78 | 0 | 1.215364e+03 | -- | Inf
123.20/123.29 c 123s| 1 | 0 |207170 | - | 196M| 0 |2005 |2490 |7165 |2490 |7620 |5827 | 78 | 0 | 1.220496e+03 | -- | Inf
123.89/123.92 c 124s| 1 | 0 |208202 | - | 197M| 0 |1984 |2490 |7165 |2490 |7653 |5860 | 78 | 0 | 1.220770e+03 | -- | Inf
124.69/124.72 c 125s| 1 | 0 |208885 | - | 198M| 0 |1985 |2490 |7165 |2490 |7693 |5900 | 78 | 0 | 1.221359e+03 | -- | Inf
125.79/125.83 c 126s| 1 | 0 |211164 | - | 200M| 0 |2043 |2490 |7165 |2490 |7736 |5943 | 78 | 0 | 1.222114e+03 | -- | Inf
127.60/127.67 c 128s| 1 | 0 |214667 | - | 200M| 0 |2004 |2490 |7165 |2490 |7771 |5978 | 78 | 0 | 1.225810e+03 | -- | Inf
128.49/128.59 c 129s| 1 | 0 |216552 | - | 201M| 0 |2027 |2490 |7165 |2490 |7812 |6019 | 78 | 0 | 1.226853e+03 | -- | Inf
130.49/130.50 c 131s| 1 | 0 |219639 | - | 197M| 0 |2020 |2490 |7165 |2490 |7614 |6053 | 78 | 0 | 1.230427e+03 | -- | Inf
131.79/131.89 c 132s| 1 | 0 |221483 | - | 192M| 0 |2022 |2490 |7165 |2490 |7659 |6098 | 78 | 0 | 1.230997e+03 | -- | Inf
133.49/133.58 c 134s| 1 | 0 |223603 | - | 191M| 0 |2009 |2490 |7165 |2490 |7701 |6140 | 78 | 0 | 1.236093e+03 | -- | Inf
134.49/134.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.49/134.51 c 135s| 1 | 0 |225168 | - | 188M| 0 |2079 |2490 |7165 |2490 |7731 |6170 | 78 | 0 | 1.237227e+03 | -- | Inf
135.79/135.84 c 136s| 1 | 0 |226970 | - | 186M| 0 |1988 |2490 |7165 |2490 |7773 |6212 | 78 | 0 | 1.240206e+03 | -- | Inf
136.89/136.90 c 137s| 1 | 0 |229808 | - | 185M| 0 |1991 |2490 |7165 |2490 |7801 |6240 | 78 | 0 | 1.241212e+03 | -- | Inf
138.19/138.24 c 138s| 1 | 0 |232628 | - | 183M| 0 |2106 |2490 |7165 |2490 |7622 |6277 | 78 | 0 | 1.242185e+03 | -- | Inf
139.29/139.35 c 139s| 1 | 0 |233744 | - | 180M| 0 |2079 |2490 |7165 |2490 |7649 |6304 | 78 | 0 | 1.242514e+03 | -- | Inf
141.49/141.54 c 142s| 1 | 0 |236952 | - | 177M| 0 |2105 |2490 |7165 |2490 |7682 |6337 | 78 | 0 | 1.245523e+03 | -- | Inf
142.69/142.75 c 143s| 1 | 0 |237911 | - | 175M| 0 |2092 |2490 |7165 |2490 |7715 |6370 | 78 | 0 | 1.245971e+03 | -- | Inf
145.00/145.08 c 145s| 1 | 0 |241821 | - | 174M| 0 |2007 |2490 |7165 |2490 |7758 |6413 | 78 | 0 | 1.249856e+03 | -- | Inf
145.69/145.73 c 146s| 1 | 0 |242978 | - | 174M| 0 |1948 |2490 |7165 |2490 |7791 |6446 | 78 | 0 | 1.250232e+03 | -- | Inf
146.30/146.37 c 146s| 1 | 0 |244377 | - | 171M| 0 |1957 |2490 |7165 |2490 |7592 |6474 | 78 | 0 | 1.250801e+03 | -- | Inf
147.09/147.16 c 147s| 1 | 0 |245354 | - | 166M| 0 |1956 |2490 |7165 |2490 |7616 |6498 | 78 | 0 | 1.251398e+03 | -- | Inf
148.19/148.23 c 148s| 1 | 0 |248041 | - | 164M| 0 |2017 |2490 |7165 |2490 |7638 |6520 | 78 | 0 | 1.252510e+03 | -- | Inf
150.30/150.39 c 150s| 1 | 0 |253614 | - | 164M| 0 |2087 |2490 |7165 |2490 |7679 |6561 | 78 | 0 | 1.255502e+03 | -- | Inf
151.09/151.15 c 151s| 1 | 0 |254507 | - | 161M| 0 |2091 |2490 |7165 |2490 |7724 |6606 | 78 | 0 | 1.256324e+03 | -- | Inf
152.09/152.18 c 152s| 1 | 0 |256881 | - | 159M| 0 |2075 |2490 |7165 |2490 |7745 |6627 | 78 | 0 | 1.257939e+03 | -- | Inf
153.59/153.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.59/153.61 c 154s| 1 | 0 |260144 | - | 154M| 0 |2065 |2490 |7165 |2490 |7607 |6656 | 78 | 0 | 1.260279e+03 | -- | Inf
154.40/154.43 c 154s| 1 | 0 |261671 | - | 150M| 0 |2097 |2490 |7165 |2490 |7625 |6674 | 78 | 0 | 1.260860e+03 | -- | Inf
155.29/155.30 c 155s| 1 | 0 |263425 | - | 150M| 0 |2108 |2490 |7165 |2490 |7642 |6691 | 78 | 0 | 1.261255e+03 | -- | Inf
157.09/157.17 c 157s| 1 | 0 |265640 | - | 148M| 0 |2040 |2490 |7165 |2490 |7675 |6724 | 78 | 0 | 1.262959e+03 | -- | Inf
157.89/157.96 c 158s| 1 | 0 |267117 | - | 148M| 0 |2068 |2490 |7165 |2490 |7701 |6750 | 78 | 0 | 1.263586e+03 | -- | Inf
158.99/159.08 c 159s| 1 | 0 |268967 | - | 146M| 0 |2037 |2490 |7165 |2490 |7723 |6772 | 78 | 0 | 1.263830e+03 | -- | Inf
161.40/161.43 c 161s| 1 | 0 |274772 | - | 145M| 0 |2084 |2490 |7165 |2490 |7622 |6816 | 78 | 0 | 1.265812e+03 | -- | Inf
162.99/163.01 c 163s| 1 | 0 |276965 | - | 143M| 0 |2097 |2490 |7165 |2490 |7654 |6848 | 78 | 0 | 1.267806e+03 | -- | Inf
163.69/163.80 c 164s| 1 | 0 |278485 | - | 141M| 0 |2106 |2490 |7165 |2490 |7669 |6863 | 78 | 0 | 1.268069e+03 | -- | Inf
164.69/164.78 c 165s| 1 | 0 |278742 | - | 141M| 0 |2066 |2490 |7165 |2490 |7688 |6882 | 78 | 0 | 1.268593e+03 | -- | Inf
165.79/165.87 c 166s| 1 | 0 |280126 | - | 138M| 0 |2085 |2490 |7165 |2490 |7708 |6902 | 78 | 0 | 1.269354e+03 | -- | Inf
167.49/167.57 c 168s| 1 | 0 |282272 | - | 138M| 0 |2034 |2490 |7165 |2490 |7742 |6936 | 78 | 0 | 1.271395e+03 | -- | Inf
168.69/168.71 c 169s| 1 | 0 |282965 | - | 136M| 0 |2114 |2490 |7165 |2490 |7573 |6952 | 78 | 0 | 1.271645e+03 | -- | Inf
169.79/169.84 c 170s| 1 | 0 |283573 | - | 135M| 0 |2039 |2490 |7165 |2490 |7598 |6977 | 78 | 0 | 1.273322e+03 | -- | Inf
170.50/170.59 c 171s| 1 | 0 |284455 | - | 134M| 0 |2065 |2490 |7165 |2490 |7617 |6996 | 78 | 0 | 1.274875e+03 | -- | Inf
170.99/171.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.99/171.04 c 171s| 1 | 0 |285129 | - | 133M| 0 |2053 |2490 |7165 |2490 |7637 |7016 | 78 | 0 | 1.275336e+03 | -- | Inf
172.90/172.98 c 173s| 1 | 0 |288585 | - | 132M| 0 |2080 |2490 |7165 |2490 |7659 |7038 | 78 | 0 | 1.277442e+03 | -- | Inf
173.59/173.61 c 174s| 1 | 0 |289322 | - | 131M| 0 |2106 |2490 |7165 |2490 |7680 |7059 | 78 | 0 | 1.277749e+03 | -- | Inf
174.49/174.52 c 175s| 1 | 0 |291015 | - | 129M| 0 |2049 |2490 |7165 |2490 |7535 |7075 | 78 | 0 | 1.278116e+03 | -- | Inf
176.00/176.02 c 176s| 1 | 0 |293054 | - | 129M| 0 |2072 |2490 |7165 |2490 |7547 |7087 | 78 | 0 | 1.278895e+03 | -- | Inf
176.80/176.84 c 177s| 1 | 0 |294273 | - | 129M| 0 |2059 |2490 |7165 |2490 |7578 |7118 | 78 | 0 | 1.280250e+03 | -- | Inf
177.49/177.54 c 178s| 1 | 0 |295355 | - | 125M| 0 |2026 |2490 |7165 |2490 |7600 |7140 | 78 | 0 | 1.280668e+03 | -- | Inf
178.29/178.37 c 178s| 1 | 0 |296396 | - | 125M| 0 |2033 |2490 |7165 |2490 |7621 |7161 | 78 | 0 | 1.281084e+03 | -- | Inf
179.39/179.42 c 179s| 1 | 0 |297263 | - | 124M| 0 |2068 |2490 |7165 |2490 |7639 |7179 | 78 | 0 | 1.281664e+03 | -- | Inf
180.69/180.73 c 181s| 1 | 0 |298058 | - | 122M| 0 |2027 |2490 |7165 |2490 |7512 |7191 | 78 | 0 | 1.281737e+03 | -- | Inf
182.39/182.47 c 182s| 1 | 0 |299594 | - | 120M| 0 |2056 |2490 |7165 |2490 |7521 |7200 | 78 | 0 | 1.282061e+03 | -- | Inf
183.39/183.41 c 183s| 1 | 0 |300630 | - | 120M| 0 |2057 |2490 |7165 |2490 |7526 |7205 | 78 | 0 | 1.282398e+03 | -- | Inf
185.09/185.14 c 185s| 1 | 0 |302420 | - | 117M| 0 |2046 |2490 |7165 |2490 |7553 |7232 | 78 | 0 | 1.282617e+03 | -- | Inf
185.99/186.06 c 186s| 1 | 0 |303514 | - | 117M| 0 |2090 |2490 |7165 |2490 |7561 |7240 | 78 | 0 | 1.282845e+03 | -- | Inf
187.09/187.15 c 187s| 1 | 0 |305032 | - | 116M| 0 |2030 |2490 |7165 |2490 |7574 |7253 | 78 | 0 | 1.282913e+03 | -- | Inf
188.39/188.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.39/188.41 c 188s| 1 | 0 |306502 | - | 116M| 0 |2063 |2490 |7165 |2490 |7496 |7273 | 78 | 0 | 1.283299e+03 | -- | Inf
189.29/189.34 c 189s| 1 | 0 |307530 | - | 116M| 0 |2106 |2490 |7165 |2490 |7509 |7286 | 78 | 0 | 1.283482e+03 | -- | Inf
190.39/190.45 c 190s| 1 | 0 |308820 | - | 115M| 0 |2052 |2490 |7165 |2490 |7536 |7313 | 78 | 0 | 1.283549e+03 | -- | Inf
192.40/192.47 c 192s| 1 | 0 |311474 | - | 114M| 0 |2039 |2490 |7165 |2490 |7562 |7339 | 78 | 0 | 1.284224e+03 | -- | Inf
194.09/194.17 c 194s| 1 | 0 |314320 | - | 114M| 0 |2040 |2490 |7165 |2490 |7595 |7372 | 78 | 0 | 1.286515e+03 | -- | Inf
195.49/195.51 c 196s| 1 | 0 |315541 | - | 112M| 0 |2041 |2490 |7165 |2490 |7622 |7399 | 78 | 0 | 1.287076e+03 | -- | Inf
196.59/196.65 c 197s| 1 | 0 |317424 | - | 110M| 0 |2044 |2490 |7165 |2490 |7576 |7420 | 78 | 0 | 1.287528e+03 | -- | Inf
198.39/198.41 c 198s| 1 | 0 |318434 | - | 109M| 0 |2068 |2490 |7165 |2490 |7606 |7450 | 78 | 0 | 1.289156e+03 | -- | Inf
200.19/200.25 c 200s| 1 | 0 |320340 | - | 107M| 0 |2056 |2490 |7165 |2490 |7633 |7477 | 78 | 0 | 1.290572e+03 | -- | Inf
201.39/201.46 c 201s| 1 | 0 |321586 | - | 107M| 0 |2055 |2490 |7165 |2490 |7643 |7487 | 78 | 0 | 1.291503e+03 | -- | Inf
203.40/203.44 c 203s| 1 | 0 |323252 | - | 105M| 0 |2066 |2490 |7165 |2490 |7649 |7493 | 78 | 0 | 1.291994e+03 | -- | Inf
204.69/204.72 c 205s| 1 | 0 |323877 | - | 103M| 0 |2079 |2490 |7165 |2490 |7661 |7505 | 78 | 0 | 1.292099e+03 | -- | Inf
206.09/206.19 c 206s| 1 | 0 |324297 | - | 101M| 0 |2060 |2490 |7165 |2490 |7574 |7508 | 78 | 0 | 1.292271e+03 | -- | Inf
207.89/207.97 c 208s| 1 | 0 |324994 | - | 99M| 0 |2054 |2490 |7165 |2490 |7577 |7511 | 78 | 0 | 1.292456e+03 | -- | Inf
209.39/209.47 c 209s| 1 | 0 |325009 | - | 96M| 0 |2054 |2490 |7165 |2490 |7580 |7514 | 78 | 0 | 1.292456e+03 | -- | Inf
210.89/210.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.89/210.95 c 211s| 1 | 0 |325010 | - | 95M| 0 |2054 |2490 |7165 |2490 |7581 |7515 | 78 | 0 | 1.292456e+03 | -- | Inf
218.09/218.17 c 218s| 1 | 2 |325010 | - | 95M| 0 |2054 |2490 |7165 |2490 |7581 |7515 | 78 | 20 | 1.292456e+03 | -- | Inf
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 7313
1797.04/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.00 c Dual Bound : +1.32024861226183e+03
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 s UNKNOWN
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.37 (included in solving)
1797.04/1797.00 c reading : 0.04 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3488773-1307767445.opb
1797.04/1797.00 c Variables : 2678 (2678 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 6689 initial, 6689 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3488773-1307767445.opb
1797.04/1797.00 c Variables : 2490 (2490 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 6375 initial, 7991 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 3 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.23 2 183 0 0 0 0 0 0 0
1797.04/1797.00 c setppc : 0.02 0 0 0 0 0 190 0 0 0
1797.04/1797.00 c linear : 0.05 0 0 0 0 0 122 0 122 0
1797.04/1797.00 c logicor : 0.06 0 0 0 0 0 2 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 7154 0 4 0 2 60 0 0 14228
1797.04/1797.00 c setppc : 1521 166 122523 0 0 3 65423 405 58279 0 0 0
1797.04/1797.00 c linear : 0+ 166 117955 0 0 0 100 0 42 75 0 0
1797.04/1797.00 c logicor : 4854+ 166 90435 0 0 1 54966 288 52161 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 424.27 0.00 0.00 424.27 0.00 0.00 0.00
1797.04/1797.00 c setppc : 4.15 0.02 4.10 0.00 0.00 0.00 0.02
1797.04/1797.00 c linear : 0.51 0.09 0.42 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 1.06 0.06 0.98 0.00 0.00 0.00 0.02
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 0 0 0 0
1797.04/1797.00 c pseudoobj : 119063 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.03 0.03 0.00
1797.04/1797.00 c rootredcost : 0.03 0.03 0.00
1797.04/1797.00 c pseudoobj : 3.98 3.98 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.03 691 683 1537 19.2 129 7.1 -
1797.04/1797.00 c infeasible LP : 0.22 359 359 3727 43.1 22 7.7 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 3043 30.7 - - -
1797.04/1797.00 c applied locally : - - - 0 0.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 4.08 165 - - 8724 - (maximal pool size: 38127)
1797.04/1797.00 c redcost : 0.17 7319 0 0 0 0
1797.04/1797.00 c impliedbounds : 0.07 166 0 0 2632 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 103.03 166 0 0 78443 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 7.09 20 0 0 10000 0
1797.04/1797.00 c cmir : 0.34 10 0 0 0 0
1797.04/1797.00 c flowcover : 0.34 10 0 0 0 0
1797.04/1797.00 c clique : 0.41 166 0 0 90 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.93 1 0 0 0 712
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 424.26 7154 2 60 0 0 14228
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c oneopt : 0.01 0 0
1797.04/1797.00 c crossover : 0.00 0 0
1797.04/1797.00 c trivial : 0.00 2 0
1797.04/1797.00 c shiftandpropagate: 0.02 1 0
1797.04/1797.00 c simplerounding : 0.00 0 0
1797.04/1797.00 c zirounding : 0.83 1000 0
1797.04/1797.00 c rounding : 0.53 1157 0
1797.04/1797.00 c shifting : 1.59 377 0
1797.04/1797.00 c intshifting : 0.00 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c feaspump : 22.25 13 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c coefdiving : 76.88 69 0
1797.04/1797.00 c pscostdiving : 63.69 64 0
1797.04/1797.00 c fracdiving : 77.48 74 0
1797.04/1797.00 c veclendiving : 53.57 57 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c objpscostdiving : 17.08 4 0
1797.04/1797.00 c rootsoldiving : 15.83 8 0
1797.04/1797.00 c linesearchdiving : 75.10 83 0
1797.04/1797.00 c guideddiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.02 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.00 0 0
1797.04/1797.00 c trysol : 0.00 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.16 0 0 0.00 0.00
1797.04/1797.00 c dual LP : 835.36 7488 4092981 546.61 4899.65
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 367.54 26612 1414039 53.14 3847.31
1797.04/1797.00 c strong branching : 421.07 5122 1692287 330.40 4019.02
1797.04/1797.00 c (at root node) : - 20 18709 935.45 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 7313
1797.04/1797.00 c nodes (total) : 7313
1797.04/1797.00 c nodes left : 6902
1797.04/1797.00 c max depth : 35
1797.04/1797.00 c max depth (total): 35
1797.04/1797.00 c backtracks : 2782 (38.0%)
1797.04/1797.00 c delayed cutoffs : 14
1797.04/1797.00 c repropagations : 243 (21737 domain reductions, 9 cutoffs)
1797.04/1797.00 c avg switch length: 9.09
1797.04/1797.00 c switching time : 2.51
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 0 (0 improvements)
1797.04/1797.00 c Primal Bound : -
1797.04/1797.00 c Dual Bound : +1.32024861226183e+03
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 c Root Dual Bound : +1.29245597530297e+03
1797.04/1797.00 c Root Iterations : 325010
1797.04/1797.08 c Time complete: 1797.13.
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-3488773-1307767445/watcher-3488773-1307767445 -o /tmp/evaluation-result-3488773-1307767445/solver-3488773-1307767445 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488773-1307767445.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.31 1.76 1.91 2/169 12035
/proc/meminfo: memFree=31851072/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=12692 CPUtime=0 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 2167 0 0 0 0 0 0 0 24 0 1 0 888344956 12996608 2121 33554432000 4194304 9016284 140734291381664 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12035/statm: 3173 2121 353 1178 0 1991 0
[startup+0.058466 s]
/proc/loadavg: 1.31 1.76 1.91 2/169 12035
/proc/meminfo: memFree=31851072/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=29864 CPUtime=0.05 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 6220 0 0 0 5 0 0 0 24 0 1 0 888344956 30580736 6174 33554432000 4194304 9016284 140734291381664 18446744073709551615 5251561 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 7466 6174 474 1178 0 6284 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29864
[startup+0.100458 s]
/proc/loadavg: 1.31 1.76 1.91 2/169 12035
/proc/meminfo: memFree=31851072/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=31120 CPUtime=0.09 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 6803 0 0 0 9 0 0 0 24 0 1 0 888344956 31866880 6500 33554432000 4194304 9016284 140734291381664 18446744073709551615 4651778 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 7780 6500 485 1178 0 6598 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31120
[startup+0.300437 s]
/proc/loadavg: 1.31 1.76 1.91 2/169 12035
/proc/meminfo: memFree=31851072/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=35140 CPUtime=0.29 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 7849 0 0 0 29 0 0 0 25 0 1 0 888344956 35983360 7546 33554432000 4194304 9016284 140734291381664 18446744073709551615 5510916 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 8785 7546 520 1178 0 7603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35140
[startup+0.700358 s]
/proc/loadavg: 1.31 1.76 1.91 2/169 12035
/proc/meminfo: memFree=31851072/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=50312 CPUtime=0.69 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 11968 0 0 0 68 1 0 0 18 0 1 0 888344956 51519488 11453 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 12578 11453 637 1178 0 11396 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50312
[startup+1.5002 s]
/proc/loadavg: 1.31 1.76 1.91 3/175 12045
/proc/meminfo: memFree=31769208/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=50788 CPUtime=1.49 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 12129 0 0 0 148 1 0 0 19 0 1 0 888344956 52006912 11583 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 12697 11583 637 1178 0 11515 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50788
[startup+3.10093 s]
/proc/loadavg: 1.37 1.77 1.91 3/175 12045
/proc/meminfo: memFree=31755064/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=50184 CPUtime=3.09 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 12641 0 0 0 307 2 0 0 22 0 1 0 888344956 51388416 11549 33554432000 4194304 9016284 140734291381664 18446744073709551615 7199011 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 12546 11549 711 1178 0 11364 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50184
[startup+6.30035 s]
/proc/loadavg: 1.37 1.77 1.91 3/175 12045
/proc/meminfo: memFree=31677620/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=99712 CPUtime=6.29 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 25554 0 0 0 625 4 0 0 25 0 1 0 888344956 102105088 23702 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 24928 23702 722 1178 0 23746 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99712
[startup+12.7012 s]
/proc/loadavg: 1.46 1.77 1.91 3/175 12046
/proc/meminfo: memFree=31672948/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=99712 CPUtime=12.69 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 25976 0 0 0 1263 6 0 0 25 0 1 0 888344956 102105088 24056 33554432000 4194304 9016284 140734291381664 18446744073709551615 7870483 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 24928 24056 712 1178 0 23746 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99712
[startup+25.5009 s]
/proc/loadavg: 1.54 1.78 1.91 3/175 12046
/proc/meminfo: memFree=31647516/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=130108 CPUtime=25.49 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 35443 0 0 0 2537 12 0 0 25 0 1 0 888344956 133230592 30766 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 32527 30766 708 1178 0 31345 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 130108
[startup+51.1002 s]
/proc/loadavg: 1.70 1.80 1.91 3/175 12047
/proc/meminfo: memFree=31590256/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=190724 CPUtime=51.09 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 63048 0 0 0 5085 24 0 0 25 0 1 0 888344956 195301376 45505 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 47681 45505 930 1178 0 46499 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 190724
[startup+102.306 s]
/proc/loadavg: 1.88 1.83 1.91 3/175 12048
/proc/meminfo: memFree=31523912/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=256108 CPUtime=102.3 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 93269 0 0 0 10184 46 0 0 25 0 1 0 888344956 262254592 61827 33554432000 4194304 9016284 140734291381664 18446744073709551615 7180882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 64027 61827 994 1178 0 62845 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 256108
[startup+162.301 s]
/proc/loadavg: 2.02 1.87 1.92 3/175 12088
/proc/meminfo: memFree=31483284/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=277272 CPUtime=162.29 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 115362 0 0 0 16159 70 0 0 25 0 1 0 888344956 283926528 66580 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 69318 66580 727 1178 0 68136 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 277272
[startup+222.301 s]
/proc/loadavg: 2.01 1.89 1.92 3/175 12089
/proc/meminfo: memFree=31479456/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=222.29 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117318 0 0 0 22134 95 0 0 25 0 1 0 888344956 287989760 67177 33554432000 4194304 9016284 140734291381664 18446744073709551615 7158223 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 70310 67177 713 1178 0 69128 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 281240
[startup+282.3 s]
/proc/loadavg: 2.00 1.91 1.92 3/175 12091
/proc/meminfo: memFree=31470368/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=282.29 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117320 0 0 0 28105 124 0 0 25 0 1 0 888344956 287989760 67179 33554432000 4194304 9016284 140734291381664 18446744073709551615 7080778 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 70310 67179 715 1178 0 69128 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 281240
[startup+342.3 s]
/proc/loadavg: 2.00 1.92 1.92 3/175 12092
/proc/meminfo: memFree=31465276/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=342.29 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117328 0 0 0 34072 157 0 0 25 0 1 0 888344956 287989760 67187 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 70310 67187 716 1178 0 69128 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 281240
[startup+402.3 s]
/proc/loadavg: 2.00 1.93 1.92 3/175 12094
/proc/meminfo: memFree=31460784/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=402.29 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117328 0 0 0 40041 188 0 0 25 0 1 0 888344956 287989760 67187 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 70310 67187 716 1178 0 69128 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 281240
[startup+462.301 s]
/proc/loadavg: 2.00 1.94 1.92 3/175 12096
/proc/meminfo: memFree=31456536/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=462.3 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117328 0 0 0 46016 214 0 0 25 0 1 0 888344956 287989760 67187 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 70310 67187 716 1178 0 69128 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 281240
[startup+522.301 s]
/proc/loadavg: 2.00 1.95 1.92 3/175 12097
/proc/meminfo: memFree=31454032/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=522.3 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117329 0 0 0 51985 245 0 0 25 0 1 0 888344956 287989760 67188 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 70310 67188 716 1178 0 69128 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 281240
[startup+582.301 s]
/proc/loadavg: 2.00 1.96 1.92 3/175 12099
/proc/meminfo: memFree=31452392/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=582.3 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117329 0 0 0 57955 275 0 0 25 0 1 0 888344956 287989760 67188 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12035/statm: 70310 67188 716 1178 0 69128 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 281240
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31442808/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1122.32 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117424 0 0 0 111667 565 0 0 25 0 1 0 888344956 287989760 67279 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67279 712 1178 0 69128 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 281240
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/175 12164
/proc/meminfo: memFree=31431504/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1182.32 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117426 0 0 0 117631 601 0 0 25 0 1 0 888344956 287989760 67281 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67281 712 1178 0 69128 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 281240
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/175 12166
/proc/meminfo: memFree=31424152/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1242.32 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117436 0 0 0 123596 636 0 0 25 0 1 0 888344956 287989760 67291 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67291 712 1178 0 69128 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 281240
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/175 12168
/proc/meminfo: memFree=31422012/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1302.33 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117439 0 0 0 129558 675 0 0 25 0 1 0 888344956 287989760 67294 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67294 712 1178 0 69128 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 281240
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/175 12170
/proc/meminfo: memFree=31421988/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1362.32 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117439 0 0 0 135521 711 0 0 25 0 1 0 888344956 287989760 67294 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67294 712 1178 0 69128 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 281240
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.92 3/175 12171
/proc/meminfo: memFree=31421584/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1422.33 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117440 0 0 0 141484 749 0 0 25 0 1 0 888344956 287989760 67295 33554432000 4194304 9016284 140734291381664 18446744073709551615 7821610 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67295 712 1178 0 69128 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 281240
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/175 12173
/proc/meminfo: memFree=31421668/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1482.32 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117441 0 0 0 147450 782 0 0 25 0 1 0 888344956 287989760 67296 33554432000 4194304 9016284 140734291381664 18446744073709551615 7214178 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67296 713 1178 0 69128 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 281240
[startup+1542.3 s]
/proc/loadavg: 2.03 1.99 1.92 3/175 12174
/proc/meminfo: memFree=31422144/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1542.32 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117445 0 0 0 153413 819 0 0 25 0 1 0 888344956 287989760 67299 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67299 712 1178 0 69128 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 281240
[startup+1602.3 s]
/proc/loadavg: 2.01 1.99 1.92 3/175 12176
/proc/meminfo: memFree=31421620/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1602.33 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117446 0 0 0 159376 857 0 0 25 0 1 0 888344956 287989760 67300 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67300 712 1178 0 69128 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 281240
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/175 12178
/proc/meminfo: memFree=31421816/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1662.33 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117446 0 0 0 165336 897 0 0 25 0 1 0 888344956 287989760 67300 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67300 712 1178 0 69128 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 281240
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/175 12179
/proc/meminfo: memFree=31421532/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1722.34 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117561 0 0 0 171301 933 0 0 25 0 1 0 888344956 287989760 67415 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67415 712 1178 0 69128 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 281240
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/175 12181
/proc/meminfo: memFree=31421124/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1782.34 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117562 0 0 0 177268 966 0 0 25 0 1 0 888344956 287989760 67416 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67416 712 1178 0 69128 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 281240
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.99 1.92 3/175 12181
/proc/meminfo: memFree=31421240/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1785.54 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117562 0 0 0 177586 968 0 0 25 0 1 0 888344956 287989760 67416 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67416 712 1178 0 69128 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 281240
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.92 3/175 12181
/proc/meminfo: memFree=31421360/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1791.94 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117562 0 0 0 178221 973 0 0 25 0 1 0 888344956 287989760 67416 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67416 712 1178 0 69128 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 281240
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.92 3/175 12181
/proc/meminfo: memFree=31422352/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1795.14 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117562 0 0 0 178540 974 0 0 25 0 1 0 888344956 287989760 67416 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67416 712 1178 0 69128 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 281240
[startup+1795.9 s]
/proc/loadavg: 2.00 1.99 1.92 3/175 12181
/proc/meminfo: memFree=31422352/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1795.94 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117562 0 0 0 178619 975 0 0 25 0 1 0 888344956 287989760 67416 33554432000 4194304 9016284 140734291381664 18446744073709551615 7181009 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67416 712 1178 0 69128 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 281240
[startup+1796.7 s]
/proc/loadavg: 2.00 1.99 1.92 3/175 12181
/proc/meminfo: memFree=31422228/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1796.73 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117562 0 0 0 178698 975 0 0 25 0 1 0 888344956 287989760 67416 33554432000 4194304 9016284 140734291381664 18446744073709551615 7214148 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67416 712 1178 0 69128 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 281240
[startup+1796.9 s]
/proc/loadavg: 2.00 1.99 1.92 3/175 12181
/proc/meminfo: memFree=31422228/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1796.94 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117562 0 0 0 178718 976 0 0 25 0 1 0 888344956 287989760 67416 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67416 712 1178 0 69128 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 281240
[startup+1797 s]
/proc/loadavg: 2.00 1.99 1.92 3/175 12181
/proc/meminfo: memFree=31422228/32951124 swapFree=67060628/67111528
[pid=12035] ppid=12033 vsize=281240 CPUtime=1797.04 cores=0,2,4,6
/proc/12035/stat : 12035 (scip-2.0.1.4b_2) R 12033 12035 8673 0 -1 4202496 117562 0 0 0 178728 976 0 0 25 0 1 0 888344956 287989760 67416 33554432000 4194304 9016284 140734291381664 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12035/statm: 70310 67416 712 1178 0 69128 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 281240
Child status: 0
Real time (s): 1797.09
CPU time (s): 1797.13
CPU user time (s): 1787.36
CPU system time (s): 9.77151
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 284300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.36
system time used= 9.77151
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117569
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= 7
involuntary context switches= 4378
runsolver used 2.69459 second user time and 5.52416 second system time
The end