0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452510-1307085433.opb>
0.00/0.04 c original problem has 2650 variables (2650 bin, 0 int, 0 impl, 0 cont) and 6619 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6495 upgd conss, 5626 impls, 0 clqs
0.09/0.13 c (round 2) 0 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6496 upgd conss, 5626 impls, 0 clqs
0.09/0.14 c (round 3) 0 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 5626 impls, 0 clqs
0.09/0.18 c (round 4) 50 del vars, 122 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7088 impls, 0 clqs
0.09/0.19 c (round 5) 53 del vars, 177 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7126 impls, 0 clqs
0.09/0.19 c (round 6) 53 del vars, 179 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7126 impls, 0 clqs
0.19/0.28 c (round 7) 103 del vars, 179 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 27314 impls, 0 clqs
0.19/0.29 c (round 8) 103 del vars, 229 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 27314 impls, 0 clqs
0.29/0.35 c (round 9) 153 del vars, 229 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 46770 impls, 0 clqs
0.29/0.36 c (round 10) 153 del vars, 279 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 46770 impls, 0 clqs
0.39/0.43 c (0.4s) probing: 548/2650 (20.7%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.39/0.43 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.43 c (round 11) 188 del vars, 279 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 48372 impls, 0 clqs
0.39/0.43 c (round 12) 188 del vars, 314 del conss, 0 add conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 48372 impls, 0 clqs
0.39/0.44 c (0.4s) probing: 558/2650 (21.1%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.39/0.44 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.44 c presolving (13 rounds):
0.39/0.44 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.44 c 48372 implications, 0 cliques
0.39/0.44 c presolved problem has 2462 variables (2462 bin, 0 int, 0 impl, 0 cont) and 6305 constraints
0.39/0.44 c 1507 constraints of type <setppc>
0.39/0.44 c 4798 constraints of type <logicor>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.39
0.39/0.44 c - non default parameters ----------------------------------------------------------------------
0.39/0.44 c # SCIP version 2.0.1.4
0.39/0.44 c
0.39/0.44 c # frequency for displaying node information lines
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.44 c display/freq = 10000
0.39/0.44 c
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = 1800
0.39/0.44 c
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = 13950
0.39/0.44 c
0.39/0.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.44 c # [type: int, range: [1,2], default: 1]
0.39/0.44 c timing/clocktype = 2
0.39/0.44 c
0.39/0.44 c # belongs reading time to solving time?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c timing/reading = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify inequalities
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/linear/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/indicator/addCouplingCons = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify knapsacks
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c separating/rapidlearning/freq = 0
0.39/0.44 c
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c start solving
0.39/0.44 c
2.31/2.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.31/2.37 c 2.4s| 1 | 0 | 10508 | - | 14M| 0 |1648 |2462 |6357 |2462 |6303 | 0 | 52 | 0 | 7.947391e+02 | -- | Inf
5.61/5.69 c 5.7s| 1 | 0 | 19548 | - | 18M| 0 |1644 |2462 |7064 |2462 |7298 | 995 | 52 | 0 | 8.207806e+02 | -- | Inf
6.19/6.22 c 6.2s| 1 | 0 | 20663 | - | 21M| 0 |1669 |2462 |7064 |2462 |7334 |1031 | 52 | 0 | 8.244056e+02 | -- | Inf
6.79/6.81 c 6.8s| 1 | 0 | 21888 | - | 24M| 0 |1637 |2462 |7064 |2462 |7372 |1069 | 52 | 0 | 8.290985e+02 | -- | Inf
7.29/7.37 c 7.4s| 1 | 0 | 22926 | - | 27M| 0 |1704 |2462 |7064 |2462 |7424 |1121 | 52 | 0 | 8.348159e+02 | -- | Inf
8.09/8.15 c 8.2s| 1 | 0 | 24257 | - | 31M| 0 |1662 |2462 |7064 |2462 |7462 |1159 | 52 | 0 | 8.367009e+02 | -- | Inf
8.69/8.77 c 8.8s| 1 | 0 | 25471 | - | 34M| 0 |1674 |2462 |7064 |2462 |7505 |1202 | 52 | 0 | 8.400298e+02 | -- | Inf
9.79/9.80 c 9.8s| 1 | 0 | 27436 | - | 36M| 0 |1676 |2462 |7064 |2462 |7546 |1243 | 52 | 0 | 8.436639e+02 | -- | Inf
10.79/10.81 c 10.8s| 1 | 0 | 28903 | - | 38M| 0 |1648 |2462 |7064 |2462 |7591 |1288 | 52 | 0 | 8.466655e+02 | -- | Inf
12.49/12.52 c 12.5s| 1 | 0 | 31546 | - | 39M| 0 |1617 |2462 |7064 |2462 |7646 |1343 | 52 | 0 | 8.627009e+02 | -- | Inf
13.21/13.23 c 13.2s| 1 | 0 | 32607 | - | 42M| 0 |1620 |2462 |7064 |2462 |7679 |1376 | 52 | 0 | 8.651486e+02 | -- | Inf
14.30/14.35 c 14.3s| 1 | 0 | 34581 | - | 48M| 0 |1647 |2462 |7064 |2462 |7727 |1424 | 52 | 0 | 8.676282e+02 | -- | Inf
15.59/15.66 c 15.7s| 1 | 0 | 36265 | - | 53M| 0 |1615 |2462 |7064 |2462 |7786 |1483 | 52 | 0 | 8.747533e+02 | -- | Inf
17.09/17.12 c 17.1s| 1 | 0 | 37572 | - | 54M| 0 |1672 |2462 |7064 |2462 |7846 |1543 | 52 | 0 | 8.804189e+02 | -- | Inf
17.79/17.89 c 17.9s| 1 | 0 | 38866 | - | 59M| 0 |1940 |2462 |7064 |2462 |7882 |1579 | 52 | 0 | 8.837283e+02 | -- | Inf
18.59/18.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.59/18.67 c 18.7s| 1 | 0 | 39994 | - | 64M| 0 |1674 |2462 |7064 |2462 |7914 |1611 | 52 | 0 | 8.849170e+02 | -- | Inf
19.59/19.66 c 19.7s| 1 | 0 | 41566 | - | 67M| 0 |1638 |2462 |7064 |2462 |6871 |1647 | 52 | 0 | 8.872872e+02 | -- | Inf
20.69/20.78 c 20.8s| 1 | 0 | 43396 | - | 70M| 0 |1680 |2462 |7064 |2462 |6914 |1690 | 52 | 0 | 8.904504e+02 | -- | Inf
21.69/21.76 c 21.8s| 1 | 0 | 44736 | - | 72M| 0 |1662 |2462 |7064 |2462 |6967 |1743 | 52 | 0 | 8.964090e+02 | -- | Inf
22.69/22.71 c 22.7s| 1 | 0 | 46165 | - | 75M| 0 |1740 |2462 |7064 |2462 |7006 |1782 | 52 | 0 | 9.000590e+02 | -- | Inf
24.59/24.65 c 24.7s| 1 | 0 | 48917 | - | 77M| 0 |1657 |2462 |7064 |2462 |7073 |1849 | 52 | 0 | 9.215072e+02 | -- | Inf
25.20/25.25 c 25.3s| 1 | 0 | 50082 | - | 80M| 0 |1888 |2462 |7064 |2462 |7115 |1891 | 52 | 0 | 9.242537e+02 | -- | Inf
26.29/26.36 c 26.4s| 1 | 0 | 52144 | - | 81M| 0 |1719 |2462 |7064 |2462 |6954 |1934 | 52 | 0 | 9.264950e+02 | -- | Inf
26.89/26.96 c 27.0s| 1 | 0 | 53263 | - | 83M| 0 |1691 |2462 |7064 |2462 |6981 |1961 | 52 | 0 | 9.270914e+02 | -- | Inf
27.61/27.65 c 27.7s| 1 | 0 | 54410 | - | 85M| 0 |2002 |2462 |7064 |2462 |7013 |1993 | 52 | 0 | 9.286133e+02 | -- | Inf
29.71/29.78 c 29.8s| 1 | 0 | 57996 | - | 85M| 0 |1878 |2462 |7064 |2462 |7090 |2070 | 52 | 0 | 9.494047e+02 | -- | Inf
30.50/30.50 c 30.5s| 1 | 0 | 59026 | - | 87M| 0 |1896 |2462 |7064 |2462 |7144 |2124 | 52 | 0 | 9.530612e+02 | -- | Inf
31.69/31.79 c 31.8s| 1 | 0 | 61211 | - | 87M| 0 |1853 |2462 |7064 |2462 |7217 |2197 | 52 | 0 | 9.689093e+02 | -- | Inf
32.49/32.53 c 32.5s| 1 | 0 | 62450 | - | 90M| 0 |1925 |2462 |7064 |2462 |7047 |2230 | 52 | 0 | 9.707021e+02 | -- | Inf
33.79/33.81 c 33.8s| 1 | 0 | 64400 | - | 93M| 0 |1967 |2462 |7064 |2462 |7105 |2288 | 52 | 0 | 9.836381e+02 | -- | Inf
34.49/34.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.49/34.56 c 34.6s| 1 | 0 | 65753 | - | 95M| 0 |1763 |2462 |7064 |2462 |7151 |2334 | 52 | 0 | 9.854761e+02 | -- | Inf
35.49/35.52 c 35.5s| 1 | 0 | 67519 | - | 96M| 0 |2002 |2462 |7064 |2462 |7201 |2384 | 52 | 0 | 9.885924e+02 | -- | Inf
36.89/36.95 c 37.0s| 1 | 0 | 69337 | - | 97M| 0 |1860 |2462 |7064 |2462 |7276 |2459 | 52 | 0 | 1.007606e+03 | -- | Inf
37.59/37.62 c 37.6s| 1 | 0 | 70841 | - | 98M| 0 |1857 |2462 |7064 |2462 |7313 |2496 | 52 | 0 | 1.008753e+03 | -- | Inf
38.79/38.81 c 38.8s| 1 | 0 | 72264 | - | 98M| 0 |1804 |2462 |7064 |2462 |7208 |2583 | 52 | 0 | 1.025432e+03 | -- | Inf
39.30/39.36 c 39.4s| 1 | 0 | 73035 | - | 99M| 0 |1731 |2462 |7064 |2462 |7246 |2621 | 52 | 0 | 1.026954e+03 | -- | Inf
39.99/40.00 c 40.0s| 1 | 0 | 73766 | - | 101M| 0 |1777 |2462 |7064 |2462 |7286 |2661 | 52 | 0 | 1.027899e+03 | -- | Inf
40.99/41.06 c 41.1s| 1 | 0 | 75836 | - | 103M| 0 |1834 |2462 |7064 |2462 |7330 |2705 | 52 | 0 | 1.030604e+03 | -- | Inf
42.19/42.24 c 42.2s| 1 | 0 | 77896 | - | 103M| 0 |1786 |2462 |7064 |2462 |7402 |2777 | 52 | 0 | 1.042519e+03 | -- | Inf
42.79/42.84 c 42.8s| 1 | 0 | 79185 | - | 105M| 0 |1862 |2462 |7064 |2462 |7433 |2808 | 52 | 0 | 1.043289e+03 | -- | Inf
44.00/44.07 c 44.1s| 1 | 0 | 81459 | - | 106M| 0 |1892 |2462 |7064 |2462 |7238 |2871 | 52 | 0 | 1.046023e+03 | -- | Inf
45.40/45.43 c 45.4s| 1 | 0 | 83314 | - | 107M| 0 |1913 |2462 |7064 |2462 |7287 |2920 | 52 | 0 | 1.049096e+03 | -- | Inf
46.89/46.92 c 46.9s| 1 | 0 | 85843 | - | 108M| 0 |1786 |2462 |7064 |2462 |7349 |2982 | 52 | 0 | 1.064635e+03 | -- | Inf
47.49/47.52 c 47.5s| 1 | 0 | 86874 | - | 109M| 0 |1767 |2462 |7064 |2462 |7397 |3030 | 52 | 0 | 1.068404e+03 | -- | Inf
48.19/48.26 c 48.3s| 1 | 0 | 88442 | - | 110M| 0 |1826 |2462 |7064 |2462 |7441 |3074 | 52 | 0 | 1.069777e+03 | -- | Inf
48.99/49.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.99/49.06 c 49.1s| 1 | 0 | 90049 | - | 112M| 0 |1806 |2462 |7064 |2462 |7473 |3106 | 52 | 0 | 1.072661e+03 | -- | Inf
50.29/50.33 c 50.3s| 1 | 0 | 92572 | - | 113M| 0 |1845 |2462 |7064 |2462 |7251 |3163 | 52 | 0 | 1.081256e+03 | -- | Inf
51.50/51.59 c 51.6s| 1 | 0 | 95018 | - | 113M| 0 |1843 |2462 |7064 |2462 |7315 |3227 | 52 | 0 | 1.094086e+03 | -- | Inf
52.19/52.26 c 52.3s| 1 | 0 | 96523 | - | 115M| 0 |1858 |2462 |7064 |2462 |7355 |3267 | 52 | 0 | 1.096382e+03 | -- | Inf
52.91/52.96 c 53.0s| 1 | 0 | 97771 | - | 116M| 0 |1839 |2462 |7064 |2462 |7404 |3316 | 52 | 0 | 1.097895e+03 | -- | Inf
54.19/54.20 c 54.2s| 1 | 0 | 99894 | - | 117M| 0 |1851 |2462 |7064 |2462 |7456 |3368 | 52 | 0 | 1.102971e+03 | -- | Inf
54.90/54.99 c 55.0s| 1 | 0 |101306 | - | 118M| 0 |1857 |2462 |7064 |2462 |7506 |3418 | 52 | 0 | 1.105319e+03 | -- | Inf
55.89/55.97 c 56.0s| 1 | 0 |102738 | - | 119M| 0 |1989 |2462 |7064 |2462 |7274 |3467 | 52 | 0 | 1.106580e+03 | -- | Inf
57.69/57.77 c 57.8s| 1 | 0 |105505 | - | 120M| 0 |1840 |2462 |7064 |2462 |7352 |3545 | 52 | 0 | 1.120695e+03 | -- | Inf
58.69/58.76 c 58.8s| 1 | 0 |107382 | - | 121M| 0 |1900 |2462 |7064 |2462 |7427 |3620 | 52 | 0 | 1.126955e+03 | -- | Inf
59.30/59.33 c 59.3s| 1 | 0 |108605 | - | 122M| 0 |1988 |2462 |7064 |2462 |7473 |3666 | 52 | 0 | 1.128121e+03 | -- | Inf
60.39/60.45 c 60.5s| 1 | 0 |110410 | - | 122M| 0 |1873 |2462 |7064 |2462 |7538 |3731 | 52 | 0 | 1.137810e+03 | -- | Inf
61.09/61.12 c 61.1s| 1 | 0 |112008 | - | 124M| 0 |1966 |2462 |7064 |2462 |7595 |3788 | 52 | 0 | 1.138587e+03 | -- | Inf
62.71/62.74 c 62.7s| 1 | 0 |115091 | - | 124M| 0 |1878 |2462 |7064 |2462 |7428 |3862 | 52 | 0 | 1.149220e+03 | -- | Inf
63.29/63.30 c 63.3s| 1 | 0 |116098 | - | 126M| 0 |1876 |2462 |7064 |2462 |7465 |3899 | 52 | 0 | 1.150149e+03 | -- | Inf
63.81/63.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.81/63.82 c 63.8s| 1 | 0 |117055 | - | 128M| 0 |1942 |2462 |7064 |2462 |7498 |3932 | 52 | 0 | 1.150947e+03 | -- | Inf
64.39/64.40 c 64.4s| 1 | 0 |117697 | - | 130M| 0 |1946 |2462 |7064 |2462 |7535 |3969 | 52 | 0 | 1.151758e+03 | -- | Inf
64.79/64.87 c 64.9s| 1 | 0 |118097 | - | 131M| 0 |2016 |2462 |7064 |2462 |7568 |4002 | 52 | 0 | 1.152145e+03 | -- | Inf
66.19/66.28 c 66.3s| 1 | 0 |120304 | - | 132M| 0 |1949 |2462 |7064 |2462 |7617 |4051 | 52 | 0 | 1.161256e+03 | -- | Inf
66.89/66.92 c 66.9s| 1 | 0 |121426 | - | 133M| 0 |1779 |2462 |7064 |2462 |7374 |4101 | 52 | 0 | 1.162032e+03 | -- | Inf
67.49/67.59 c 67.6s| 1 | 0 |122301 | - | 133M| 0 |1878 |2462 |7064 |2462 |7422 |4149 | 52 | 0 | 1.162475e+03 | -- | Inf
68.69/68.78 c 68.8s| 1 | 0 |124835 | - | 134M| 0 |2091 |2462 |7064 |2462 |7467 |4194 | 52 | 0 | 1.163619e+03 | -- | Inf
69.69/69.78 c 69.8s| 1 | 0 |126273 | - | 135M| 0 |2044 |2462 |7064 |2462 |7501 |4228 | 52 | 0 | 1.164359e+03 | -- | Inf
71.29/71.34 c 71.3s| 1 | 0 |128315 | - | 136M| 0 |1961 |2462 |7064 |2462 |7550 |4277 | 52 | 0 | 1.170376e+03 | -- | Inf
71.89/71.91 c 71.9s| 1 | 0 |129146 | - | 137M| 0 |1972 |2462 |7064 |2462 |7588 |4315 | 52 | 0 | 1.170920e+03 | -- | Inf
73.19/73.26 c 73.3s| 1 | 0 |131753 | - | 138M| 0 |1962 |2462 |7064 |2462 |7396 |4375 | 52 | 0 | 1.178980e+03 | -- | Inf
73.81/73.85 c 73.9s| 1 | 0 |132938 | - | 138M| 0 |2022 |2462 |7064 |2462 |7436 |4415 | 52 | 0 | 1.181117e+03 | -- | Inf
74.59/74.63 c 74.6s| 1 | 0 |134443 | - | 140M| 0 |1970 |2462 |7064 |2462 |7476 |4455 | 52 | 0 | 1.181428e+03 | -- | Inf
75.29/75.30 c 75.3s| 1 | 0 |135470 | - | 142M| 0 |2097 |2462 |7064 |2462 |7513 |4492 | 52 | 0 | 1.182394e+03 | -- | Inf
76.69/76.70 c 76.7s| 1 | 0 |137915 | - | 143M| 0 |1906 |2462 |7064 |2462 |7573 |4552 | 52 | 0 | 1.189261e+03 | -- | Inf
77.11/77.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.11/77.14 c 77.1s| 1 | 0 |138376 | - | 144M| 0 |1922 |2462 |7064 |2462 |7613 |4592 | 52 | 0 | 1.189483e+03 | -- | Inf
77.69/77.71 c 77.7s| 1 | 0 |139454 | - | 145M| 0 |2039 |2462 |7064 |2462 |7412 |4620 | 52 | 0 | 1.189914e+03 | -- | Inf
78.10/78.16 c 78.2s| 1 | 0 |140230 | - | 147M| 0 |2072 |2462 |7064 |2462 |7433 |4641 | 52 | 0 | 1.190159e+03 | -- | Inf
78.79/78.82 c 78.8s| 1 | 0 |140786 | - | 148M| 0 |2103 |2462 |7064 |2462 |7457 |4665 | 52 | 0 | 1.190255e+03 | -- | Inf
80.69/80.77 c 80.8s| 1 | 0 |144404 | - | 148M| 0 |2040 |2462 |7064 |2462 |7516 |4724 | 52 | 0 | 1.195144e+03 | -- | Inf
81.89/81.91 c 81.9s| 1 | 0 |146104 | - | 148M| 0 |2056 |2462 |7064 |2462 |7566 |4774 | 52 | 0 | 1.199064e+03 | -- | Inf
82.39/82.46 c 82.5s| 1 | 0 |146905 | - | 149M| 0 |2097 |2462 |7064 |2462 |7590 |4798 | 52 | 0 | 1.199675e+03 | -- | Inf
83.89/83.93 c 83.9s| 1 | 0 |148764 | - | 150M| 0 |2026 |2462 |7064 |2462 |7415 |4843 | 52 | 0 | 1.203153e+03 | -- | Inf
84.59/84.61 c 84.6s| 1 | 0 |149877 | - | 150M| 0 |2065 |2462 |7064 |2462 |7436 |4864 | 52 | 0 | 1.203956e+03 | -- | Inf
86.09/86.18 c 86.2s| 1 | 0 |153332 | - | 151M| 0 |2018 |2462 |7064 |2462 |7465 |4893 | 52 | 0 | 1.207228e+03 | -- | Inf
86.59/86.69 c 86.7s| 1 | 0 |154185 | - | 151M| 0 |2086 |2462 |7064 |2462 |7497 |4925 | 52 | 0 | 1.207492e+03 | -- | Inf
88.11/88.19 c 88.2s| 1 | 0 |156624 | - | 152M| 0 |2049 |2462 |7064 |2462 |7559 |4987 | 52 | 0 | 1.212541e+03 | -- | Inf
89.39/89.48 c 89.5s| 1 | 0 |159694 | - | 152M| 0 |2089 |2462 |7064 |2462 |7598 |5026 | 52 | 0 | 1.214614e+03 | -- | Inf
90.79/90.85 c 90.8s| 1 | 0 |161967 | - | 152M| 0 |2050 |2462 |7064 |2462 |7455 |5068 | 52 | 0 | 1.219642e+03 | -- | Inf
91.59/91.65 c 91.7s| 1 | 0 |163143 | - | 153M| 0 |2060 |2462 |7064 |2462 |7485 |5098 | 52 | 0 | 1.222150e+03 | -- | Inf
92.79/92.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.79/92.86 c 92.9s| 1 | 0 |164684 | - | 153M| 0 |2040 |2462 |7064 |2462 |7534 |5147 | 52 | 0 | 1.228299e+03 | -- | Inf
93.69/93.73 c 93.7s| 1 | 0 |166267 | - | 153M| 0 |2073 |2462 |7064 |2462 |7570 |5183 | 52 | 0 | 1.231829e+03 | -- | Inf
94.71/94.75 c 94.8s| 1 | 0 |168379 | - | 154M| 0 |2093 |2462 |7064 |2462 |7616 |5229 | 52 | 0 | 1.236244e+03 | -- | Inf
95.29/95.36 c 95.4s| 1 | 0 |169019 | - | 154M| 0 |2029 |2462 |7064 |2462 |7646 |5259 | 52 | 0 | 1.237275e+03 | -- | Inf
96.40/96.44 c 96.4s| 1 | 0 |171607 | - | 154M| 0 |2066 |2462 |7064 |2462 |7476 |5292 | 52 | 0 | 1.240659e+03 | -- | Inf
96.99/97.09 c 97.1s| 1 | 0 |173154 | - | 155M| 0 |2033 |2462 |7064 |2462 |7503 |5319 | 52 | 0 | 1.240949e+03 | -- | Inf
97.69/97.74 c 97.7s| 1 | 0 |173709 | - | 156M| 0 |1981 |2462 |7064 |2462 |7527 |5343 | 52 | 0 | 1.241418e+03 | -- | Inf
98.89/98.92 c 98.9s| 1 | 0 |176395 | - | 156M| 0 |2027 |2462 |7064 |2462 |7571 |5387 | 52 | 0 | 1.246137e+03 | -- | Inf
99.49/99.54 c 99.5s| 1 | 0 |177329 | - | 157M| 0 |2083 |2462 |7064 |2462 |7605 |5421 | 52 | 0 | 1.247606e+03 | -- | Inf
100.39/100.47 c 100s| 1 | 0 |178681 | - | 157M| 0 |2056 |2462 |7064 |2462 |7629 |5445 | 52 | 0 | 1.247911e+03 | -- | Inf
101.49/101.53 c 102s| 1 | 0 |180894 | - | 157M| 0 |2098 |2462 |7064 |2462 |7438 |5481 | 52 | 0 | 1.250479e+03 | -- | Inf
102.09/102.17 c 102s| 1 | 0 |182207 | - | 158M| 0 |2089 |2462 |7064 |2462 |7463 |5506 | 52 | 0 | 1.251827e+03 | -- | Inf
102.59/102.64 c 103s| 1 | 0 |183616 | - | 157M| 0 |2022 |2462 |7064 |2462 |7490 |5533 | 52 | 0 | 1.253087e+03 | -- | Inf
103.29/103.30 c 103s| 1 | 0 |184942 | - | 155M| 0 |2005 |2462 |7064 |2462 |7516 |5559 | 52 | 0 | 1.253725e+03 | -- | Inf
103.79/103.86 c 104s| 1 | 0 |185892 | - | 154M| 0 |1964 |2462 |7064 |2462 |7542 |5585 | 52 | 0 | 1.254329e+03 | -- | Inf
104.50/104.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.50/104.60 c 105s| 1 | 0 |187420 | - | 152M| 0 |2062 |2462 |7064 |2462 |7565 |5608 | 52 | 0 | 1.254552e+03 | -- | Inf
105.39/105.41 c 105s| 1 | 0 |188516 | - | 148M| 0 |2022 |2462 |7064 |2462 |7421 |5627 | 52 | 0 | 1.255039e+03 | -- | Inf
106.39/106.47 c 106s| 1 | 0 |189848 | - | 146M| 0 |2071 |2462 |7064 |2462 |7455 |5661 | 52 | 0 | 1.256348e+03 | -- | Inf
107.59/107.67 c 108s| 1 | 0 |190498 | - | 144M| 0 |2021 |2462 |7064 |2462 |7476 |5682 | 52 | 0 | 1.257616e+03 | -- | Inf
108.59/108.61 c 109s| 1 | 0 |191153 | - | 143M| 0 |2074 |2462 |7064 |2462 |7494 |5700 | 52 | 0 | 1.259003e+03 | -- | Inf
109.69/109.73 c 110s| 1 | 0 |191807 | - | 142M| 0 |1975 |2462 |7064 |2462 |7514 |5720 | 52 | 0 | 1.260109e+03 | -- | Inf
110.19/110.29 c 110s| 1 | 0 |192669 | - | 140M| 0 |2059 |2462 |7064 |2462 |7532 |5738 | 52 | 0 | 1.260361e+03 | -- | Inf
111.79/111.80 c 112s| 1 | 0 |196338 | - | 136M| 0 |2090 |2462 |7064 |2462 |7405 |5780 | 52 | 0 | 1.263109e+03 | -- | Inf
112.21/112.25 c 112s| 1 | 0 |196894 | - | 131M| 0 |2039 |2462 |7064 |2462 |7422 |5797 | 52 | 0 | 1.264359e+03 | -- | Inf
112.69/112.71 c 113s| 1 | 0 |197220 | - | 130M| 0 |2063 |2462 |7064 |2462 |7443 |5818 | 52 | 0 | 1.264484e+03 | -- | Inf
113.09/113.17 c 113s| 1 | 0 |197715 | - | 126M| 0 |2003 |2462 |7064 |2462 |7460 |5835 | 52 | 0 | 1.264609e+03 | -- | Inf
114.09/114.15 c 114s| 1 | 0 |198936 | - | 123M| 0 |2034 |2462 |7064 |2462 |7478 |5853 | 52 | 0 | 1.265493e+03 | -- | Inf
114.69/114.70 c 115s| 1 | 0 |199255 | - | 120M| 0 |2070 |2462 |7064 |2462 |7493 |5868 | 52 | 0 | 1.265629e+03 | -- | Inf
115.29/115.39 c 115s| 1 | 0 |199917 | - | 118M| 0 |2074 |2462 |7064 |2462 |7371 |5881 | 52 | 0 | 1.266005e+03 | -- | Inf
115.99/116.06 c 116s| 1 | 0 |200373 | - | 117M| 0 |2019 |2462 |7064 |2462 |7378 |5888 | 52 | 0 | 1.266140e+03 | -- | Inf
117.29/117.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
117.29/117.31 c 117s| 1 | 0 |202422 | - | 114M| 0 |2054 |2462 |7064 |2462 |7398 |5908 | 52 | 0 | 1.267311e+03 | -- | Inf
118.19/118.29 c 118s| 1 | 0 |202824 | - | 112M| 0 |2063 |2462 |7064 |2462 |7425 |5935 | 52 | 0 | 1.269227e+03 | -- | Inf
119.29/119.32 c 119s| 1 | 0 |203212 | - | 110M| 0 |2056 |2462 |7064 |2462 |7431 |5941 | 52 | 0 | 1.269434e+03 | -- | Inf
120.29/120.31 c 120s| 1 | 0 |203370 | - | 108M| 0 |2067 |2462 |7064 |2462 |7436 |5946 | 52 | 0 | 1.269806e+03 | -- | Inf
121.29/121.37 c 121s| 1 | 0 |203917 | - | 108M| 0 |2040 |2462 |7064 |2462 |7322 |5949 | 52 | 0 | 1.270032e+03 | -- | Inf
122.29/122.36 c 122s| 1 | 0 |204959 | - | 107M| 0 |2074 |2462 |7064 |2462 |7341 |5968 | 52 | 0 | 1.271002e+03 | -- | Inf
122.89/122.94 c 123s| 1 | 0 |205196 | - | 107M| 0 |2082 |2462 |7064 |2462 |7354 |5981 | 52 | 0 | 1.271152e+03 | -- | Inf
123.89/123.92 c 124s| 1 | 0 |206088 | - | 107M| 0 |2140 |2462 |7064 |2462 |7362 |5989 | 52 | 0 | 1.271613e+03 | -- | Inf
124.49/124.53 c 125s| 1 | 0 |206854 | - | 107M| 0 |2109 |2462 |7064 |2462 |7378 |6005 | 52 | 0 | 1.271758e+03 | -- | Inf
125.09/125.16 c 125s| 1 | 0 |207202 | - | 104M| 0 |2105 |2462 |7064 |2462 |7396 |6023 | 52 | 0 | 1.271915e+03 | -- | Inf
126.09/126.12 c 126s| 1 | 0 |208099 | - | 102M| 0 |2078 |2462 |7064 |2462 |7313 |6033 | 52 | 0 | 1.272497e+03 | -- | Inf
126.79/126.85 c 127s| 1 | 0 |208595 | - | 101M| 0 |2083 |2462 |7064 |2462 |7321 |6041 | 52 | 0 | 1.272825e+03 | -- | Inf
127.99/128.07 c 128s| 1 | 0 |209940 | - | 100M| 0 |2092 |2462 |7064 |2462 |7337 |6057 | 52 | 0 | 1.273580e+03 | -- | Inf
128.89/128.94 c 129s| 1 | 0 |210462 | - | 100M| 0 |2043 |2462 |7064 |2462 |7347 |6067 | 52 | 0 | 1.273798e+03 | -- | Inf
129.39/129.49 c 129s| 1 | 0 |210849 | - | 101M| 0 |2012 |2462 |7064 |2462 |7355 |6075 | 52 | 0 | 1.273821e+03 | -- | Inf
130.19/130.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.19/130.29 c 130s| 1 | 0 |211065 | - | 100M| 0 |2042 |2462 |7064 |2462 |7363 |6083 | 52 | 0 | 1.273862e+03 | -- | Inf
131.19/131.23 c 131s| 1 | 0 |211962 | - | 100M| 0 |2026 |2462 |7064 |2462 |7300 |6090 | 52 | 0 | 1.273862e+03 | -- | Inf
131.89/131.92 c 132s| 1 | 0 |212145 | - | 99M| 0 |2050 |2462 |7064 |2462 |7308 |6098 | 52 | 0 | 1.273871e+03 | -- | Inf
132.89/132.99 c 133s| 1 | 0 |212681 | - | 99M| 0 |2030 |2462 |7064 |2462 |7311 |6101 | 52 | 0 | 1.274025e+03 | -- | Inf
133.89/133.97 c 134s| 1 | 0 |213160 | - | 99M| 0 |2031 |2462 |7064 |2462 |7327 |6117 | 52 | 0 | 1.274309e+03 | -- | Inf
134.89/134.97 c 135s| 1 | 0 |213677 | - | 98M| 0 |2034 |2462 |7064 |2462 |7336 |6126 | 52 | 0 | 1.274367e+03 | -- | Inf
135.99/136.06 c 136s| 1 | 0 |213981 | - | 97M| 0 |2034 |2462 |7064 |2462 |7341 |6131 | 52 | 0 | 1.274382e+03 | -- | Inf
136.99/137.05 c 137s| 1 | 0 |214235 | - | 96M| 0 |2032 |2462 |7064 |2462 |7287 |6134 | 52 | 0 | 1.274404e+03 | -- | Inf
137.99/138.00 c 138s| 1 | 0 |214628 | - | 95M| 0 |2044 |2462 |7064 |2462 |7291 |6138 | 52 | 0 | 1.274440e+03 | -- | Inf
138.89/138.97 c 139s| 1 | 0 |214672 | - | 94M| 0 |2044 |2462 |7064 |2462 |7295 |6142 | 52 | 0 | 1.274440e+03 | -- | Inf
139.89/139.95 c 140s| 1 | 0 |214764 | - | 93M| 0 |2040 |2462 |7064 |2462 |7298 |6145 | 52 | 0 | 1.274449e+03 | -- | Inf
140.91/140.92 c 141s| 1 | 0 |215009 | - | 92M| 0 |2031 |2462 |7064 |2462 |7303 |6150 | 52 | 0 | 1.274456e+03 | -- | Inf
145.20/145.26 c 145s| 1 | 2 |215009 | - | 90M| 0 |2031 |2462 |7064 |2462 |7303 |6150 | 52 | 19 | 1.274456e+03 | -- | Inf
1648.68/1648.75 c 1649s| 10000 | 2477 | 5539k| 532.5 | 99M| 52 |1190 |2462 |8055 |2462 |6998 |6150 | 18k|5851 | 1.305555e+03 | -- | Inf
1799.98/1800.03 c
1799.98/1800.03 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.03 c Solving Time (sec) : 1800.03
1799.98/1800.03 c Solving Nodes : 11432
1799.98/1800.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.98/1800.03 c Dual Bound : +1.30602889368551e+03
1799.98/1800.03 c Gap : infinite
1799.98/1800.03 s UNKNOWN
1799.98/1800.03 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.03 c Total Time : 1800.03
1799.98/1800.03 c solving : 1800.03
1799.98/1800.03 c presolving : 0.39 (included in solving)
1799.98/1800.03 c reading : 0.05 (included in solving)
1799.98/1800.03 c Original Problem :
1799.98/1800.03 c Problem name : HOME/instance-3452510-1307085433.opb
1799.98/1800.03 c Variables : 2650 (2650 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.03 c Constraints : 6619 initial, 6619 maximal
1799.98/1800.03 c Presolved Problem :
1799.98/1800.03 c Problem name : t_HOME/instance-3452510-1307085433.opb
1799.98/1800.03 c Variables : 2462 (2462 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.03 c Constraints : 6305 initial, 8951 maximal
1799.98/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.98/1800.03 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c implics : 0.00 0 3 0 0 0 0 0 0 0
1799.98/1800.03 c probing : 0.23 2 183 0 0 0 0 0 0 0
1799.98/1800.03 c setppc : 0.02 0 0 0 0 0 190 0 0 0
1799.98/1800.03 c linear : 0.05 0 0 0 0 0 122 0 122 0
1799.98/1800.03 c logicor : 0.07 0 0 0 0 0 2 0 0 0
1799.98/1800.03 c root node : - 0 - - 0 - - - - -
1799.98/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.98/1800.03 c integral : 0 0 0 8636 0 4 0 29 239 0 0 16920
1799.98/1800.03 c setppc : 1507 147 264150 0 0 3 1061444 2783 1280002 0 0 0
1799.98/1800.03 c linear : 0+ 147 257177 0 0 0 1636 8 1774 34 0 0
1799.98/1800.03 c logicor : 4798+ 147 225746 0 0 1 889583 2436 1365345 0 0 0
1799.98/1800.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1799.98/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.98/1800.03 c integral : 441.51 0.00 0.00 441.51 0.00 0.00 0.00
1799.98/1800.03 c setppc : 8.22 0.02 7.88 0.00 0.00 0.00 0.33
1799.98/1800.03 c linear : 0.62 0.06 0.56 0.00 0.00 0.00 0.00
1799.98/1800.03 c logicor : 5.76 0.05 5.29 0.00 0.00 0.00 0.42
1799.98/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.98/1800.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.98/1800.03 c vbounds : 0 0 0 0
1799.98/1800.03 c rootredcost : 0 0 0 0
1799.98/1800.03 c pseudoobj : 260559 0 0 0
1799.98/1800.03 c Propagator Timings : TotalTime Propagate Resprop
1799.98/1800.03 c vbounds : 0.05 0.05 0.00
1799.98/1800.03 c rootredcost : 0.04 0.04 0.00
1799.98/1800.03 c pseudoobj : 8.26 8.26 0.00
1799.98/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.98/1800.03 c propagation : 1.32 5225 5156 68140 47.5 520 12.0 -
1799.98/1800.03 c infeasible LP : 0.42 687 687 9907 51.5 52 5.0 0
1799.98/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.98/1800.03 c applied globally : - - - 21030 40.0 - - -
1799.98/1800.03 c applied locally : - - - 0 0.0 - - -
1799.98/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.98/1800.03 c cut pool : 2.72 146 - - 7105 - (maximal pool size: 35330)
1799.98/1800.03 c redcost : 0.21 8782 0 0 0 0
1799.98/1800.03 c impliedbounds : 0.06 147 0 0 2130 0
1799.98/1800.03 c intobj : 0.00 0 0 0 0 0
1799.98/1800.03 c gomory : 77.35 147 0 0 69022 0
1799.98/1800.03 c cgmip : 0.00 0 0 0 0 0
1799.98/1800.03 c closecuts : 0.00 0 0 0 0 0
1799.98/1800.03 c strongcg : 4.03 20 0 0 10000 0
1799.98/1800.03 c cmir : 0.29 10 0 0 0 0
1799.98/1800.03 c flowcover : 0.29 10 0 0 0 0
1799.98/1800.03 c clique : 0.38 147 0 0 50 0
1799.98/1800.03 c zerohalf : 0.00 0 0 0 0 0
1799.98/1800.03 c mcf : 0.00 1 0 0 0 0
1799.98/1800.03 c oddcycle : 0.00 0 0 0 0 0
1799.98/1800.03 c rapidlearning : 0.70 1 0 0 0 707
1799.98/1800.03 c Pricers : Time Calls Vars
1799.98/1800.03 c problem variables: 0.00 0 0
1799.98/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.98/1800.03 c relpscost : 441.50 8636 29 239 0 0 16920
1799.98/1800.03 c pscost : 0.00 0 0 0 0 0 0
1799.98/1800.03 c inference : 0.00 0 0 0 0 0 0
1799.98/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1799.98/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1799.98/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1799.98/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1799.98/1800.03 c random : 0.00 0 0 0 0 0 0
1799.98/1800.03 c Primal Heuristics : Time Calls Found
1799.98/1800.03 c LP solutions : 0.00 - 0
1799.98/1800.03 c pseudo solutions : 0.00 - 0
1799.98/1800.03 c oneopt : 0.01 0 0
1799.98/1800.03 c crossover : 0.00 0 0
1799.98/1800.03 c guideddiving : 0.00 0 0
1799.98/1800.03 c coefdiving : 65.42 68 0
1799.98/1800.03 c fracdiving : 63.44 68 0
1799.98/1800.03 c linesearchdiving : 55.01 68 0
1799.98/1800.03 c trivial : 0.00 2 0
1799.98/1800.03 c shiftandpropagate: 0.02 1 0
1799.98/1800.03 c simplerounding : 0.00 0 0
1799.98/1800.03 c zirounding : 0.76 1000 0
1799.98/1800.03 c rounding : 0.61 1275 0
1799.98/1800.03 c shifting : 1.33 458 0
1799.98/1800.03 c intshifting : 0.00 0 0
1799.98/1800.03 c twoopt : 0.00 0 0
1799.98/1800.03 c fixandinfer : 0.00 0 0
1799.98/1800.03 c feaspump : 27.58 15 0
1799.98/1800.03 c clique : 0.00 0 0
1799.98/1800.03 c pscostdiving : 69.48 61 0
1799.98/1800.03 c veclendiving : 58.53 64 0
1799.98/1800.03 c intdiving : 0.00 0 0
1799.98/1800.03 c actconsdiving : 0.00 0 0
1799.98/1800.03 c objpscostdiving : 34.61 5 0
1799.98/1800.03 c rootsoldiving : 26.51 10 0
1799.98/1800.03 c octane : 0.00 0 0
1799.98/1800.03 c rens : 0.01 0 0
1799.98/1800.03 c rins : 0.00 0 0
1799.98/1800.03 c localbranching : 0.00 0 0
1799.98/1800.03 c mutation : 0.00 0 0
1799.98/1800.03 c dins : 0.00 0 0
1799.98/1800.03 c vbounds : 0.00 0 0
1799.98/1800.03 c undercover : 0.00 0 0
1799.98/1800.03 c subnlp : 0.00 0 0
1799.98/1800.03 c trysol : 0.00 0 0
1799.98/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1799.98/1800.03 c primal LP : 0.11 0 0 0.00 0.00
1799.98/1800.03 c dual LP : 836.65 9295 4624714 497.55 5527.63
1799.98/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1799.98/1800.03 c barrier LP : 0.00 0 0 0.00 -
1799.98/1800.03 c diving/probing LP: 370.73 25607 1475154 57.61 3979.06
1799.98/1800.03 c strong branching : 438.90 6315 1889539 299.21 4305.17
1799.98/1800.03 c (at root node) : - 19 12986 683.47 -
1799.98/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1799.98/1800.03 c B&B Tree :
1799.98/1800.03 c number of runs : 1
1799.98/1800.03 c nodes : 11432
1799.98/1800.03 c nodes (total) : 11432
1799.98/1800.03 c nodes left : 2598
1799.98/1800.03 c max depth : 52
1799.98/1800.03 c max depth (total): 52
1799.98/1800.03 c backtracks : 3412 (29.8%)
1799.98/1800.03 c delayed cutoffs : 2891
1799.98/1800.03 c repropagations : 7840 (1211254 domain reductions, 2192 cutoffs)
1799.98/1800.03 c avg switch length: 5.04
1799.98/1800.03 c switching time : 4.95
1799.98/1800.03 c Solution :
1799.98/1800.03 c Solutions found : 0 (0 improvements)
1799.98/1800.03 c Primal Bound : -
1799.98/1800.03 c Dual Bound : +1.30602889368551e+03
1799.98/1800.03 c Gap : infinite
1799.98/1800.03 c Root Dual Bound : +1.27445588653786e+03
1799.98/1800.03 c Root Iterations : 215009
1800.09/1800.10 c Time complete: 1800.09.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452510-1307085433/watcher-3452510-1307085433 -o /tmp/evaluation-result-3452510-1307085433/solver-3452510-1307085433 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452510-1307085433.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.00 2.03 2.00 2/526 22731
/proc/meminfo: memFree=22921976/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=13180 CPUtime=0.01 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 2294 0 0 0 1 0 0 0 25 0 1 0 800959163 13496320 2246 33554432000 4194304 9128323 140736809029952 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22731/statm: 3295 2246 400 1205 0 2086 0
[startup+0.104208 s]
/proc/loadavg: 2.00 2.03 2.00 2/526 22731
/proc/meminfo: memFree=22921976/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=32132 CPUtime=0.09 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 7034 0 0 0 9 0 0 0 25 0 1 0 800959163 32903168 6726 33554432000 4194304 9128323 140736809029952 18446744073709551615 5266466 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 8033 6726 505 1205 0 6824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32132
[startup+0.201192 s]
/proc/loadavg: 2.00 2.03 2.00 2/526 22731
/proc/meminfo: memFree=22921976/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=33412 CPUtime=0.19 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 7632 0 0 0 19 0 0 0 25 0 1 0 800959163 34213888 7142 33554432000 4194304 9128323 140736809029952 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 8353 7142 544 1205 0 7144 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33412
[startup+0.301169 s]
/proc/loadavg: 2.00 2.03 2.00 2/526 22731
/proc/meminfo: memFree=22921976/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=34292 CPUtime=0.29 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 7820 0 0 0 29 0 0 0 25 0 1 0 800959163 35115008 7330 33554432000 4194304 9128323 140736809029952 18446744073709551615 5973125 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 8573 7330 544 1205 0 7364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34292
[startup+0.701099 s]
/proc/loadavg: 2.00 2.03 2.00 2/526 22731
/proc/meminfo: memFree=22921976/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=49592 CPUtime=0.69 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 11945 0 0 0 67 2 0 0 25 0 1 0 800959163 50782208 11273 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 12398 11273 656 1205 0 11189 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49592
[startup+1.50095 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 22732
/proc/meminfo: memFree=22876832/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=50356 CPUtime=1.49 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 11964 0 0 0 145 4 0 0 25 0 1 0 800959163 51564544 11292 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 12589 11292 656 1205 0 11380 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50356
[startup+3.10068 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 22732
/proc/meminfo: memFree=22874880/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=50028 CPUtime=3.09 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 12320 0 0 0 302 7 0 0 25 0 1 0 800959163 51228672 11568 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 12507 11568 690 1205 0 11298 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50028
[startup+6.30111 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 22733
/proc/meminfo: memFree=22833444/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=91188 CPUtime=6.29 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 22736 0 0 0 617 12 0 0 25 0 1 0 800959163 93376512 21588 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 22797 21588 742 1205 0 21588 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91188
[startup+12.7009 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 22733
/proc/meminfo: memFree=22828268/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=95560 CPUtime=12.69 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 24336 0 0 0 1249 20 0 0 25 0 1 0 800959163 97853440 22799 33554432000 4194304 9128323 140736809029952 18446744073709551615 6703000 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 23890 22799 735 1205 0 22681 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95560
[startup+25.5006 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 22733
/proc/meminfo: memFree=22777708/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=150628 CPUtime=25.49 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 40706 0 0 0 2512 37 0 0 25 0 1 0 800959163 154243072 35011 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 37657 35011 903 1205 0 36448 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 150628
[startup+51.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 22734
/proc/meminfo: memFree=22742620/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=181720 CPUtime=51.09 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 60290 0 0 0 5039 70 0 0 25 0 1 0 800959163 186081280 43438 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 45430 43438 774 1205 0 44221 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 181720
[startup+102.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/527 22763
/proc/meminfo: memFree=22785252/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=229452 CPUtime=102.31 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 78289 0 0 0 10104 127 0 0 25 0 1 0 800959163 234958848 55062 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 57363 55062 1028 1205 0 56154 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 229452
[startup+162.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/527 22765
/proc/meminfo: memFree=22777576/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=232028 CPUtime=162.29 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 79148 0 0 0 16043 186 0 0 25 0 1 0 800959163 237596672 55860 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 58007 55860 972 1205 0 56798 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 232028
[startup+222.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 22766
/proc/meminfo: memFree=22773300/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=232028 CPUtime=222.31 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 79183 0 0 0 21967 264 0 0 25 0 1 0 800959163 237596672 55895 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 58007 55895 974 1205 0 56798 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 232028
[startup+282.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/527 22795
/proc/meminfo: memFree=22810324/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=232028 CPUtime=282.29 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 79183 0 0 0 27876 353 0 0 25 0 1 0 800959163 237596672 55895 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 58007 55895 974 1205 0 56798 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 232028
[startup+342.301 s]
/proc/loadavg: 2.09 2.05 2.00 3/527 22823
/proc/meminfo: memFree=22757404/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=232028 CPUtime=342.28 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 79183 0 0 0 33776 452 0 0 25 0 1 0 800959163 237596672 55895 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 58007 55895 974 1205 0 56798 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 232028
[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/527 22825
/proc/meminfo: memFree=22757168/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=232028 CPUtime=402.29 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 79184 0 0 0 39674 555 0 0 25 0 1 0 800959163 237596672 55896 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 58007 55896 974 1205 0 56798 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 232028
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/527 22827
/proc/meminfo: memFree=22758096/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=232028 CPUtime=462.28 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 79186 0 0 0 45570 658 0 0 25 0 1 0 800959163 237596672 55896 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 58007 55896 972 1205 0 56798 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 232028
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 22831
/proc/meminfo: memFree=22755460/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=232028 CPUtime=522.29 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 79187 0 0 0 51462 767 0 0 25 0 1 0 800959163 237596672 55897 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 58007 55897 972 1205 0 56798 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 232028
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 22833
/proc/meminfo: memFree=22752336/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=232028 CPUtime=582.29 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 79190 0 0 0 57351 878 0 0 25 0 1 0 800959163 237596672 55900 33554432000 4194304 9128323 140736809029952 18446744073709551615 7315378 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 58007 55900 972 1205 0 56798 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 232028
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=22728944/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=237676 CPUtime=1122.28 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 80845 0 0 0 110264 1964 0 0 25 0 1 0 800959163 243380224 57324 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 59419 57324 741 1205 0 58210 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 237676
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 22849
/proc/meminfo: memFree=22724048/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=240500 CPUtime=1182.27 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 81551 0 0 0 116138 2089 0 0 25 0 1 0 800959163 246272000 58030 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22731/statm: 60125 58030 741 1205 0 58916 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 240500
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 22850
/proc/meminfo: memFree=22723268/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=240500 CPUtime=1242.27 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 81554 0 0 0 122020 2207 0 0 25 0 1 0 800959163 246272000 58033 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22731/statm: 60125 58033 741 1205 0 58916 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 240500
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 22852
/proc/meminfo: memFree=22720868/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=244040 CPUtime=1302.27 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 82334 0 0 0 127903 2324 0 0 25 0 1 0 800959163 249896960 58813 33554432000 4194304 9128323 140736809029952 18446744073709551615 7313152 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22731/statm: 61010 58813 741 1205 0 59801 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 244040
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/527 22854
/proc/meminfo: memFree=22719820/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=245828 CPUtime=1362.27 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 82727 0 0 0 133785 2442 0 0 25 0 1 0 800959163 251727872 59206 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22731/statm: 61457 59206 741 1205 0 60248 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 245828
[startup+1422.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/527 22855
/proc/meminfo: memFree=22719768/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=245828 CPUtime=1422.29 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 82750 0 0 0 139673 2556 0 0 25 0 1 0 800959163 251727872 59229 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22731/statm: 61457 59229 741 1205 0 60248 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 245828
[startup+1482.3 s]
/proc/loadavg: 2.11 2.06 2.02 3/527 22857
/proc/meminfo: memFree=22718352/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=247036 CPUtime=1482.28 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 83057 0 0 0 145550 2678 0 0 25 0 1 0 800959163 252964864 59536 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22731/statm: 61759 59536 741 1205 0 60550 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 247036
[startup+1542.32 s]
/proc/loadavg: 2.04 2.05 2.01 3/527 22858
/proc/meminfo: memFree=22715456/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=248612 CPUtime=1542.3 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 83582 0 0 0 151427 2803 0 0 25 0 1 0 800959163 254578688 60061 33554432000 4194304 9128323 140736809029952 18446744073709551615 7347513 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22731/statm: 62153 60061 741 1205 0 60944 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 248612
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/527 22860
/proc/meminfo: memFree=22714396/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=249960 CPUtime=1602.28 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 83768 0 0 0 157305 2923 0 0 25 0 1 0 800959163 255959040 60247 33554432000 4194304 9128323 140736809029952 18446744073709551615 7361805 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22731/statm: 62490 60247 741 1205 0 61281 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 249960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 22862
/proc/meminfo: memFree=22713220/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=251404 CPUtime=1662.28 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 84143 0 0 0 163175 3053 0 0 25 0 1 0 800959163 257437696 60622 33554432000 4194304 9128323 140736809029952 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22731/statm: 62851 60622 741 1205 0 61642 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 251404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 22863
/proc/meminfo: memFree=22712420/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=251992 CPUtime=1722.29 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 84312 0 0 0 169052 3177 0 0 25 0 1 0 800959163 258039808 60791 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22731/statm: 62998 60791 741 1205 0 61789 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 251992
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 22973
/proc/meminfo: memFree=22737340/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=252908 CPUtime=1782.29 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 84608 0 0 0 174948 3281 0 0 25 0 1 0 800959163 258977792 61087 33554432000 4194304 9128323 140736809029952 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/22731/statm: 63227 61087 741 1205 0 62018 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 252908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.09 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.09 s) to the 'lost time'.
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 22973
/proc/meminfo: memFree=22737760/32951124 swapFree=64303760/67111528
[pid=22731] ppid=22729 vsize=202088 CPUtime=1800.09 cores=1,3,5,7
/proc/22731/stat : 22731 (scip-2.0.1.4.li) R 22729 22731 18861 0 -1 4202496 84673 0 0 0 176700 3309 0 0 18 0 1 0 800959163 206938112 29671 33554432000 4194304 9128323 140736809029952 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22731/statm: 50522 29159 741 1205 0 49313 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 202088
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 22973
/proc/meminfo: memFree=22866348/32951124 swapFree=64303760/67111528
[pid=22731] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/22731/stat : -- couldn't open stat file --/proc/22731/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 22973
/proc/meminfo: memFree=22866348/32951124 swapFree=64303760/67111528
[pid=22731] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/22731/stat : -- couldn't open stat file --/proc/22731/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
heavy processes:
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22731 and gives
# childrusage.ru_utime.tv_sec=1767
# childrusage.ru_utime.tv_usec=2374
# childrusage.ru_stime.tv_sec=33
# childrusage.ru_stime.tv_usec=99968
# CPU time returned by wait4() is 1800.1
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1800.09
# lost CPU user time (s): 1767
# lost CPU system time (s): 33.09
Real time (s): 1800.12
CPU time (s): 1800.09
CPU user time (s): 1767
CPU system time (s): 33.09
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 252908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767
system time used= 33.1
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84675
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= 10848
runsolver used 8.81666 second user time and 22.3106 second system time
The end