0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3693166-1338031420.opb>
0.00/0.00 c original problem has 634 variables (634 bin, 0 int, 0 impl, 0 cont) and 1581 constraints
0.00/0.00 c problem read in 0.01
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 0 del vars, 60 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1519 upgd conss, 1610 impls, 0 clqs
0.00/0.05 c (round 2) 0 del vars, 60 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1520 upgd conss, 1610 impls, 0 clqs
0.00/0.06 c (round 3) 0 del vars, 60 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1521 upgd conss, 1610 impls, 0 clqs
0.00/0.08 c (round 4) 25 del vars, 60 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1521 upgd conss, 10796 impls, 0 clqs
0.00/0.09 c (round 5) 25 del vars, 85 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1546 upgd conss, 10796 impls, 0 clqs
0.09/0.10 c (round 6) 50 del vars, 85 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1546 upgd conss, 11998 impls, 0 clqs
0.09/0.11 c (round 7) 50 del vars, 110 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1551 upgd conss, 11998 impls, 0 clqs
0.09/0.12 c (0.1s) probing: 141/634 (22.2%) - 0 fixings, 61 aggregations, 2314 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.12 c (round 8) 61 del vars, 110 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1551 upgd conss, 12168 impls, 0 clqs
0.09/0.12 c (round 9) 61 del vars, 121 del conss, 0 add conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1551 upgd conss, 12168 impls, 0 clqs
0.09/0.13 c (0.1s) probing: 146/634 (23.0%) - 0 fixings, 61 aggregations, 2314 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.13 c presolving (10 rounds):
0.09/0.13 c 61 deleted vars, 121 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 60 changed sides, 0 changed coefficients
0.09/0.13 c 12168 implications, 0 cliques
0.09/0.13 c presolved problem has 573 variables (573 bin, 0 int, 0 impl, 0 cont) and 1460 constraints
0.09/0.13 c 408 constraints of type <setppc>
0.09/0.13 c 1052 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.12
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 2.1.1.4
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1797
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 13950
0.09/0.13 c
0.09/0.13 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.13 c # [type: int, range: [1,2], default: 1]
0.09/0.13 c timing/clocktype = 2
0.09/0.13 c
0.09/0.13 c # belongs reading time to solving time?
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c timing/reading = TRUE
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
0.19/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.22 c 0.2s| 1 | 0 | 1387 | - |3814k| 0 | 541 | 573 |1550 | 573 |1460 | 0 | 90 | 0 | 2.048264e+02 | -- | Inf
0.38/0.45 c 0.5s| 1 | 0 | 3370 | - |5997k| 0 | 350 | 573 |1550 | 573 |1471 | 11 | 90 | 0 | 2.095000e+02 | -- | Inf
0.49/0.51 c 0.5s| 1 | 0 | 3722 | - |6491k| 0 | 364 | 573 |1550 | 573 |1504 | 44 | 90 | 0 | 2.263889e+02 | -- | Inf
0.49/0.57 c 0.6s| 1 | 0 | 3953 | - |6994k| 0 | 389 | 573 |1550 | 573 |1529 | 69 | 90 | 0 | 2.292082e+02 | -- | Inf
0.59/0.66 c 0.7s| 1 | 0 | 4249 | - |8212k| 0 | 416 | 573 |1550 | 573 |1553 | 93 | 90 | 0 | 2.327079e+02 | -- | Inf
0.69/0.77 c 0.8s| 1 | 0 | 4610 | - | 10M| 0 | 365 | 573 |1550 | 573 |1574 | 114 | 90 | 0 | 2.389464e+02 | -- | Inf
0.78/0.84 c 0.8s| 1 | 0 | 4880 | - | 10M| 0 | 363 | 573 |1550 | 573 |1598 | 138 | 90 | 0 | 2.417389e+02 | -- | Inf
0.89/0.95 c 1.0s| 1 | 0 | 5246 | - | 12M| 0 | 364 | 573 |1550 | 573 |1617 | 157 | 90 | 0 | 2.430856e+02 | -- | Inf
1.00/1.04 c 1.0s| 1 | 0 | 5522 | - | 13M| 0 | 443 | 573 |1550 | 573 |1638 | 178 | 90 | 0 | 2.465682e+02 | -- | Inf
1.09/1.15 c 1.2s| 1 | 0 | 5863 | - | 15M| 0 | 467 | 573 |1550 | 573 |1657 | 197 | 90 | 0 | 2.486574e+02 | -- | Inf
1.28/1.33 c 1.3s| 1 | 0 | 6267 | - | 17M| 0 | 435 | 573 |1550 | 573 |1685 | 225 | 90 | 0 | 2.584280e+02 | -- | Inf
1.28/1.38 c 1.4s| 1 | 0 | 6430 | - | 19M| 0 | 399 | 573 |1550 | 573 |1699 | 239 | 90 | 0 | 2.599382e+02 | -- | Inf
1.38/1.46 c 1.5s| 1 | 0 | 6583 | - | 21M| 0 | 338 | 573 |1550 | 573 |1688 | 249 | 90 | 0 | 2.603750e+02 | -- | Inf
1.49/1.55 c 1.6s| 1 | 0 | 6803 | - | 23M| 0 | 399 | 573 |1550 | 573 |1701 | 262 | 90 | 0 | 2.606607e+02 | -- | Inf
1.69/1.71 c 1.7s| 1 | 0 | 7302 | - | 26M| 0 | 453 | 573 |1550 | 573 |1709 | 270 | 90 | 0 | 2.611506e+02 | -- | Inf
1.79/1.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.84 c 1.8s| 1 | 0 | 7545 | - | 29M| 0 | 491 | 573 |1550 | 573 |1719 | 280 | 90 | 0 | 2.612960e+02 | -- | Inf
1.88/1.94 c 1.9s| 1 | 0 | 7603 | - | 32M| 0 | 470 | 573 |1550 | 573 |1724 | 285 | 90 | 0 | 2.613032e+02 | -- | Inf
1.99/2.04 c 2.0s| 1 | 0 | 7715 | - | 35M| 0 | 498 | 573 |1550 | 573 |1728 | 289 | 90 | 0 | 2.613503e+02 | -- | Inf
2.10/2.17 c 2.2s| 1 | 0 | 7873 | - | 38M| 0 | 463 | 573 |1550 | 573 |1652 | 292 | 90 | 0 | 2.613845e+02 | -- | Inf
2.20/2.27 c 2.3s| 1 | 0 | 7988 | - | 41M| 0 | 459 | 573 |1550 | 573 |1656 | 296 | 90 | 0 | 2.615369e+02 | -- | Inf
2.38/2.46 c 2.5s| 1 | 0 | 8539 | - | 44M| 0 | 402 | 573 |1550 | 573 |1671 | 311 | 90 | 0 | 2.666344e+02 | -- | Inf
2.38/2.48 c 2.5s| 1 | 0 | 8571 | - | 44M| 0 | 403 | 573 |1550 | 573 |1675 | 315 | 90 | 0 | 2.666667e+02 | -- | Inf
4.09/4.10 c 4.1s| 1 | 2 | 8571 | - | 44M| 0 | 403 | 573 |1550 | 573 |1675 | 315 | 90 | 30 | 2.666667e+02 | -- | Inf
16.29/16.37 c 16.4s| 100 | 30 | 25841 | 174.4 | 44M| 14 | - | 573 |1617 | 573 |1570 | 315 | 157 | 644 | 2.784196e+02 | -- | Inf
18.08/18.10 c 18.1s| 200 | 56 | 38907 | 152.4 | 44M| 14 | - | 573 |1653 | 573 |1570 | 315 | 193 | 671 | 2.850625e+02 | -- | Inf
20.08/20.11 c 20.1s| 300 | 64 | 52466 | 146.8 | 44M| 14 | - | 573 |1728 | 573 |1570 | 315 | 268 | 709 | 2.856667e+02 | -- | Inf
21.89/21.99 c 22.0s| 400 | 68 | 66981 | 146.4 | 44M| 14 | - | 573 |1783 | 573 |1570 | 315 | 323 | 731 | 2.860625e+02 | -- | Inf
24.38/24.44 c 24.4s| 500 | 80 | 84208 | 151.6 | 44M| 14 | 360 | 573 |1791 | 573 |1570 | 315 | 331 | 787 | 2.916667e+02 | -- | Inf
26.98/27.03 c 27.0s| 600 | 92 |103708 | 158.8 | 44M| 14 | - | 573 |1836 | 573 |1570 | 315 | 376 | 829 | 2.917083e+02 | -- | Inf
29.28/29.39 c 29.4s| 700 | 94 |120753 | 160.5 | 44M| 14 | 399 | 573 |1865 | 573 |1570 | 315 | 405 | 879 | 2.920625e+02 | -- | Inf
32.18/32.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.18/32.28 c 32.3s| 800 | 102 |142418 | 167.5 | 44M| 14 | - | 573 |1900 | 573 |1570 | 315 | 440 | 912 | 2.920625e+02 | -- | Inf
34.18/34.24 c 34.2s| 900 | 114 |158943 | 167.3 | 44M| 14 | 386 | 573 |1925 | 573 |1570 | 315 | 465 | 939 | 2.924808e+02 | -- | Inf
36.48/36.51 c 36.5s| 1000 | 112 |174979 | 166.6 | 44M| 14 | - | 573 |1957 | 573 |1570 | 315 | 497 | 990 | 2.980833e+02 | -- | Inf
39.08/39.15 c 39.2s| 1100 | 114 |193945 | 168.7 | 44M| 14 | - | 573 |1969 | 573 |1570 | 315 | 509 |1046 | 2.980833e+02 | -- | Inf
41.88/41.97 c 42.0s| 1200 | 124 |214156 | 171.5 | 44M| 14 | - | 573 |1994 | 573 |1570 | 315 | 537 |1104 | 2.985000e+02 | -- | Inf
44.78/44.83 c 44.8s| 1300 | 142 |234933 | 174.3 | 44M| 14 | 341 | 573 |2037 | 573 |1570 | 315 | 615 |1175 | 2.985000e+02 | -- | Inf
47.18/47.26 c 47.3s| 1400 | 150 |252354 | 174.3 | 44M| 14 | 393 | 573 |2074 | 573 |1570 | 315 | 653 |1231 | 2.986250e+02 | -- | Inf
49.68/49.75 c 49.7s| 1500 | 152 |270094 | 174.5 | 44M| 14 | 362 | 573 |2113 | 573 |1570 | 315 | 696 |1297 | 2.986250e+02 | -- | Inf
51.78/51.83 c 51.8s| 1600 | 162 |288683 | 175.2 | 44M| 14 | - | 573 |2108 | 573 |1570 | 315 | 724 |1319 | 3.029583e+02 | -- | Inf
53.88/53.97 c 54.0s| 1700 | 168 |309471 | 177.1 | 44M| 14 | - | 573 |2124 | 573 |1570 | 315 | 742 |1336 | 3.029583e+02 | -- | Inf
55.98/56.04 c 56.0s| 1800 | 195 |329400 | 178.3 | 45M| 14 | - | 573 |2129 | 573 |1570 | 315 | 763 |1352 | 3.029583e+02 | -- | Inf
58.18/58.23 c 58.2s| 1900 | 205 |350515 | 180.1 | 45M| 14 | - | 573 |2150 | 573 |1570 | 315 | 786 |1365 | 3.033750e+02 | -- | Inf
60.27/60.38 c 60.4s| 2000 | 203 |369059 | 180.3 | 45M| 14 | 374 | 573 |2164 | 573 |1570 | 315 | 803 |1384 | 3.033750e+02 | -- | Inf
62.68/62.75 c 62.8s| 2100 | 199 |386758 | 180.2 | 45M| 14 | - | 573 |2174 | 573 |1570 | 315 | 815 |1421 | 3.033750e+02 | -- | Inf
65.08/65.16 c 65.2s| 2200 | 253 |406254 | 180.8 | 45M| 14 | 359 | 573 |2249 | 573 |1570 | 315 | 897 |1452 | 3.033750e+02 | -- | Inf
67.48/67.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.48/67.56 c 67.6s| 2300 | 249 |423841 | 180.6 | 45M| 14 | 346 | 573 |2285 | 573 |1570 | 315 | 954 |1490 | 3.033750e+02 | -- | Inf
69.88/69.94 c 69.9s| 2400 | 235 |442694 | 181.0 | 45M| 14 | - | 573 |2322 | 573 |1570 | 315 | 998 |1534 | 3.033750e+02 | -- | Inf
70.08/70.14 o 317
70.08/70.14 c *70.1s| 2412 | 226 |444580 | 180.8 | 45M| 14 | - | 573 |2325 | 573 |1570 | 315 |1001 |1535 | 3.033750e+02 | 3.170000e+02 | 4.49%
71.18/71.22 c 71.2s| 2500 | 208 |452838 | 177.8 | 45M| 14 | - | 573 |2324 | 573 |1570 | 315 |1001 |1568 | 3.033750e+02 | 3.170000e+02 | 4.49%
72.68/72.76 c 72.8s| 2600 | 200 |463178 | 174.9 | 45M| 14 | 372 | 573 |2321 | 573 |1570 | 315 |1001 |1617 | 3.033750e+02 | 3.170000e+02 | 4.49%
74.28/74.31 c 74.3s| 2700 | 218 |475463 | 173.0 | 45M| 14 | - | 573 |2324 | 573 |1570 | 315 |1004 |1645 | 3.033750e+02 | 3.170000e+02 | 4.49%
75.78/75.86 c 75.9s| 2800 | 212 |487969 | 171.3 | 45M| 14 | - | 573 |2326 | 573 |1570 | 315 |1010 |1676 | 3.037500e+02 | 3.170000e+02 | 4.36%
77.28/77.31 c 77.3s| 2900 | 210 |498199 | 168.9 | 45M| 14 | - | 573 |2317 | 573 |1570 | 315 |1013 |1725 | 3.042500e+02 | 3.170000e+02 | 4.19%
78.77/78.86 c 78.9s| 3000 | 209 |509336 | 167.0 | 45M| 14 | - | 573 |2311 | 573 |1570 | 315 |1022 |1770 | 3.078333e+02 | 3.170000e+02 | 2.98%
80.08/80.14 c 80.1s| 3100 | 191 |518063 | 164.4 | 45M| 14 | 359 | 573 |2310 | 573 |1570 | 315 |1026 |1824 | 3.078333e+02 | 3.170000e+02 | 2.98%
81.28/81.34 c 81.3s| 3200 | 183 |526953 | 162.0 | 45M| 14 | 410 | 573 |2307 | 573 |1570 | 315 |1026 |1867 | 3.080682e+02 | 3.170000e+02 | 2.90%
82.38/82.48 c 82.5s| 3300 | 173 |535447 | 159.7 | 45M| 14 | - | 573 |2293 | 573 |1570 | 315 |1026 |1922 | 3.080682e+02 | 3.170000e+02 | 2.90%
83.67/83.78 c 83.8s| 3400 | 165 |544826 | 157.8 | 45M| 14 | 429 | 573 |2276 | 573 |1570 | 315 |1027 |1972 | 3.080682e+02 | 3.170000e+02 | 2.90%
84.97/85.05 c 85.1s| 3500 | 161 |555096 | 156.2 | 45M| 14 | 389 | 573 |2272 | 573 |1570 | 315 |1027 |2025 | 3.080682e+02 | 3.170000e+02 | 2.90%
86.07/86.15 c 86.2s| 3600 | 151 |564985 | 154.6 | 45M| 14 | - | 573 |2264 | 573 |1570 | 315 |1032 |2062 | 3.080682e+02 | 3.170000e+02 | 2.90%
87.17/87.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.17/87.20 c 87.2s| 3700 | 139 |574571 | 153.0 | 45M| 14 | 418 | 573 |2262 | 573 |1570 | 315 |1032 |2102 | 3.080682e+02 | 3.170000e+02 | 2.90%
88.47/88.51 c 88.5s| 3800 | 135 |585984 | 152.0 | 45M| 14 | - | 573 |2257 | 573 |1570 | 315 |1037 |2152 | 3.080943e+02 | 3.170000e+02 | 2.89%
89.66/89.74 c 89.7s| 3900 | 117 |595886 | 150.6 | 45M| 14 | 427 | 573 |2250 | 573 |1570 | 315 |1037 |2210 | 3.080943e+02 | 3.170000e+02 | 2.89%
90.76/90.87 c 90.9s| 4000 | 117 |606090 | 149.4 | 45M| 14 | 373 | 573 |2249 | 573 |1570 | 315 |1037 |2248 | 3.080952e+02 | 3.170000e+02 | 2.89%
92.17/92.20 c 92.2s| 4100 | 105 |616963 | 148.4 | 45M| 14 | 402 | 573 |2246 | 573 |1570 | 315 |1037 |2323 | 3.080952e+02 | 3.170000e+02 | 2.89%
93.27/93.36 c 93.4s| 4200 | 91 |627151 | 147.3 | 45M| 14 | 418 | 573 |2243 | 573 |1570 | 315 |1038 |2375 | 3.080952e+02 | 3.170000e+02 | 2.89%
94.57/94.65 c 94.6s| 4300 | 75 |638238 | 146.5 | 45M| 14 | - | 573 |2245 | 573 |1570 | 315 |1046 |2423 | 3.110682e+02 | 3.170000e+02 | 1.91%
95.17/95.22 c 95.2s| 4400 | 13 |643925 | 144.4 | 44M| 14 | - | 573 |2238 | 573 |1570 | 315 |1046 |2431 | 3.151176e+02 | 3.170000e+02 | 0.60%
95.17/95.24 c
95.17/95.24 c SCIP Status : problem is solved [optimal solution found]
95.17/95.24 c Solving Time (sec) : 95.24
95.17/95.24 c Solving Nodes : 4409
95.17/95.24 c Primal Bound : +3.17000000000000e+02 (1 solutions)
95.17/95.24 c Dual Bound : +3.17000000000000e+02
95.17/95.24 c Gap : 0.00 %
95.17/95.24 s OPTIMUM FOUND
95.17/95.24 v x634 -x633 x632 -x631 -x630 x629 x628 -x627 -x626 x625 x624 -x623 -x622 x621 x620 -x619 -x618 x617 x616 -x615 -x614 x613 -x612
95.17/95.24 v x611 -x610 x609 x608 -x607 x606 -x605 -x604 x603 -x602 x601 x600 -x599 x598 -x597 -x596 x595 -x594 x593 x592 -x591 -x590 x589
95.17/95.24 v x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 -x572 x571 -x570 x569 -x568 x567 -x566
95.17/95.24 v x565 x564 -x563 x562 -x561 x560 -x559 -x558 x557 x556 -x555 x554 -x553 x552 -x551 -x550 x549 -x548 x547 x546 -x545 -x544 x543
95.17/95.24 v x542 -x541 x540 -x539 -x538 x537 x536 -x535 -x534 x533 -x532 x531 x530 -x529 x528 -x527 x526 -x525 x524 -x523 x522 -x521
95.17/95.24 v -x520 x519 -x518 x517 x516 -x515 -x514 x513 x512 -x511 x510 -x509 x508 -x507 -x506 x505 -x504 x503 x502 -x501 -x500 x499 x498
95.17/95.24 v -x497 x496 -x495 x494 -x493 -x492 x491 -x490 x489 -x488 x487 -x486 x485 x484 -x483 x482 -x481 x480 -x479 x478 -x477 -x476 x475
95.17/95.24 v x474 -x473 -x472 x471 x470 -x469 -x468 x467 -x466 x465 x464 -x463 -x462 x461 -x460 x459 -x458 x457 x456 -x455 x454 -x453 -x452
95.17/95.24 v x451 -x450 x449 -x448 x447 -x446 x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437 -x436 x435 -x434 x433 x432 -x431 x430
95.17/95.24 v -x429 -x428 x427 x426 -x425 -x424 x423 x422 -x421 x420 -x419 -x418 x417 -x416 x415 x414 -x413 x412 -x411 -x410 x409 -x408 x407
95.17/95.24 v -x406 x405 x404 -x403 x402 -x401 x400 -x399 x398 -x397 x396 -x395 x394 -x393 x392 -x391 -x390 x389 x388 -x387 x386 -x385 x384
95.17/95.24 v -x383 x382 -x381 x380 -x379 -x378 x377 x376 -x375 x374 -x373 x372 -x371 x370 -x369 -x368 x367 -x366 x365 x364 -x363 -x362
95.17/95.24 v x361 x360 -x359 x358 -x357 -x356 x355 x354 -x353 x352 -x351 x350 -x349 -x348 x347 x346 -x345 -x344 x343 x342 -x341 -x340 x339
95.17/95.24 v -x338 x337 x336 -x335 -x334 x333 -x332 x331 x330 -x329 -x328 x327 -x326 x325 x324 -x323 x322 -x321 -x320 x319 x318 -x317 -x316
95.17/95.24 v x315 x314 -x313 x312 -x311 x310 -x309 -x308 x307 x306 -x305 -x304 x303 x302 -x301 -x300 x299 x298 -x297 -x296 x295 x294 -x293
95.17/95.24 v -x292 x291 -x290 x289 -x288 x287 -x286 x285 x284 -x283 -x282 x281 x280 -x279 x278 -x277 -x276 x275 -x274 x273 x272 -x271
95.17/95.24 v x270 -x269 x268 -x267 x266 -x265 -x264 x263 x262 -x261 -x260 x259 -x258 x257 x256 -x255 x254 -x253 x252 -x251 x250 -x249 x248
95.17/95.24 v -x247 x246 -x245 x244 -x243 x242 -x241 x240 -x239 x238 -x237 x236 -x235 x234 -x233 x232 -x231 x230 -x229 x228 -x227 x226 -x225
95.17/95.24 v x224 -x223 x222 -x221 x220 -x219 x218 -x217 x216 -x215 x214 -x213 x212 -x211 x210 -x209 x208 -x207 x206 -x205 x204 -x203 x202
95.17/95.24 v -x201 x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180
95.17/95.24 v -x179 x178 -x177 x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157
95.17/95.24 v x156 -x155 x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134
95.17/95.24 v -x133 -x132 x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 -x122 x121 x120 -x119 x118 -x117 x116 -x115 -x114 x113 x112 -x111
95.17/95.24 v x110 -x109 x108 -x107 -x106 x105 x104 -x103 x102 -x101 x100 -x99 -x98 x97 x96 -x95 x94 -x93 x92 -x91 -x90 x89 x88 -x87 x86
95.17/95.24 v -x85 x84 -x83 -x82 x81 x80 -x79 x78 -x77 x76 -x75 -x74 x73 x72 -x71 x70 -x69 x68 -x67 -x66 x65 x64 -x63 x62 -x61 x60 -x59
95.17/95.24 v -x58 x57 x56 -x55 x54 -x53 x52 -x51 -x50 x49 x48 -x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31
95.17/95.24 v -x30 x29 -x28 x27 x26 -x25 x24 -x23 -x22 x21 x20 -x19 -x18 x17 x16 -x15 -x14 x13 x12 -x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
95.17/95.24 c SCIP Status : problem is solved [optimal solution found]
95.17/95.24 c Total Time : 95.24
95.17/95.24 c solving : 95.24
95.17/95.24 c presolving : 0.12 (included in solving)
95.17/95.24 c reading : 0.01 (included in solving)
95.17/95.24 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
95.17/95.24 c Original Problem :
95.17/95.24 c Problem name : HOME/instance-3693166-1338031420.opb
95.17/95.24 c Variables : 634 (634 binary, 0 integer, 0 implicit integer, 0 continuous)
95.17/95.24 c Constraints : 1581 initial, 1581 maximal
95.17/95.24 c Objective sense : minimize
95.17/95.24 c Presolved Problem :
95.17/95.24 c Problem name : t_HOME/instance-3693166-1338031420.opb
95.17/95.24 c Variables : 573 (573 binary, 0 integer, 0 implicit integer, 0 continuous)
95.17/95.24 c Constraints : 1460 initial, 2330 maximal
95.17/95.24 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
95.17/95.24 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c probing : 0.03 0.00 0 61 0 0 0 0 0 0 0
95.17/95.24 c setppc : 0.01 0.00 0 0 0 0 0 61 0 0 0
95.17/95.24 c linear : 0.02 0.00 0 0 0 0 0 60 0 60 0
95.17/95.24 c logicor : 0.04 0.00 0 0 0 0 0 0 0 0 0
95.17/95.24 c root node : - - 2 - - 2 - - - - -
95.17/95.24 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
95.17/95.24 c integral : 0 0 0 0 2581 0 6 0 69 672 0 0 4442
95.17/95.24 c setppc : 408 408 22 39999 1 0 3 30193 103 39083 0 0 0
95.17/95.24 c logicor : 1052+ 1922 22 32205 1 0 0 23477 80 38127 0 0 0
95.17/95.24 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
95.17/95.24 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
95.17/95.24 c integral : 31.67 0.00 0.00 0.00 31.67 0.00 0.00 0.00
95.17/95.24 c setppc : 0.30 0.00 0.00 0.27 0.00 0.00 0.00 0.03
95.17/95.24 c logicor : 0.20 0.00 0.00 0.18 0.00 0.00 0.00 0.02
95.17/95.24 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
95.17/95.24 c Propagators : #Propagate #ResProp Cutoffs DomReds
95.17/95.24 c rootredcost : 1 0 0 0
95.17/95.24 c pseudoobj : 41735 0 0 0
95.17/95.24 c vbounds : 0 0 0 0
95.17/95.24 c redcost : 2895 0 0 394
95.17/95.24 c probing : 0 0 0 0
95.17/95.24 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
95.17/95.24 c rootredcost : 0.03 0.00 0.00 0.03 0.00
95.17/95.24 c pseudoobj : 0.06 0.00 0.00 0.06 0.00
95.17/95.24 c vbounds : 0.03 0.00 0.00 0.03 0.00
95.17/95.24 c redcost : 0.03 0.00 0.00 0.03 0.00
95.17/95.24 c probing : 0.03 0.00 0.03 0.00 0.00
95.17/95.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
95.17/95.24 c propagation : 0.03 183 178 432 14.0 11 4.1 -
95.17/95.24 c infeasible LP : 0.16 1223 299 1807 16.2 0 0.0 0
95.17/95.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
95.17/95.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
95.17/95.24 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
95.17/95.24 c applied globally : - - - 1046 14.9 - - -
95.17/95.24 c applied locally : - - - 0 0.0 - - -
95.17/95.24 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
95.17/95.24 c cut pool : 0.07 21 - - 1053 - (maximal pool size: 6700)
95.17/95.24 c closecuts : 0.00 0.00 0 0 0 0 0
95.17/95.24 c impliedbounds : 0.00 0.00 22 0 0 11 0
95.17/95.24 c intobj : 0.00 0.00 0 0 0 0 0
95.17/95.24 c gomory : 0.07 0.00 10 0 0 500 0
95.17/95.24 c cgmip : 0.00 0.00 0 0 0 0 0
95.17/95.24 c strongcg : 1.17 0.00 20 0 0 10000 0
95.17/95.24 c cmir : 0.05 0.00 10 0 0 0 0
95.17/95.24 c flowcover : 0.04 0.00 10 0 0 0 0
95.17/95.24 c clique : 0.01 0.00 22 0 0 15 0
95.17/95.24 c zerohalf : 0.00 0.00 0 0 0 0 0
95.17/95.24 c mcf : 0.00 0.00 1 0 0 0 0
95.17/95.24 c oddcycle : 0.00 0.00 0 0 0 0 0
95.17/95.24 c rapidlearning : 0.00 0.00 0 0 0 0 0
95.17/95.24 c Pricers : ExecTime SetupTime Calls Vars
95.17/95.24 c problem variables: 0.00 - 0 0
95.17/95.24 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
95.17/95.24 c relpscost : 31.67 0.00 2580 69 672 0 0 4442
95.17/95.24 c pscost : 0.00 0.00 0 0 0 0 0 0
95.17/95.24 c inference : 0.00 0.00 0 0 0 0 0 0
95.17/95.24 c mostinf : 0.00 0.00 0 0 0 0 0 0
95.17/95.24 c leastinf : 0.00 0.00 0 0 0 0 0 0
95.17/95.24 c fullstrong : 0.00 0.00 0 0 0 0 0 0
95.17/95.24 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
95.17/95.24 c random : 0.00 0.00 0 0 0 0 0 0
95.17/95.24 c Primal Heuristics : ExecTime SetupTime Calls Found
95.17/95.24 c LP solutions : 0.00 - - 1
95.17/95.24 c pseudo solutions : 0.00 - - 0
95.17/95.24 c crossover : 0.00 0.00 0 0
95.17/95.24 c oneopt : 0.01 0.00 1 0
95.17/95.24 c pscostdiving : 2.50 0.00 56 0
95.17/95.24 c coefdiving : 3.00 0.00 84 0
95.17/95.24 c smallcard : 0.00 0.00 0 0
95.17/95.24 c trivial : 0.00 0.00 2 0
95.17/95.24 c shiftandpropagate: 0.01 0.00 1 0
95.17/95.24 c simplerounding : 0.00 0.00 0 0
95.17/95.24 c zirounding : 0.10 0.00 1000 0
95.17/95.24 c rounding : 0.11 0.00 617 0
95.17/95.24 c shifting : 0.20 0.00 433 0
95.17/95.24 c intshifting : 0.00 0.00 0 0
95.17/95.24 c twoopt : 0.00 0.00 0 0
95.17/95.24 c indtwoopt : 0.00 0.00 0 0
95.17/95.24 c indoneopt : 0.01 0.00 0 0
95.17/95.24 c fixandinfer : 0.00 0.00 0 0
95.17/95.24 c feaspump : 0.12 0.00 1 0
95.17/95.24 c clique : 0.00 0.00 0 0
95.17/95.24 c indcoefdiving : 0.00 0.00 0 0
95.17/95.24 c indrounding : 0.00 0.00 0 0
95.17/95.24 c nlpdiving : 0.00 0.00 0 0
95.17/95.24 c fracdiving : 0.47 0.00 11 0
95.17/95.24 c veclendiving : 0.25 0.00 5 0
95.17/95.24 c intdiving : 0.00 0.00 0 0
95.17/95.24 c actconsdiving : 0.00 0.00 0 0
95.17/95.24 c objpscostdiving : 0.26 0.00 3 0
95.17/95.24 c rootsoldiving : 0.72 0.00 4 0
95.17/95.24 c linesearchdiving : 0.77 0.00 24 0
95.17/95.24 c guideddiving : 0.48 0.00 15 0
95.17/95.24 c octane : 0.00 0.00 0 0
95.17/95.24 c rens : 0.01 0.00 0 0
95.17/95.24 c rins : 0.00 0.00 0 0
95.17/95.24 c localbranching : 0.00 0.00 0 0
95.17/95.24 c mutation : 0.00 0.00 0 0
95.17/95.24 c dins : 0.00 0.00 0 0
95.17/95.24 c vbounds : 0.00 0.00 0 0
95.17/95.24 c undercover : 0.00 0.00 0 0
95.17/95.24 c subnlp : 0.00 0.00 0 0
95.17/95.24 c trysol : 0.01 0.00 0 0
95.17/95.24 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
95.17/95.24 c primal LP : 0.00 3 0 0.00 - 0.00 3
95.17/95.24 c dual LP : 51.17 5020 564243 119.57 11026.24 0.10 301
95.17/95.24 c lex dual LP : 0.00 0 0 0.00 -
95.17/95.24 c barrier LP : 0.00 0 0 0.00 - 0.00 0
95.17/95.24 c diving/probing LP: 7.70 2780 79934 28.75 10383.44
95.17/95.24 c strong branching : 31.38 2431 321975 132.45 10259.81
95.17/95.24 c (at root node) : - 30 13880 462.67 -
95.17/95.24 c conflict analysis: 0.00 0 0 0.00 -
95.17/95.24 c B&B Tree :
95.17/95.24 c number of runs : 1
95.17/95.24 c nodes : 4409
95.17/95.24 c nodes (total) : 4409
95.17/95.24 c nodes left : 0
95.17/95.24 c max depth : 14
95.17/95.24 c max depth (total): 14
95.17/95.24 c backtracks : 1740 (39.5%)
95.17/95.24 c delayed cutoffs : 17
95.17/95.24 c repropagations : 174 (1740 domain reductions, 8 cutoffs)
95.17/95.24 c avg switch length: 4.76
95.17/95.24 c switching time : 0.19
95.17/95.24 c Solution :
95.17/95.24 c Solutions found : 1 (1 improvements)
95.17/95.24 c First Solution : +3.17000000000000e+02 (in run 1, after 2412 nodes, 70.14 seconds, depth 14, found by <relaxation>)
95.17/95.24 c Primal Bound : +3.17000000000000e+02 (in run 1, after 2412 nodes, 70.14 seconds, depth 14, found by <relaxation>)
95.17/95.24 c Dual Bound : +3.17000000000000e+02
95.17/95.24 c Gap : 0.00 %
95.17/95.24 c Root Dual Bound : +2.66666666666667e+02
95.17/95.24 c Root Iterations : 8571
95.17/95.25 c Time complete: 95.22.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3693166-1338031420/watcher-3693166-1338031420 -o /tmp/evaluation-result-3693166-1338031420/solver-3693166-1338031420 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693166-1338031420.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.99 2.01 1.95 2/176 24050
/proc/meminfo: memFree=28491172/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=10592 CPUtime=0 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 1396 0 0 0 0 0 0 0 20 0 1 0 269266916 10846208 1350 33554432000 4194304 10169799 140735167685664 140737246634200 8797266 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 2648 1350 412 1459 0 1180 0
[startup+0.0937831 s]
/proc/loadavg: 1.99 2.01 1.95 2/176 24050
/proc/meminfo: memFree=28491172/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=24632 CPUtime=0.08 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 5003 0 0 0 6 2 0 0 20 0 1 0 269266916 25223168 4700 33554432000 4194304 10169799 140735167685664 140737246634200 5280276 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 6158 4700 595 1459 0 4690 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24632
[startup+0.100247 s]
/proc/loadavg: 1.99 2.01 1.95 2/176 24050
/proc/meminfo: memFree=28491172/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=24632 CPUtime=0.09 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 5003 0 0 0 6 3 0 0 20 0 1 0 269266916 25223168 4700 33554432000 4194304 10169799 140735167685664 140737246634200 5868253 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 6158 4700 595 1459 0 4690 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24632
[startup+0.300196 s]
/proc/loadavg: 1.99 2.01 1.95 2/176 24050
/proc/meminfo: memFree=28491172/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=27904 CPUtime=0.29 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 6096 0 0 0 25 4 0 0 20 0 1 0 269266916 28573696 5744 33554432000 4194304 10169799 140735167685664 140737246634200 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 6976 5744 770 1459 0 5508 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27904
[startup+0.700208 s]
/proc/loadavg: 1.99 2.01 1.95 2/176 24050
/proc/meminfo: memFree=28491172/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=37396 CPUtime=0.69 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 8544 0 0 0 64 5 0 0 20 0 1 0 269266916 38293504 8140 33554432000 4194304 10169799 140735167685664 140735167681704 5109725 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 9349 8140 801 1459 0 7881 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37396
[startup+1.50023 s]
/proc/loadavg: 1.99 2.01 1.95 3/177 24051
/proc/meminfo: memFree=28455940/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=53212 CPUtime=1.49 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 12504 0 0 0 142 7 0 0 20 0 1 0 269266916 54489088 11979 33554432000 4194304 10169799 140735167685664 140735167681704 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 13303 11979 802 1459 0 11835 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53212
[startup+3.10018 s]
/proc/loadavg: 1.99 2.01 1.95 3/177 24051
/proc/meminfo: memFree=28427280/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=3.09 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 19906 0 0 0 300 9 0 0 20 0 1 0 269266916 82493440 18901 33554432000 4194304 10169799 140735167685664 140735167680648 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 18901 832 1459 0 18672 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80560
[startup+6.30018 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28417236/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=6.29 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 19912 0 0 0 617 12 0 0 20 0 1 0 269266916 82493440 18907 33554432000 4194304 10169799 140735167685664 140735167680648 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 18907 833 1459 0 18672 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80560
[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28417376/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=12.69 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 19913 0 0 0 1249 20 0 0 20 0 1 0 269266916 82493440 18908 33554432000 4194304 10169799 140735167685664 140735167680120 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 18908 834 1459 0 18672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 80560
[startup+25.5002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28417376/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=25.49 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 19963 0 0 0 2508 41 0 0 20 0 1 0 269266916 82493440 18958 33554432000 4194304 10169799 140735167685664 140735167679928 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 18958 834 1459 0 18672 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80560
[startup+51.1002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28417500/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=51.08 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 20007 0 0 0 5022 86 0 0 20 0 1 0 269266916 82493440 19002 33554432000 4194304 10169799 140735167685664 140735167680120 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 19002 834 1459 0 18672 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80560
Solver just ended. Dumping a history of the last processes samples
[startup+76.7002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28417432/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=76.67 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 20009 0 0 0 7537 130 0 0 20 0 1 0 269266916 82493440 19018 33554432000 4194304 10169799 140735167685664 140735167679944 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 19018 834 1459 0 18672 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 80560
[startup+83.1002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28417060/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=83.07 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 20009 0 0 0 8163 144 0 0 20 0 1 0 269266916 82493440 19018 33554432000 4194304 10169799 140735167685664 140735167680072 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 19018 834 1459 0 18672 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 80560
[startup+89.5002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28417044/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=89.47 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 20014 0 0 0 8791 156 0 0 20 0 1 0 269266916 82493440 19020 33554432000 4194304 10169799 140735167685664 140735167680072 8051623 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 19020 834 1459 0 18672 0
Current children cumulated CPU time (s) 89.47
Current children cumulated vsize (KiB) 80560
[startup+92.7002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28417044/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=92.67 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 20014 0 0 0 9105 162 0 0 20 0 1 0 269266916 82493440 19020 33554432000 4194304 10169799 140735167685664 140735167680072 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 19020 834 1459 0 18672 0
Current children cumulated CPU time (s) 92.67
Current children cumulated vsize (KiB) 80560
[startup+94.3002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28417044/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=94.27 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 20014 0 0 0 9262 165 0 0 20 0 1 0 269266916 82493440 19020 33554432000 4194304 10169799 140735167685664 140735167680072 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 19020 834 1459 0 18672 0
Current children cumulated CPU time (s) 94.27
Current children cumulated vsize (KiB) 80560
[startup+94.7002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28416780/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=94.66 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 20019 0 0 0 9301 165 0 0 20 0 1 0 269266916 82493440 19038 33554432000 4194304 10169799 140735167685664 140735167680264 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 19038 834 1459 0 18672 0
Current children cumulated CPU time (s) 94.66
Current children cumulated vsize (KiB) 80560
[startup+95.1002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28416780/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=95.07 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 20019 0 0 0 9341 166 0 0 20 0 1 0 269266916 82493440 19038 33554432000 4194304 10169799 140735167685664 140735167680264 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 19038 834 1459 0 18672 0
Current children cumulated CPU time (s) 95.07
Current children cumulated vsize (KiB) 80560
[startup+95.2002 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 24051
/proc/meminfo: memFree=28416780/32873844 swapFree=7104/7104
[pid=24050] ppid=24048 vsize=80560 CPUtime=95.17 cores=0,2,4,6
/proc/24050/stat : 24050 (scip-2.1.1.4sfi) R 24048 24050 22949 0 -1 4202496 20019 0 0 0 9351 166 0 0 20 0 1 0 269266916 82493440 19038 33554432000 4194304 10169799 140735167685664 140735167680264 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24050/statm: 20140 19038 834 1459 0 18672 0
Current children cumulated CPU time (s) 95.17
Current children cumulated vsize (KiB) 80560
Child status: 0
Real time (s): 95.2591
CPU time (s): 95.2335
CPU user time (s): 93.5658
CPU system time (s): 1.66775
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 80560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.5658
system time used= 1.66775
maximum resident set size= 77452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20028
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= 15
involuntary context switches= 228
runsolver used 0.107983 second user time and 0.414936 second system time
The end