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-3691449-1338020822.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read in 0.01
0.00/0.04 o 200
0.00/0.04 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.04 c presolving:
0.19/0.21 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 413032 impls, 0 clqs
0.19/0.29 c (0.3s) probing: 51/6416 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.29 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.30 c presolving (2 rounds):
0.29/0.30 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.30 c 413032 implications, 0 cliques
0.29/0.30 c presolved problem has 6416 variables (6416 bin, 0 int, 0 impl, 0 cont) and 6416 constraints
0.29/0.30 c 6216 constraints of type <and>
0.29/0.30 c 200 constraints of type <logicor>
0.29/0.30 c transformed objective value is always integral (scale: 1)
0.29/0.30 c Presolving Time: 0.29
0.29/0.30 c - non default parameters ----------------------------------------------------------------------
0.29/0.30 c # SCIP version 2.1.1.4
0.29/0.30 c
0.29/0.30 c # maximal time in seconds to run
0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30 c limits/time = 1797
0.29/0.30 c
0.29/0.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.30 c limits/memory = 13950
0.29/0.30 c
0.29/0.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.30 c # [type: int, range: [1,2], default: 1]
0.29/0.30 c timing/clocktype = 2
0.29/0.30 c
0.29/0.30 c # belongs reading time to solving time?
0.29/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.30 c timing/reading = TRUE
0.29/0.30 c
0.29/0.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.30 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.30 c separating/rapidlearning/freq = 0
0.29/0.30 c
0.29/0.30 c -----------------------------------------------------------------------------------------------
0.29/0.30 c start solving
0.29/0.31 c
0.39/0.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.40 c t 0.4s| 1 | 0 | 400 | - | 36M| 0 | 400 |6416 |6416 |6416 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
0.39/0.41 o 26
0.39/0.41 c s 0.4s| 1 | 0 | 400 | - | 37M| 0 | 400 |6416 |6416 |6416 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1.29/1.37 c 1.4s| 1 | 0 | 1000 | - | 37M| 0 | 400 |6416 |6416 |6416 | 13k| 401 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1.78/1.82 c 1.8s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6416 |6416 |6416 | 13k| 802 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
2.20/2.29 c 2.3s| 1 | 0 | 2201 | - | 37M| 0 | 400 |6416 |6416 |6416 | 13k|1206 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
2.69/2.78 c 2.8s| 1 | 0 | 2802 | - | 37M| 0 | 400 |6416 |6416 |6416 | 14k|1609 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
3.19/3.30 c 3.3s| 1 | 0 | 3402 | - | 38M| 0 | 400 |6416 |6416 |6416 | 14k|2012 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
3.30/3.31 o 18
3.30/3.31 c s 3.3s| 1 | 0 | 3402 | - | 38M| 0 | 400 |6416 |6416 |6416 | 14k|2012 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
3.79/3.83 c 3.8s| 1 | 0 | 4003 | - | 38M| 0 | 400 |6416 |6416 |6416 | 15k|2417 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
3.89/3.93 c 3.9s| 1 | 2 | 4003 | - | 38M| 0 | 400 |6416 |6416 |6416 | 15k|2417 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
93.88/93.94 c 93.9s| 100 | 101 |169557 |1672.3 | 38M| 16 |1073 |6416 |6416 |6416 |5269 | 39k| 0 | 555 | 5.545999e+00 | 1.800000e+01 | 224.56%
169.66/169.76 c 170s| 200 | 201 |337822 |1677.5 | 39M| 16 |2314 |6416 |6421 |6416 |6623 | 67k| 5 | 688 | 6.360642e+00 | 1.800000e+01 | 182.99%
241.54/241.69 c 242s| 300 | 301 |487192 |1616.0 | 39M| 25 |2121 |6416 |6421 |6416 |6590 | 75k| 5 | 727 | 6.401317e+00 | 1.800000e+01 | 181.19%
296.73/296.87 c 297s| 400 | 401 |590250 |1469.3 | 40M| 25 |2504 |6416 |6421 |6416 |6070 | 84k| 5 | 825 | 6.593136e+00 | 1.800000e+01 | 173.01%
325.53/325.69 o 15
325.53/325.69 c f 326s| 477 | 478 |645948 |1348.6 | 42M| 38 | - |6416 |6425 |6416 |6701 | 89k| 9 | 850 | 6.601692e+00 | 1.500000e+01 | 127.21%
336.83/336.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.83/336.98 c 337s| 500 | 501 |668605 |1331.9 | 41M| 38 |1516 |6416 |6425 |6416 |6016 | 92k| 9 | 885 | 6.601692e+00 | 1.500000e+01 | 127.21%
375.92/376.03 c 376s| 600 | 601 |751234 |1247.5 | 41M| 38 |1943 |6416 |6427 |6416 |6289 | 103k| 11 | 956 | 6.601692e+00 | 1.500000e+01 | 127.21%
419.31/419.44 c 419s| 700 | 701 |839481 |1195.2 | 42M| 38 |1175 |6416 |6428 |6416 |5923 | 111k| 12 |1028 | 6.601692e+00 | 1.500000e+01 | 127.21%
431.31/431.40 o 14
431.31/431.40 c c 431s| 725 | 726 |863031 |1186.5 | 43M| 38 | - |6416 |6428 |6416 |6283 | 113k| 12 |1049 | 6.601692e+00 | 1.400000e+01 | 112.07%
465.60/465.78 c 466s| 800 | 801 |936591 |1167.2 | 43M| 38 |1678 |6416 |6428 |6416 |5946 | 119k| 12 |1083 | 6.724862e+00 | 1.400000e+01 | 108.18%
506.50/506.65 c 507s| 900 | 901 | 1015k|1124.6 | 43M| 38 |1933 |6416 |6427 |6416 |6645 | 125k| 12 |1120 | 6.724862e+00 | 1.400000e+01 | 108.18%
550.39/550.55 c 551s| 1000 | 1001 | 1094k|1091.5 | 44M| 43 | 979 |6416 |6426 |6416 |6075 | 129k| 14 |1209 | 6.724862e+00 | 1.400000e+01 | 108.18%
582.38/582.52 c 583s| 1100 | 1101 | 1157k|1049.8 | 44M| 43 |1594 |6416 |6427 |6416 |6759 | 133k| 15 |1213 | 6.724862e+00 | 1.400000e+01 | 108.18%
591.78/591.94 o 11
591.78/591.94 c c 592s| 1131 | 922 | 1177k|1038.9 | 44M| 43 | - |6416 |6427 |6416 |6710 | 135k| 15 |1213 | 6.724862e+00 | 1.100000e+01 | 63.57%
604.08/604.25 c 604s| 1200 | 961 | 1203k|1000.5 | 45M| 43 |1813 |6416 |6427 |6416 |6776 | 138k| 15 |1214 | 6.813873e+00 | 1.100000e+01 | 61.44%
623.38/623.60 c 624s| 1300 | 1011 | 1243k| 953.8 | 46M| 43 |2486 |6416 |6427 |6416 |6653 | 142k| 15 |1214 | 6.885624e+00 | 1.100000e+01 | 59.75%
641.47/641.64 c 642s| 1400 | 1065 | 1279k| 911.9 | 47M| 43 |1471 |6416 |6427 |6416 |6584 | 145k| 15 |1214 | 6.999376e+00 | 1.100000e+01 | 57.16%
658.57/658.78 c 659s| 1500 | 1115 | 1313k| 873.5 | 48M| 43 |1408 |6416 |6426 |6416 |6627 | 149k| 15 |1214 | 7.031509e+00 | 1.100000e+01 | 56.44%
674.07/674.23 c 674s| 1600 | 1155 | 1344k| 838.3 | 49M| 43 | - |6416 |6425 |6416 |6013 | 152k| 15 |1214 | 7.046183e+00 | 1.100000e+01 | 56.11%
691.17/691.39 c 691s| 1700 | 1203 | 1379k| 809.5 | 50M| 43 |1816 |6416 |6424 |6416 |6816 | 156k| 15 |1214 | 7.098461e+00 | 1.100000e+01 | 54.96%
723.16/723.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.16/723.33 c 723s| 1800 | 1291 | 1429k| 792.6 | 51M| 52 |1643 |6416 |6423 |6416 |6301 | 159k| 15 |1248 | 7.206959e+00 | 1.100000e+01 | 52.63%
739.26/739.42 c 739s| 1900 | 1331 | 1457k| 765.5 | 52M| 52 |1614 |6416 |6423 |6416 |5827 | 162k| 15 |1311 | 7.217232e+00 | 1.100000e+01 | 52.41%
753.65/753.87 c 754s| 2000 | 1371 | 1482k| 739.7 | 53M| 52 |1835 |6416 |6423 |6416 |6748 | 164k| 15 |1347 | 7.238843e+00 | 1.100000e+01 | 51.96%
765.65/765.87 c 766s| 2100 | 1405 | 1506k| 715.9 | 54M| 52 | - |6416 |6423 |6416 |6090 | 167k| 15 |1352 | 7.244330e+00 | 1.100000e+01 | 51.84%
778.45/778.69 c 779s| 2200 | 1447 | 1531k| 694.6 | 56M| 52 |2445 |6416 |6423 |6416 |6515 | 169k| 15 |1354 | 7.264926e+00 | 1.100000e+01 | 51.41%
791.95/792.13 c 792s| 2300 | 1489 | 1557k| 675.7 | 57M| 52 | - |6416 |6423 |6416 |6402 | 172k| 15 |1374 | 7.264926e+00 | 1.100000e+01 | 51.41%
807.05/807.27 c 807s| 2400 | 1523 | 1585k| 659.3 | 59M| 52 | - |6416 |6423 |6416 |6613 | 175k| 15 |1410 | 7.269163e+00 | 1.100000e+01 | 51.32%
823.84/824.06 c 824s| 2500 | 1571 | 1611k| 643.3 | 60M| 55 | - |6416 |6423 |6416 |6777 | 177k| 15 |1461 | 7.280293e+00 | 1.100000e+01 | 51.09%
842.24/842.47 c 842s| 2600 | 1625 | 1644k| 631.1 | 61M| 55 |1706 |6416 |6423 |6416 |6838 | 179k| 15 |1495 | 7.291077e+00 | 1.100000e+01 | 50.87%
857.94/858.20 c 858s| 2700 | 1669 | 1674k| 618.8 | 62M| 57 |2237 |6416 |6423 |6416 |6478 | 181k| 15 |1504 | 7.308386e+00 | 1.100000e+01 | 50.51%
872.34/872.57 c 873s| 2800 | 1717 | 1702k| 606.9 | 63M| 57 |1551 |6416 |6423 |6416 |6325 | 183k| 15 |1505 | 7.313377e+00 | 1.100000e+01 | 50.41%
887.63/887.88 c 888s| 2900 | 1763 | 1730k| 595.4 | 64M| 57 |2053 |6416 |6423 |6416 |6824 | 186k| 15 |1530 | 7.313535e+00 | 1.100000e+01 | 50.41%
899.64/899.89 c 900s| 3000 | 1795 | 1749k| 582.1 | 65M| 58 | - |6416 |6423 |6416 |5691 | 187k| 15 |1554 | 7.321457e+00 | 1.100000e+01 | 50.24%
911.33/911.50 c 912s| 3100 | 1819 | 1768k| 569.4 | 66M| 58 |2350 |6416 |6423 |6416 |6773 | 189k| 15 |1592 | 7.321457e+00 | 1.100000e+01 | 50.24%
924.73/924.99 c 925s| 3200 | 1859 | 1789k| 558.2 | 66M| 58 |2141 |6416 |6423 |6416 |6793 | 190k| 15 |1628 | 7.327277e+00 | 1.100000e+01 | 50.12%
935.53/935.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.53/935.77 c 936s| 3300 | 1889 | 1805k| 546.0 | 67M| 66 | - |6416 |6423 |6416 |6655 | 191k| 15 |1655 | 7.328389e+00 | 1.100000e+01 | 50.10%
946.83/947.10 c 947s| 3400 | 1917 | 1827k| 536.4 | 68M| 66 | - |6416 |6423 |6416 |6727 | 192k| 15 |1665 | 7.330886e+00 | 1.100000e+01 | 50.05%
957.42/957.64 c 958s| 3500 | 1953 | 1847k| 526.9 | 69M| 66 |1968 |6416 |6423 |6416 |6548 | 194k| 15 |1666 | 7.338815e+00 | 1.100000e+01 | 49.89%
968.42/968.62 c 969s| 3600 | 1979 | 1872k| 519.1 | 69M| 66 | - |6416 |6423 |6416 |6272 | 195k| 15 |1668 | 7.343618e+00 | 1.100000e+01 | 49.79%
977.22/977.48 c 977s| 3700 | 2001 | 1888k| 509.4 | 70M| 66 | - |6416 |6423 |6416 |5565 | 197k| 15 |1668 | 7.353078e+00 | 1.100000e+01 | 49.60%
988.92/989.19 c 989s| 3800 | 2027 | 1907k| 501.1 | 71M| 66 |1464 |6416 |6423 |6416 |6678 | 198k| 15 |1696 | 7.359792e+00 | 1.100000e+01 | 49.46%
1000.51/1000.77 c 1001s| 3900 | 2053 | 1924k| 492.7 | 72M| 66 |2626 |6416 |6423 |6416 |6773 | 199k| 15 |1727 | 7.359792e+00 | 1.100000e+01 | 49.46%
1010.51/1010.75 c 1011s| 4000 | 2075 | 1941k| 484.5 | 72M| 66 |1412 |6416 |6423 |6416 |6621 | 200k| 15 |1739 | 7.359792e+00 | 1.100000e+01 | 49.46%
1020.01/1020.27 c 1020s| 4100 | 2091 | 1956k| 476.4 | 73M| 66 |1413 |6416 |6423 |6416 |5819 | 201k| 15 |1773 | 7.359792e+00 | 1.100000e+01 | 49.46%
1031.21/1031.48 c 1031s| 4200 | 2117 | 1974k| 469.3 | 74M| 66 | - |6416 |6423 |6416 |6816 | 202k| 15 |1808 | 7.360713e+00 | 1.100000e+01 | 49.44%
1040.31/1040.57 c 1041s| 4300 | 2133 | 1989k| 461.8 | 75M| 66 |2375 |6416 |6423 |6416 |6727 | 203k| 15 |1832 | 7.360713e+00 | 1.100000e+01 | 49.44%
1051.80/1052.10 c 1052s| 4400 | 2167 | 2010k| 456.2 | 76M| 66 | 865 |6416 |6423 |6416 |6118 | 205k| 15 |1842 | 7.372747e+00 | 1.100000e+01 | 49.20%
1058.80/1059.01 c 1059s| 4500 | 2179 | 2024k| 449.0 | 76M| 66 |2648 |6416 |6423 |6416 |6741 | 206k| 15 |1842 | 7.372747e+00 | 1.100000e+01 | 49.20%
1067.70/1067.97 c 1068s| 4600 | 2205 | 2040k| 442.7 | 77M| 66 |1789 |6416 |6423 |6416 |6811 | 206k| 15 |1842 | 7.373793e+00 | 1.100000e+01 | 49.18%
1076.40/1076.62 c 1077s| 4700 | 2223 | 2056k| 436.7 | 77M| 66 | - |6416 |6423 |6416 |6776 | 208k| 15 |1843 | 7.380693e+00 | 1.100000e+01 | 49.04%
1084.60/1084.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.60/1084.84 c 1085s| 4800 | 2243 | 2071k| 430.9 | 78M| 66 | - |6416 |6423 |6416 |6827 | 209k| 15 |1843 | 7.380693e+00 | 1.100000e+01 | 49.04%
1095.00/1095.24 c 1095s| 4900 | 2265 | 2090k| 425.9 | 79M| 66 |1542 |6416 |6423 |6416 |6548 | 210k| 15 |1861 | 7.382192e+00 | 1.100000e+01 | 49.01%
1106.10/1106.30 c 1106s| 5000 | 2289 | 2108k| 421.0 | 80M| 66 |2047 |6416 |6423 |6416 |6826 | 211k| 15 |1886 | 7.382192e+00 | 1.100000e+01 | 49.01%
1117.10/1117.35 c 1117s| 5100 | 2317 | 2127k| 416.4 | 80M| 67 |1536 |6416 |6423 |6416 |6751 | 212k| 15 |1907 | 7.389175e+00 | 1.100000e+01 | 48.87%
1126.29/1126.52 c 1127s| 5200 | 2333 | 2142k| 411.3 | 81M| 67 | - |6416 |6423 |6416 |6114 | 213k| 15 |1936 | 7.389175e+00 | 1.100000e+01 | 48.87%
1136.49/1136.73 c 1137s| 5300 | 2355 | 2158k| 406.7 | 82M| 67 |2088 |6416 |6423 |6416 |6795 | 214k| 15 |1961 | 7.391198e+00 | 1.100000e+01 | 48.83%
1146.99/1147.30 c 1147s| 5400 | 2377 | 2179k| 402.9 | 83M| 67 | - |6416 |6423 |6416 |6571 | 215k| 15 |1985 | 7.391198e+00 | 1.100000e+01 | 48.83%
1158.18/1158.49 c 1158s| 5500 | 2407 | 2204k| 400.2 | 83M| 67 | - |6416 |6423 |6416 |6593 | 217k| 15 |1997 | 7.391198e+00 | 1.100000e+01 | 48.83%
1166.98/1167.23 c 1167s| 5600 | 2429 | 2223k| 396.4 | 84M| 67 | - |6416 |6423 |6416 |6828 | 218k| 15 |2004 | 7.391198e+00 | 1.100000e+01 | 48.83%
1176.28/1176.57 c 1177s| 5700 | 2455 | 2241k| 392.6 | 85M| 67 | - |6416 |6423 |6416 |6706 | 219k| 15 |2005 | 7.395374e+00 | 1.100000e+01 | 48.74%
1187.88/1188.18 c 1188s| 5800 | 2491 | 2265k| 389.9 | 86M| 67 | - |6416 |6423 |6416 |6707 | 220k| 15 |2005 | 7.399801e+00 | 1.100000e+01 | 48.65%
1196.68/1196.94 c 1197s| 5900 | 2517 | 2282k| 386.3 | 87M| 67 | - |6416 |6423 |6416 |6695 | 221k| 15 |2005 | 7.406942e+00 | 1.100000e+01 | 48.51%
1206.88/1207.19 c 1207s| 6000 | 2543 | 2299k| 382.7 | 88M| 67 | - |6416 |6423 |6416 |6727 | 222k| 15 |2031 | 7.408929e+00 | 1.100000e+01 | 48.47%
1216.18/1216.44 c 1216s| 6100 | 2565 | 2315k| 379.0 | 88M| 67 |2737 |6416 |6423 |6416 |6746 | 223k| 15 |2051 | 7.414234e+00 | 1.100000e+01 | 48.36%
1228.57/1228.88 c 1229s| 6200 | 2595 | 2336k| 376.2 | 89M| 67 |1833 |6416 |6423 |6416 |6791 | 224k| 15 |2072 | 7.415498e+00 | 1.100000e+01 | 48.34%
1240.68/1241.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.68/1241.00 c 1241s| 6300 | 2621 | 2355k| 373.4 | 90M| 67 | - |6416 |6423 |6416 |6697 | 225k| 15 |2107 | 7.428222e+00 | 1.100000e+01 | 48.08%
1249.47/1249.75 c 1250s| 6400 | 2643 | 2371k| 369.9 | 91M| 67 |1857 |6416 |6423 |6416 |6781 | 226k| 15 |2122 | 7.428222e+00 | 1.100000e+01 | 48.08%
1263.37/1263.68 c 1264s| 6500 | 2677 | 2396k| 368.1 | 92M| 67 |1760 |6416 |6423 |6416 |6681 | 228k| 15 |2164 | 7.431998e+00 | 1.100000e+01 | 48.01%
1274.16/1274.41 c 1274s| 6600 | 2705 | 2412k| 364.9 | 93M| 67 |2211 |6416 |6423 |6416 |6811 | 229k| 15 |2191 | 7.431998e+00 | 1.100000e+01 | 48.01%
1282.37/1282.65 c 1283s| 6700 | 2723 | 2425k| 361.4 | 93M| 67 |1628 |6416 |6423 |6416 |6815 | 229k| 15 |2204 | 7.431998e+00 | 1.100000e+01 | 48.01%
1292.26/1292.54 c 1293s| 6800 | 2741 | 2445k| 359.1 | 94M| 67 | - |6416 |6423 |6416 |6817 | 231k| 15 |2213 | 7.431998e+00 | 1.100000e+01 | 48.01%
1300.06/1300.33 c 1300s| 6900 | 2765 | 2459k| 355.9 | 95M| 67 |1931 |6416 |6423 |6416 |6813 | 231k| 15 |2214 | 7.437198e+00 | 1.100000e+01 | 47.91%
1306.85/1307.11 c 1307s| 7000 | 2781 | 2472k| 352.7 | 95M| 68 |2094 |6416 |6423 |6416 |6814 | 232k| 15 |2214 | 7.437198e+00 | 1.100000e+01 | 47.91%
1315.96/1316.21 c 1316s| 7100 | 2799 | 2491k| 350.5 | 96M| 68 |1904 |6416 |6423 |6416 |6255 | 234k| 15 |2215 | 7.438527e+00 | 1.100000e+01 | 47.88%
1323.35/1323.66 c 1324s| 7200 | 2817 | 2506k| 347.6 | 97M| 68 | - |6416 |6423 |6416 |6691 | 235k| 15 |2215 | 7.438527e+00 | 1.100000e+01 | 47.88%
1330.45/1330.72 c 1331s| 7300 | 2835 | 2519k| 344.6 | 97M| 68 |1722 |6416 |6423 |6416 |6822 | 235k| 15 |2215 | 7.439078e+00 | 1.100000e+01 | 47.87%
1338.56/1338.86 c 1339s| 7400 | 2851 | 2532k| 341.7 | 98M| 68 |2367 |6416 |6423 |6416 |6801 | 236k| 15 |2237 | 7.439078e+00 | 1.100000e+01 | 47.87%
1345.76/1346.08 c 1346s| 7500 | 2867 | 2547k| 339.1 | 99M| 68 |1057 |6416 |6423 |6416 |5704 | 237k| 15 |2237 | 7.439078e+00 | 1.100000e+01 | 47.87%
1355.16/1355.46 c 1355s| 7600 | 2879 | 2562k| 336.7 | 99M| 68 | - |6416 |6423 |6416 |6809 | 238k| 15 |2258 | 7.439078e+00 | 1.100000e+01 | 47.87%
1365.55/1365.88 c 1366s| 7700 | 2901 | 2582k| 334.9 | 100M| 68 | - |6416 |6423 |6416 |6599 | 239k| 15 |2275 | 7.439604e+00 | 1.100000e+01 | 47.86%
1374.25/1374.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.25/1374.52 c 1375s| 7800 | 2923 | 2597k| 332.5 | 101M| 68 | - |6416 |6423 |6416 |6797 | 240k| 15 |2290 | 7.439604e+00 | 1.100000e+01 | 47.86%
1383.55/1383.85 c 1384s| 7900 | 2941 | 2612k| 330.2 | 102M| 68 | - |6416 |6423 |6416 |6539 | 241k| 15 |2310 | 7.440434e+00 | 1.100000e+01 | 47.84%
1392.74/1393.09 c 1393s| 8000 | 2959 | 2627k| 328.0 | 102M| 68 |1804 |6416 |6423 |6416 |6558 | 241k| 15 |2329 | 7.451605e+00 | 1.100000e+01 | 47.62%
1402.25/1402.59 c 1403s| 8100 | 2975 | 2643k| 325.9 | 103M| 68 | - |6416 |6423 |6416 |6583 | 242k| 15 |2350 | 7.457764e+00 | 1.100000e+01 | 47.50%
1410.04/1410.38 c 1410s| 8200 | 2991 | 2654k| 323.3 | 104M| 68 | - |6416 |6423 |6416 |6765 | 243k| 15 |2369 | 7.457764e+00 | 1.100000e+01 | 47.50%
1418.24/1418.51 c 1419s| 8300 | 3007 | 2669k| 321.2 | 104M| 68 | - |6416 |6423 |6416 |6816 | 244k| 15 |2377 | 7.457922e+00 | 1.100000e+01 | 47.49%
1426.84/1427.15 c 1427s| 8400 | 3027 | 2687k| 319.4 | 105M| 68 | - |6416 |6423 |6416 |6761 | 244k| 15 |2378 | 7.459164e+00 | 1.100000e+01 | 47.47%
1435.84/1436.15 c 1436s| 8500 | 3045 | 2705k| 317.8 | 106M| 68 |2210 |6416 |6422 |6416 |6766 | 246k| 15 |2378 | 7.468206e+00 | 1.100000e+01 | 47.29%
1445.44/1445.72 c 1446s| 8600 | 3071 | 2724k| 316.4 | 106M| 68 |1836 |6416 |6422 |6416 |6791 | 246k| 15 |2378 | 7.470911e+00 | 1.100000e+01 | 47.24%
1453.44/1453.72 c 1454s| 8700 | 3089 | 2739k| 314.5 | 107M| 68 |1863 |6416 |6422 |6416 |6598 | 247k| 15 |2378 | 7.470911e+00 | 1.100000e+01 | 47.24%
1462.13/1462.48 c 1462s| 8800 | 3109 | 2758k| 313.1 | 108M| 68 |2144 |6416 |6422 |6416 |6485 | 249k| 15 |2379 | 7.471723e+00 | 1.100000e+01 | 47.22%
1470.03/1470.31 c 1470s| 8900 | 3121 | 2772k| 311.1 | 108M| 68 | - |6416 |6422 |6416 |6828 | 249k| 15 |2394 | 7.471723e+00 | 1.100000e+01 | 47.22%
1479.73/1480.01 c 1480s| 9000 | 3143 | 2789k| 309.5 | 109M| 68 | - |6416 |6422 |6416 |6827 | 250k| 15 |2404 | 7.476718e+00 | 1.100000e+01 | 47.12%
1486.73/1487.00 c 1487s| 9100 | 3157 | 2801k| 307.4 | 109M| 68 |1825 |6416 |6422 |6416 |6820 | 251k| 15 |2417 | 7.476718e+00 | 1.100000e+01 | 47.12%
1495.23/1495.58 c 1496s| 9200 | 3171 | 2813k| 305.4 | 110M| 75 |2982 |6416 |6421 |6416 |6693 | 251k| 15 |2441 | 7.484060e+00 | 1.100000e+01 | 46.98%
1505.23/1505.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.23/1505.53 c 1506s| 9300 | 3193 | 2830k| 303.9 | 110M| 75 |1698 |6416 |6421 |6416 |6718 | 252k| 15 |2452 | 7.498704e+00 | 1.100000e+01 | 46.69%
1513.72/1514.07 c 1514s| 9400 | 3207 | 2845k| 302.3 | 111M| 75 |2247 |6416 |6421 |6416 |6793 | 253k| 15 |2466 | 7.502202e+00 | 1.100000e+01 | 46.62%
1523.43/1523.77 c 1524s| 9500 | 3223 | 2862k| 300.9 | 111M| 75 | - |6416 |6421 |6416 |6790 | 254k| 15 |2486 | 7.503879e+00 | 1.100000e+01 | 46.59%
1534.42/1534.70 c 1535s| 9600 | 3239 | 2882k| 299.9 | 112M| 75 |2346 |6416 |6421 |6416 |6723 | 255k| 15 |2505 | 7.505544e+00 | 1.100000e+01 | 46.56%
1541.73/1542.05 c 1542s| 9700 | 3253 | 2894k| 298.1 | 112M| 75 |2091 |6416 |6421 |6416 |6802 | 255k| 15 |2520 | 7.507146e+00 | 1.100000e+01 | 46.53%
1550.52/1550.81 c 1551s| 9800 | 3277 | 2908k| 296.4 | 113M| 75 | - |6416 |6421 |6416 |6808 | 256k| 15 |2535 | 7.509362e+00 | 1.100000e+01 | 46.48%
1558.82/1559.11 c 1559s| 9900 | 3291 | 2923k| 294.9 | 113M| 75 | - |6416 |6421 |6416 |6812 | 257k| 15 |2543 | 7.513235e+00 | 1.100000e+01 | 46.41%
1567.82/1568.12 c 1568s| 10000 | 3319 | 2939k| 293.5 | 114M| 75 | - |6416 |6421 |6416 |6781 | 258k| 15 |2544 | 7.513235e+00 | 1.100000e+01 | 46.41%
1575.71/1576.03 c 1576s| 10100 | 3343 | 2953k| 292.1 | 114M| 75 |1761 |6416 |6421 |6416 |6762 | 259k| 15 |2544 | 7.513235e+00 | 1.100000e+01 | 46.41%
1582.62/1582.91 c 1583s| 10200 | 3361 | 2965k| 290.4 | 115M| 75 |1902 |6416 |6421 |6416 |6805 | 259k| 15 |2544 | 7.514226e+00 | 1.100000e+01 | 46.39%
1590.11/1590.43 c 1590s| 10300 | 3375 | 2979k| 288.9 | 115M| 75 | - |6416 |6421 |6416 |6778 | 260k| 15 |2544 | 7.520429e+00 | 1.100000e+01 | 46.27%
1598.51/1598.85 c 1599s| 10400 | 3397 | 2994k| 287.6 | 116M| 75 |2037 |6416 |6421 |6416 |6790 | 260k| 15 |2544 | 7.529485e+00 | 1.100000e+01 | 46.09%
1604.40/1604.80 c 1605s| 10500 | 3409 | 3004k| 285.8 | 116M| 75 |1880 |6416 |6421 |6416 |6798 | 261k| 15 |2544 | 7.531269e+00 | 1.100000e+01 | 46.06%
1609.91/1610.20 c 1610s| 10600 | 3417 | 3013k| 283.9 | 117M| 75 | - |6416 |6421 |6416 |6816 | 261k| 15 |2544 | 7.533073e+00 | 1.100000e+01 | 46.02%
1617.10/1617.45 c 1617s| 10700 | 3433 | 3027k| 282.6 | 117M| 75 | - |6416 |6421 |6416 |6800 | 262k| 15 |2544 | 7.542950e+00 | 1.100000e+01 | 45.83%
1627.50/1627.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.50/1627.89 c 1628s| 10800 | 3451 | 3045k| 281.7 | 118M| 75 | - |6416 |6421 |6416 |6760 | 263k| 15 |2562 | 7.550953e+00 | 1.100000e+01 | 45.68%
1635.20/1635.55 c 1636s| 10900 | 3463 | 3056k| 280.1 | 118M| 75 |1778 |6416 |6421 |6416 |6728 | 264k| 15 |2584 | 7.554223e+00 | 1.100000e+01 | 45.61%
1642.90/1643.25 c 1643s| 11000 | 3473 | 3068k| 278.7 | 119M| 75 | - |6416 |6421 |6416 |6802 | 264k| 15 |2601 | 7.559419e+00 | 1.100000e+01 | 45.51%
1648.90/1649.21 c 1649s| 11100 | 3485 | 3080k| 277.2 | 119M| 75 |1745 |6416 |6421 |6416 |6809 | 265k| 15 |2601 | 7.559419e+00 | 1.100000e+01 | 45.51%
1658.50/1658.89 c 1659s| 11200 | 3499 | 3098k| 276.3 | 119M| 75 | - |6416 |6421 |6416 |6780 | 266k| 15 |2622 | 7.559835e+00 | 1.100000e+01 | 45.51%
1668.50/1668.89 c 1669s| 11300 | 3515 | 3113k| 275.2 | 120M| 75 |2452 |6416 |6421 |6416 |6031 | 266k| 15 |2649 | 7.562166e+00 | 1.100000e+01 | 45.46%
1677.79/1678.19 c 1678s| 11400 | 3533 | 3129k| 274.2 | 120M| 75 | - |6416 |6421 |6416 |6798 | 267k| 15 |2675 | 7.565073e+00 | 1.100000e+01 | 45.41%
1685.30/1685.61 c 1686s| 11500 | 3545 | 3140k| 272.8 | 121M| 75 | - |6416 |6421 |6416 |6806 | 268k| 15 |2686 | 7.574296e+00 | 1.100000e+01 | 45.23%
1692.29/1692.66 c 1693s| 11600 | 3563 | 3151k| 271.3 | 121M| 77 |1829 |6416 |6421 |6416 |6740 | 268k| 15 |2702 | 7.574296e+00 | 1.100000e+01 | 45.23%
1699.90/1700.23 c 1700s| 11700 | 3579 | 3166k| 270.3 | 122M| 77 |2228 |6416 |6421 |6416 |6717 | 269k| 15 |2712 | 7.574633e+00 | 1.100000e+01 | 45.22%
1707.39/1707.71 c 1708s| 11800 | 3593 | 3180k| 269.2 | 122M| 77 | - |6416 |6421 |6416 |6743 | 270k| 15 |2715 | 7.574633e+00 | 1.100000e+01 | 45.22%
1714.89/1715.27 c 1715s| 11900 | 3609 | 3197k| 268.4 | 123M| 77 | - |6416 |6421 |6416 |6621 | 270k| 15 |2716 | 7.574957e+00 | 1.100000e+01 | 45.22%
1722.09/1722.47 c 1722s| 12000 | 3627 | 3211k| 267.3 | 124M| 77 |1870 |6416 |6421 |6416 |6805 | 271k| 15 |2717 | 7.577495e+00 | 1.100000e+01 | 45.17%
1729.38/1729.77 c 1730s| 12100 | 3637 | 3226k| 266.4 | 124M| 77 | - |6416 |6421 |6416 |6816 | 272k| 15 |2717 | 7.577495e+00 | 1.100000e+01 | 45.17%
1735.19/1735.50 c 1736s| 12200 | 3647 | 3237k| 265.0 | 125M| 77 |2023 |6416 |6421 |6416 |6768 | 272k| 15 |2717 | 7.577548e+00 | 1.100000e+01 | 45.17%
1743.28/1743.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.28/1743.65 c 1744s| 12300 | 3663 | 3251k| 264.1 | 125M| 77 | - |6416 |6421 |6416 |6838 | 273k| 15 |2717 | 7.578987e+00 | 1.100000e+01 | 45.14%
1748.79/1749.17 c 1749s| 12400 | 3671 | 3261k| 262.7 | 125M| 77 | - |6416 |6421 |6416 |6833 | 274k| 15 |2717 | 7.578987e+00 | 1.100000e+01 | 45.14%
1756.28/1756.70 c 1757s| 12500 | 3681 | 3278k| 262.0 | 126M| 77 | - |6416 |6421 |6416 |6840 | 274k| 15 |2718 | 7.578987e+00 | 1.100000e+01 | 45.14%
1763.99/1764.40 c 1764s| 12600 | 3699 | 3290k| 260.8 | 126M| 77 |1684 |6416 |6421 |6416 |6727 | 275k| 15 |2735 | 7.583511e+00 | 1.100000e+01 | 45.05%
1770.28/1770.62 c 1771s| 12700 | 3709 | 3299k| 259.5 | 127M| 77 |2102 |6416 |6421 |6416 |6806 | 275k| 15 |2749 | 7.586608e+00 | 1.100000e+01 | 44.99%
1779.17/1779.51 c 1780s| 12800 | 3725 | 3315k| 258.7 | 127M| 77 | - |6416 |6421 |6416 |6776 | 276k| 15 |2759 | 7.591305e+00 | 1.100000e+01 | 44.90%
1788.07/1788.50 c 1788s| 12900 | 3743 | 3329k| 257.8 | 128M| 77 |1533 |6416 |6421 |6416 |6303 | 277k| 15 |2781 | 7.593122e+00 | 1.100000e+01 | 44.87%
1795.77/1796.14 c 1796s| 13000 | 3751 | 3342k| 256.8 | 128M| 77 |1904 |6416 |6421 |6416 |6701 | 277k| 15 |2797 | 7.593189e+00 | 1.100000e+01 | 44.87%
1796.67/1797.00 c
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Solving Time (sec) : 1797.00
1796.67/1797.00 c Solving Nodes : 13008
1796.67/1797.00 c Primal Bound : +1.10000000000000e+01 (6 solutions)
1796.67/1797.00 c Dual Bound : +7.59318933259110e+00
1796.67/1797.00 c Gap : 44.87 %
1796.67/1797.00 s SATISFIABLE
1796.67/1797.00 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1796.67/1797.00 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1796.67/1797.00 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1796.67/1797.00 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1796.67/1797.00 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1796.67/1797.00 v -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1796.67/1797.00 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 x49 -x48 -x47 -x46 -x45
1796.67/1797.00 v -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19
1796.67/1797.00 v -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 x10 x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Total Time : 1797.00
1796.67/1797.00 c solving : 1797.00
1796.67/1797.00 c presolving : 0.29 (included in solving)
1796.67/1797.00 c reading : 0.01 (included in solving)
1796.67/1797.00 c copying : 0.18 (10 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.67/1797.00 c Original Problem :
1796.67/1797.00 c Problem name : HOME/instance-3691449-1338020822.opb
1796.67/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 200 initial, 200 maximal
1796.67/1797.00 c Objective sense : minimize
1796.67/1797.00 c Presolved Problem :
1796.67/1797.00 c Problem name : t_HOME/instance-3691449-1338020822.opb
1796.67/1797.00 c Variables : 6416 (6416 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 6416 initial, 6429 maximal
1796.67/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c and : 0.22 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c linear : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c root node : - - 0 - - 0 - - - - -
1796.67/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c integral : 0 0 0 0 8636 0 228 0 6 388 0 0 16968
1796.67/1797.00 c and : 6216 6216 29068 80264 0 1 223 435 6 4115099 319913 0 0
1796.67/1797.00 c logicor : 200+ 213 6 27380 0 1 6 6 5 0 0 0 0
1796.67/1797.00 c countsols : 0 0 0 0 0 1 9 0 0 0 0 0 0
1796.67/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.67/1797.00 c integral : 160.84 0.00 0.00 0.00 160.83 0.00 0.00 0.00
1796.67/1797.00 c and : 106.62 0.00 89.53 17.06 0.00 0.00 0.03 0.00
1796.67/1797.00 c logicor : 0.46 0.00 0.00 0.46 0.00 0.00 0.00 0.00
1796.67/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.67/1797.00 c rootredcost : 4 0 0 0
1796.67/1797.00 c pseudoobj : 88803 100 2 0
1796.67/1797.00 c vbounds : 0 0 0 0
1796.67/1797.00 c redcost : 38181 0 0 76566
1796.67/1797.00 c probing : 0 0 0 0
1796.67/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.67/1797.00 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.67/1797.00 c pseudoobj : 0.21 0.01 0.00 0.20 0.01
1796.67/1797.00 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.67/1797.00 c redcost : 3.25 0.00 0.00 3.25 0.00
1796.67/1797.00 c probing : 0.03 0.00 0.03 0.00 0.00
1796.67/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.00 c propagation : 0.01 13 13 15 27.3 0 0.0 -
1796.67/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.00 c applied globally : - - - 15 27.3 - - -
1796.67/1797.00 c applied locally : - - - 0 0.0 - - -
1796.67/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.67/1797.00 c cut pool : 0.00 5 - - 0 - (maximal pool size: 2417)
1796.67/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c impliedbounds : 0.01 0.00 6 0 0 2400 0
1796.67/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c gomory : 0.04 0.00 6 0 0 300 0
1796.67/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c strongcg : 0.34 0.00 6 0 0 3000 0
1796.67/1797.00 c cmir : 1.65 0.00 6 0 0 2400 0
1796.67/1797.00 c flowcover : 0.43 0.00 6 0 0 0 0
1796.67/1797.00 c clique : 0.14 0.00 6 0 0 17 0
1796.67/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.67/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c rapidlearning : 0.28 0.00 1 0 0 0 0
1796.67/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.67/1797.00 c problem variables: 0.00 - 0 0
1796.67/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c relpscost : 160.81 0.00 8628 6 388 0 0 16952
1796.67/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c inference : 0.00 0.00 9 0 0 0 0 18
1796.67/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.67/1797.00 c LP solutions : 0.00 - - 0
1796.67/1797.00 c pseudo solutions : 0.00 - - 0
1796.67/1797.00 c feaspump : 0.00 0.00 0 0
1796.67/1797.00 c intshifting : 0.00 0.00 0 0
1796.67/1797.00 c oneopt : 0.03 0.00 5 0
1796.67/1797.00 c objpscostdiving : 28.61 0.00 5 0
1796.67/1797.00 c crossover : 0.93 0.00 5 0
1796.67/1797.00 c rootsoldiving : 8.90 0.00 19 0
1796.67/1797.00 c guideddiving : 44.73 0.00 41 0
1796.67/1797.00 c veclendiving : 15.40 0.00 42 0
1796.67/1797.00 c pscostdiving : 37.73 0.00 42 0
1796.67/1797.00 c linesearchdiving : 41.93 0.00 42 0
1796.67/1797.00 c fracdiving : 66.65 0.00 48 1
1796.67/1797.00 c coefdiving : 34.68 0.00 49 2
1796.67/1797.00 c smallcard : 0.00 0.00 0 0
1796.67/1797.00 c trivial : 0.00 0.00 2 1
1796.67/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.67/1797.00 c simplerounding : 0.03 0.00 0 0
1796.67/1797.00 c zirounding : 0.97 0.00 1000 0
1796.67/1797.00 c rounding : 3.38 0.00 2439 0
1796.67/1797.00 c shifting : 4.95 0.00 2920 2
1796.67/1797.00 c twoopt : 0.00 0.00 0 0
1796.67/1797.00 c indoneopt : 0.03 0.00 0 0
1796.67/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.67/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.67/1797.00 c clique : 0.00 0.00 0 0
1796.67/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.67/1797.00 c indrounding : 0.00 0.00 0 0
1796.67/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.67/1797.00 c intdiving : 0.00 0.00 0 0
1796.67/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.67/1797.00 c octane : 0.00 0.00 0 0
1796.67/1797.00 c rens : 0.08 0.00 1 0
1796.67/1797.00 c rins : 0.00 0.00 0 0
1796.67/1797.00 c localbranching : 0.00 0.00 0 0
1796.67/1797.00 c mutation : 0.00 0.00 0 0
1796.67/1797.00 c dins : 0.00 0.00 0 0
1796.67/1797.00 c vbounds : 0.00 0.00 0 0
1796.67/1797.00 c undercover : 0.13 0.00 1 0
1796.67/1797.00 c subnlp : 0.01 0.00 0 0
1796.67/1797.00 c trysol : 0.02 0.00 0 0
1796.67/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.67/1797.00 c primal LP : 21.10 3905 0 0.00 0.00 21.10 3905
1796.67/1797.00 c dual LP : 1126.45 42723 2807574 76.17 2492.42 11.69 5865
1796.67/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.67/1797.00 c diving/probing LP: 222.55 25228 537119 21.29 2413.45
1796.67/1797.00 c strong branching : 160.27 2797 428858 153.33 2675.82
1796.67/1797.00 c (at root node) : - 0 0 0.00 -
1796.67/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.00 c B&B Tree :
1796.67/1797.00 c number of runs : 1
1796.67/1797.00 c nodes : 13008
1796.67/1797.00 c nodes (total) : 13008
1796.67/1797.00 c nodes left : 3753
1796.67/1797.00 c max depth : 77
1796.67/1797.00 c max depth (total): 77
1796.67/1797.00 c backtracks : 1626 (12.5%)
1796.67/1797.00 c delayed cutoffs : 0
1796.67/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.67/1797.00 c avg switch length: 5.05
1796.67/1797.00 c switching time : 29.57
1796.67/1797.00 c Solution :
1796.67/1797.00 c Solutions found : 6 (6 improvements)
1796.67/1797.00 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1796.67/1797.00 c Primal Bound : +1.10000000000000e+01 (in run 1, after 1131 nodes, 591.94 seconds, depth 57, found by <coefdiving>)
1796.67/1797.00 c Dual Bound : +7.59318933259110e+00
1796.67/1797.00 c Gap : 44.87 %
1796.67/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.67/1797.00 c Root Iterations : 4003
1796.77/1797.11 c Time complete: 1796.78.
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-3691449-1338020822/watcher-3691449-1338020822 -o /tmp/evaluation-result-3691449-1338020822/solver-3691449-1338020822 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691449-1338020822.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.06 2.03 1.95 3/177 29540
/proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=10280 CPUtime=0 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 1336 0 0 0 0 0 0 0 20 0 1 0 268210727 10526720 1290 33554432000 4194304 10173063 140735103315696 140733858880408 7171394 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 2570 1290 417 1460 0 1101 0
[startup+0.0130601 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29540
/proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=16592 CPUtime=0 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 2474 0 0 0 0 0 0 0 20 0 1 0 268210727 16990208 2429 33554432000 4194304 10173063 140735103315696 140733858880408 8846909 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 4148 2442 508 1460 0 2679 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16592
[startup+0.100236 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29540
/proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=40076 CPUtime=0.09 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 8437 0 0 0 8 1 0 0 20 0 1 0 268210727 41037824 8391 33554432000 4194304 10173063 140735103315696 140733858880408 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 10019 8391 550 1460 0 8550 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40076
[startup+0.300289 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29540
/proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=49268 CPUtime=0.29 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 11144 0 0 0 23 6 0 0 20 0 1 0 268210727 50450432 10841 33554432000 4194304 10173063 140735103315696 140733858880408 5929904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 12317 10841 597 1460 0 10848 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49268
[startup+0.700311 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29540
/proc/meminfo: memFree=29156276/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=79232 CPUtime=0.69 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 27005 0 0 0 60 9 0 0 20 0 1 0 268210727 81133568 18510 33554432000 4194304 10173063 140735103315696 140735103311624 5099032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 19808 18510 803 1460 0 18339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79232
[startup+1.50031 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29541
/proc/meminfo: memFree=29084960/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=1.48 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 38589 0 0 0 134 14 0 0 20 0 1 0 268210727 104062976 24205 33554432000 4194304 10173063 140735103315696 140735103310584 7269800 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24205 831 1460 0 23937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 101624
[startup+3.10028 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29541
/proc/meminfo: memFree=29062516/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=3.08 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 38620 0 0 0 293 15 0 0 20 0 1 0 268210727 104062976 24236 33554432000 4194304 10173063 140735103315696 140735103311080 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24236 831 1460 0 23937 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 101624
[startup+6.30033 s]
/proc/loadavg: 2.06 2.03 1.95 3/177 29541
/proc/meminfo: memFree=29061772/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=6.29 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41745 0 0 0 610 19 0 0 20 0 1 0 268210727 104062976 24339 33554432000 4194304 10173063 140735103315696 140735103309560 8047338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24339 838 1460 0 23937 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101624
[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 1.95 3/177 29541
/proc/meminfo: memFree=29061144/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=12.69 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41745 0 0 0 1247 22 0 0 20 0 1 0 268210727 104062976 24339 33554432000 4194304 10173063 140735103315696 140735103309240 7910648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24339 838 1460 0 23937 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101624
[startup+25.5002 s]
/proc/loadavg: 2.11 2.04 1.95 3/177 29541
/proc/meminfo: memFree=29061268/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=25.49 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41750 0 0 0 2519 30 0 0 20 0 1 0 268210727 104062976 24344 33554432000 4194304 10173063 140735103315696 140735103309720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24344 841 1460 0 23937 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101624
[startup+51.1003 s]
/proc/loadavg: 2.07 2.04 1.95 3/177 29541
/proc/meminfo: memFree=29058128/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=51.08 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41753 0 0 0 5071 37 0 0 20 0 1 0 268210727 104062976 24347 33554432000 4194304 10173063 140735103315696 140735103309240 5084148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24347 841 1460 0 23937 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 101624
[startup+102.307 s]
/proc/loadavg: 2.03 2.03 1.95 3/177 29541
/proc/meminfo: memFree=29044396/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=101624 CPUtime=102.28 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 41754 0 0 0 10170 58 0 0 20 0 1 0 268210727 104062976 24348 33554432000 4194304 10173063 140735103315696 140735103308280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25406 24348 842 1460 0 23937 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 101624
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 29541
/proc/meminfo: memFree=29042584/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=103448 CPUtime=162.26 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 42128 0 0 0 16151 75 0 0 20 0 1 0 268210727 105930752 24745 33554432000 4194304 10173063 140735103315696 140735103308648 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 25862 24745 842 1460 0 24393 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 103448
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/178 29544
/proc/meminfo: memFree=29039388/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=104744 CPUtime=222.25 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 52411 0 0 0 22128 97 0 0 20 0 1 0 268210727 107257856 25502 33554432000 4194304 10173063 140735103315696 140735103308568 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 26186 25502 849 1460 0 24717 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 104744
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 29545
/proc/meminfo: memFree=29036296/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=107852 CPUtime=282.23 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 53190 0 0 0 28109 114 0 0 20 0 1 0 268210727 110440448 26281 33554432000 4194304 10173063 140735103315696 140735103308456 6126957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 26963 26281 849 1460 0 25494 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 107852
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/177 29545
/proc/meminfo: memFree=29034436/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=109884 CPUtime=342.22 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 53696 0 0 0 34089 133 0 0 20 0 1 0 268210727 112521216 26787 33554432000 4194304 10173063 140735103315696 140735103308872 5084126 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 27471 26787 849 1460 0 26002 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 109884
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 29545
/proc/meminfo: memFree=29033196/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=111116 CPUtime=402.21 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 54015 0 0 0 40069 152 0 0 20 0 1 0 268210727 113782784 27106 33554432000 4194304 10173063 140735103315696 140735103308824 8046716 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 27779 27106 849 1460 0 26310 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 111116
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 29545
/proc/meminfo: memFree=29029776/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=114348 CPUtime=462.2 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 57506 0 0 0 46047 173 0 0 20 0 1 0 268210727 117092352 27903 33554432000 4194304 10173063 140735103315696 140735103309336 5122160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 28587 27903 849 1460 0 27118 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 114348
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 29545
/proc/meminfo: memFree=29029404/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=115152 CPUtime=522.19 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 57651 0 0 0 52027 192 0 0 20 0 1 0 268210727 117915648 28048 33554432000 4194304 10173063 140735103315696 140735103311624 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 28788 28048 849 1460 0 27319 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 115152
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 29546
/proc/meminfo: memFree=29027668/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=117400 CPUtime=582.18 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 58172 0 0 0 58004 214 0 0 20 0 1 0 268210727 120217600 28569 33554432000 4194304 10173063 140735103315696 140735103309000 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 29350 28569 849 1460 0 27881 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 117400
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28988516/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=154972 CPUtime=1062.1 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 94527 0 0 0 105847 363 0 0 20 0 1 0 268210727 158691328 37987 33554432000 4194304 10173063 140735103315696 140735103309000 7980756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 38743 37987 854 1460 0 37274 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 154972
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 29550
/proc/meminfo: memFree=28983308/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=159328 CPUtime=1122.09 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 96668 0 0 0 111829 380 0 0 20 0 1 0 268210727 163151872 39153 33554432000 4194304 10173063 140735103315696 140735103309336 7986109 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 39832 39153 854 1460 0 38363 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 159328
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 29551
/proc/meminfo: memFree=28975308/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=166876 CPUtime=1182.08 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 98566 0 0 0 117812 396 0 0 20 0 1 0 268210727 170881024 41046 33554432000 4194304 10173063 140735103315696 140735103308920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 41719 41046 854 1460 0 40250 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 166876
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 29551
/proc/meminfo: memFree=28969600/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=172804 CPUtime=1242.07 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 100053 0 0 0 123793 414 0 0 20 0 1 0 268210727 176951296 42533 33554432000 4194304 10173063 140735103315696 140735103312168 8033157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 43201 42533 854 1460 0 41732 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 172804
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/177 29551
/proc/meminfo: memFree=28962756/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=179328 CPUtime=1302.06 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 101679 0 0 0 129774 432 0 0 20 0 1 0 268210727 183631872 44153 33554432000 4194304 10173063 140735103315696 140735103309048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 44832 44153 854 1460 0 43363 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 179328
[startup+1362.3 s]
/proc/loadavg: 2.11 2.03 1.99 3/177 29551
/proc/meminfo: memFree=28956804/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=185464 CPUtime=1362.05 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 103215 0 0 0 135754 451 0 0 20 0 1 0 268210727 189915136 45689 33554432000 4194304 10173063 140735103315696 140735103309192 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 46366 45689 854 1460 0 44897 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 185464
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 1.99 3/178 29554
/proc/meminfo: memFree=28948364/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=193940 CPUtime=1422.05 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 112667 0 0 0 141735 470 0 0 20 0 1 0 268210727 198594560 47739 33554432000 4194304 10173063 140735103315696 140735103309048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 48485 47739 854 1460 0 47016 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 193940
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 29554
/proc/meminfo: memFree=28939444/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=199876 CPUtime=1482.03 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 114108 0 0 0 147716 487 0 0 20 0 1 0 268210727 204673024 49180 33554432000 4194304 10173063 140735103315696 140735103309336 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 49969 49180 854 1460 0 48500 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 199876
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 29555
/proc/meminfo: memFree=28933740/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=205748 CPUtime=1542.03 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 115599 0 0 0 153699 504 0 0 20 0 1 0 268210727 210685952 50671 33554432000 4194304 10173063 140735103315696 140735103309144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 51437 50671 854 1460 0 49968 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 205748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 29555
/proc/meminfo: memFree=28926080/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=212076 CPUtime=1602.01 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 117184 0 0 0 159681 520 0 0 20 0 1 0 268210727 217165824 52248 33554432000 4194304 10173063 140735103315696 140735103309048 7910525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 53019 52248 854 1460 0 51550 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 212076
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29593
/proc/meminfo: memFree=29249484/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=217856 CPUtime=1662 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 118640 0 0 0 165662 538 0 0 20 0 1 0 268210727 223084544 53704 33554432000 4194304 10173063 140735103315696 140735103308952 8047331 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 54464 53704 854 1460 0 52995 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 217856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29593
/proc/meminfo: memFree=29238944/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=223504 CPUtime=1721.99 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 120162 0 0 0 171643 556 0 0 20 0 1 0 268210727 228868096 55226 33554432000 4194304 10173063 140735103315696 140735103308680 8056069 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 55876 55226 854 1460 0 54407 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 223504
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29593
/proc/meminfo: memFree=29225132/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=233416 CPUtime=1781.97 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122538 0 0 0 177619 578 0 0 20 0 1 0 268210727 239017984 57595 33554432000 4194304 10173063 140735103315696 140735103312136 7911532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58354 57595 854 1460 0 56885 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 233416
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29593
/proc/meminfo: memFree=29224140/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=234452 CPUtime=1785.18 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122763 0 0 0 177938 580 0 0 20 0 1 0 268210727 240078848 57820 33554432000 4194304 10173063 140735103315696 140735103308680 7986093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58613 57820 854 1460 0 57144 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 234452
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 29593
/proc/meminfo: memFree=29222472/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=234452 CPUtime=1791.58 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122784 0 0 0 178576 582 0 0 20 0 1 0 268210727 240078848 57841 33554432000 4194304 10173063 140735103315696 140735103309416 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58613 57841 854 1460 0 57144 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 234452
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29594
/proc/meminfo: memFree=29222224/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=234452 CPUtime=1794.78 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122838 0 0 0 178895 583 0 0 20 0 1 0 268210727 240078848 57895 33554432000 4194304 10173063 140735103315696 140735103309144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58613 57895 854 1460 0 57144 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 234452
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29594
/proc/meminfo: memFree=29222224/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=234452 CPUtime=1795.57 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122838 0 0 0 178974 583 0 0 20 0 1 0 268210727 240078848 57895 33554432000 4194304 10173063 140735103315696 140735103308216 7649893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58613 57895 854 1460 0 57144 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (KiB) 234452
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29594
/proc/meminfo: memFree=29221596/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=234452 CPUtime=1796.37 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122839 0 0 0 179054 583 0 0 20 0 1 0 268210727 240078848 57896 33554432000 4194304 10173063 140735103315696 140735103309000 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58613 57896 854 1460 0 57144 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 234452
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 29594
/proc/meminfo: memFree=29221596/32873844 swapFree=7100/7100
[pid=29540] ppid=29538 vsize=232524 CPUtime=1796.77 cores=1,3,5,7
/proc/29540/stat : 29540 (scip-2.1.1.4fix) R 29538 29540 29021 0 -1 4202496 122842 0 0 0 179094 583 0 0 20 0 1 0 268210727 238104576 57417 33554432000 4194304 10173063 140735103315696 140735103309000 7550044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29540/statm: 58131 57417 857 1460 0 56662 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 232524
Child status: 0
Real time (s): 1797.11
CPU time (s): 1796.79
CPU user time (s): 1790.95
CPU system time (s): 5.84311
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 234452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.95
system time used= 5.84311
maximum resident set size= 231596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122844
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= 59
involuntary context switches= 1845
runsolver used 4.56731 second user time and 18.6682 second system time
The end